Activities

Research visits

Professeur invité @ LSV/ENS Cachan

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

GandALF 2023 (member of PC)
ABZ 2023 (member of PC)
SAC-SVT 2023 (member of PC)
FM 2023 (general chair, member of PC)
CGO 2023 (member of PC)
ISoLA 2022 (track organizer)
RV 2022 (member of PC)
CONCUR 2022 (member of PC)
ARTE 2022 (member of PC)
HEDA 2022 (member of PC)
NFM 2022 (member of PC)
SAC - SVT 2022 (member of PC)
FASE 2022 (member of PC)
SSCC 2021 (member of PC)
HSCC 2021 (member of PC)
SCPS 2021 (member of PC)
RV 2021 (member of PC)
BIOKDD2021 (member of PC)
ICTAC 2021 (member of PC)
TAP 2021 (member of PC)
HEDA Workshop 2021 (organizer / PC chair)
SAC-SVT 2021 (member of PC)
ICTAC 2020 (member of PC)
RV 2020 (member of PC)
ICTAC 2019 (member of PC)
SAC 2019 (member of PC)
RV 2018 (PC chair)
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)
RV 2016 (member of Tool Committee / 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 (PC co-chair)
SEFM 2014 (member of PC)
FM 2014 (member of PC)
MedicalCPS 2014 (workshop Co-Chair)
TIME 2013 (member of PC)
RV 2013 (Invited Speaker)
ICTAC 2013 (member of PC)
FMSPLE 2013 (member of PC)
IJCAI 2013 (member of PC)
AAAI 2013 (member of PC)
MOVEP 2012 (Invited Tutorial)
RV 2012 (member of PC)
FHIES 2012 (member of PC)
DREAMAP 2012 (member of PC)
CompSust 2012 (organizer)
TIME 2011 (PC chair, organizer)