Seminars

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.