ANR Project

TECAP

TECAP: Protocol Analysis - Combining Existing Tools

ANR-17-CE39-0004-01

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.

Venue

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).

Registration

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

Contact

If you have questions, feel free to send us an email to charlie.jacomme@cispa.de, caroline.fontaine@lsv.fr or vincent.cheval@inria.fr.

Program

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.

• 9h-10h: Coffee break
• 10h00-10h20: TECAP talk - Joseph Lallemand
• 10h20-10h40: TECAP talk - Bruno Blanchet
• 10h40-11H00: TECAP talk - Itsaka Rakotonirina
• 11h05-11H25: TECAP talk - Steve Kremer
• 11h25-11h45: TECAP talk - David Baelde
• 11h45-13h15: Lunch
• 13h15-14h00: Keynote - Jean-Pierre Jouannaud
• 14h00-14h45: Keynote - Géraud Senizergues
• 14h45-15h00: Coffee break
• 15h00-15h45: Keynote - Florent Jacquemard
• 15h45-16h30: Keynote - Stéphanie Delaune & Véronique Cortier
• 16h30-18h30: Celebration