Seminars

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.

The Comète and Parsifal Seminar

The official page for the Comète-Parsifal seminar is here.

Other Seminars in the Paris area

• 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.

Past meetings

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.