HGF Pilot Program Core-Informatics

Symbol foto w/o sense
FoMSESS Annual Meeting 2024

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
Kick-Off means Anfangen

Sommer 2023.  The Pilot Program received the funding commitment from the Helmholtz Association, and starts with the bootstrapping.