List of conferences and workshops (co-)organized by members of the department:
ETAPS 2019
The European Joint Conferences on Theory and Practice of Software
FESCA 2017
14th International Workshop on Formal Engineering approaches to Software Components and Architectures (Satellite event of ETAPS, April 22, 2017, Uppsala, Sweden)
FESCA 2016
13th International Workshop on Formal Engineering approaches to Software Components and Architectures (Satellite event of ETAPS, April 3rd, 2016, Eindhoven, Netherlands)
FESCA 2015
12th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2015, London, UK
15th Alpine Verification Meeting (AVM'23)