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
- 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)
- FM 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 (PC Co-Chair)
- 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)
- FM 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 (PC Co-Chair)
- SEFM 2014 (member of PC)
- MedicalCPS'2014 (member of PC)
- TIME'13 (member of PC)
- RV'13 (invited speaker)
- ICTAC'13 (member of PC)
- FMSPLE'13 (member of PC)
- IJCAI'13 (member of PC)
- AAAI'13 (member of PC)
- MOVEP12 (lecturer)
- RV 2012 (member of PC)
- FHIES'12 (member of PC)
- DREAMAP'12 (member of PC)
- CompSust'12 (member of PC)
- TIME 2011 (PC co-chair)
- Staff
- Complete List
- Open Positions