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


News

 

 

SPIN 2019

24th International Symposium on Model Checking of Software

Beijing, China, July 15-19, 2019

Shonan Meeting 2019

NII Shonan Meeting:

@ Shonan Village Center in Tokyo, Japan, June 24-27, 2019

CREST 2019

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

Further announcements