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