Groupe de travail
The team seminar is usually held on Monday 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.
Chocola
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.