Home
Members
Articles
Meetings
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).