Activities
Research visits
Steering committee member
- ICTAC - International Colloquium on Theoretical Aspects of Computing
- PDMC - Parallel and and Distributed Methods for VerifiCation
- TIME - International Symposium on Temporal Representation and Reasoning
Conference/Workshops
- FASE 2022 (member of PC)
- HSCC 2021 (member of PC)
- RV 2021 (member of PC)
- TAP 2021 (member of PC)
- SAC-SVT 2021 (member of PC)
- ICTAC 2020 (member of PC)
- RV'20 (member of PC)
- ICTAC 2019 (member of PC)
- SAC 2019 (member of PC)
- ICTAC 2018 (member of PC)
- FORMATS 2018 (member of PC)
- VORTEX 2018 (member of PC)
- MCPS 2018 (member of PC)
- SAC 2018 (member of PC)
- TIME 2017 (member of PC)
- RV 2017 (member of PC)
- SCAF 2017 (member of PC)
- PlanHS 2016 (member of PC)
- ICTAC 2015 (member of PC)
- TIME 2015 (member of PC)
- RV 2015 (member of PC)
- TASE 2015 (member of PC)
- SEFM 2015 (member of PC)
- IJCAI 2015 (member of PC)
- AAAI 2015 (member of PC)
- RV 2014 (member of PC)
- ICTAC 2014 (member of PC)
- TIME 2014 (member of PC)
- TASE 2014 (member of PC)
- SEFM 2014 (member of PC)
- FM 2014 (member of PC)
- MedicalCPS'2014 (member of PC)
- TIME'13 (member of PC)
- RV'13 (member of PC)
- ICTAC'13 (member of PC)
- FMSPLE'13 (member of PC)
- IJCAI'13 (member of PC)
- AAAI'13 (member of PC)
- MOVEP12 (member of PC)
- RV 2012 (member of PC)
- FHIES'12 (member of PC)
- DREAMAP'12 (member of PC)
- CompSust'12 (member of PC)
- TIME 2011 (member of PC)
- Staff
- Martin Leucker
- Elisabeth Husmann
- Philipp Bende
- Gunnar Bergmann
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Uwe Kienitz
- Grigory Markin
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Torben Scheffel
- Malte Schmitz
- Annette Stümpel
- Daniel Thoma
- Complete List
- Open Positions