The 20th Annual Meeting of the Special Interrest Group Formal Methods for Software Engineering, Safety, and Security takes place in Karlsruhe this year.
Use the link to find out how to participate.
To the Event
Sommer 2023. The Pilot Program received the funding commitment from the Helmholtz Association, and starts with the bootstrapping.