Groupe de travail

The team seminar is usually held on Thursday afternoons at 2pm.

Séminaire LSC : Langages – Sémantique – Compilation

The LSC seminar [Languages, Semantics & Compilation] is run jointly with the CASH team and some members of the Avalon and AriC teams.

It is now held roughly once every two months on (usually) Thursday mornings.


The CHoCoLa seminar is organized by Plume on a monthly basis.

Logique, Mathématiques, Informatique, Raisonnement

The LMIR seminar is organized by Jean-Baptiste Joinet at the IRPHIL.