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