Groupe de travail
The team seminar is usually held on Monday afternoons at 2pm.
Chocola
The CHoCoLa seminar is organized by Plume on a monthly basis.
ArXiV
Séminaire LSC : Langages – Sémantique – Compilation
The LSC seminar [Languages, Semantics & Compilation] was run jointly with the CASH team and some members of the Avalon and AriC teams.
Logique, Mathématiques, Informatique, Raisonnement
The LMIR seminar was organized by Jean-Baptiste Joinet at the IRPHIL.