INVAL Meetings

• 25 September 2008: Rencontre à Lyon. Programme de la rencontre.
• 7 September 2007: Rencontre à Nancy.
  • Philippe Gaucher: Globular realization and cubical underlying homotopy type.
• 6 April 2007: Rencontre à Paris, in Chevaleret.
  • Philippe Gaucher: Pure homotopical semantics of process algebra.
  • Sanjeevi Krishnan and Éric Goubault: Simplicial approximations and coverings for state-spaces.
• 9 November 2006: Rencontre à Strasbourg, at the IRMA.
  • Éric Goubault: Static Analysis of Concurrent Programs: A Geometric Approach, and Perspectives.
• 30-31 October 2006: Rencontre à Lyon, at the ENS Lyon.
  • Samuel Mimram: Une Description algébrique des jeux.

Other Meetings

• Yves Lafont: The Minneapolis Program, talk at Journées Jean-Yves Girard (Paris, September 2007).
• Philippe Gaucher: Homotopical semantics of parallel composition in CCS, talk at PSSL86 (Nancy, September 2007).
• Krzysztof Worytkiewicz: The folk model structure for ω-categories, talk at PSSL86 (Nancy, September 2007).