• Welcome to the Chair for Software and Systems Engineering
    Prof. Dr. Stefan Leue


News

 

 

CREST 2019

CREST 2019, 6 - 11 April, Prague, Czech Republic

FMICS 2018

Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018

Further announcements