ANR Project

TECAP: Protocol Analysis - Combining Existing Tools


Joint Hubert Comon Retirement Workshop - TECAP Workshop: 16/06/2022

We are organising a joint workshop celebrating the retirement of Hubert Comon and final TECAP meeting.


The workshop will be held the 16/06/2022 at the ENS Paris Saclay.
Coming to ENS Paris Saclay! (Note that due to work construction, it is advised to go through Guichet stop).

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette, France


To faciliate the organisation of the workshop, registration is mandatory.


If you have questions, feel free to send us an email to, or


All the talks will be held in Le Grand Amphithéâtre; the coffee break in the space next to Le Grand Amphithéâtre; the lunch break and celebration in the Espace Émily Noether.