Groupe de travail Sémantique Le groupe de travail se réunit à Chevaleret le mardi de 11h à 12h15 en salle 6C01.

Groupe de travail Réalisabilité et Théorie des Types Le groupe de travail se réunit en salle orange 1 au 5e étage, 23 avenue d'Italie.

The Comète and Parsifal Seminar These talks are held at LIX.

Seminars at the INRIA-Microsoft Joint Research Laboratory at Parc Club, Saclay.

The Logical-Proval seminars, LIX and LRI.

Le séminaire du LSV, ENS Cachen.

Preuves, Programmes et Systèmes (PPS), Université Paris VII.

Workshop on "Proof-search in Type Theories" 5 - 6 June 2008 at LIX.

Journee de discussions Recherche de Preuve en Theorie(s) des types (10 April 2008). Joint discussions between Typical, Parsifal, and interested others.

Vienna Workshop Collegium Logicum 2007: Proofs and Structures is partially funded by support from a PAI with Austria titled “The Realm of Cut Elimination” (24, 25 Oct 2007).

Small Workshop on "Theory and Application of Deep Inference" at LIX, Ecole Polytechnique, Palaiseau, 21 June 2007.

Paris-Vienna Workshop on “The Realm of Cut Elimination” Palaiseau, May 14, 2007. Program is available.

Small Workshop on Deep Inference, Chevaleret, Paris, December 1 and 2, 2006.

Workshop on Logic Programming and Concurrency, 27 Feb - 3 Mar 2005, CIRM, Luminy, France. To be held during the Winter School on Geometry of Computation (Geocal'06) in Marseille - Luminy, January 30 - March 3. Organized by Strassburger and Miller.

Groupe de Travail de Ludique, LIPN, LIX, PPS, June 2004.

Robin Milner will be giving three days of talks in Paris (5-7 September 2005) on bigraphs.