Journee de discussions Recherche de Preuve en Theorie(s) des types (10 April 2008). Joint discussions between Typical, Parsifal, and interested others.
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.