Preliminary list of PSSL86 participants
Julia Goedecke DPMMS, University of Cambridge A Comparison Theorem for Simplicial Resolutions
Nicola Gambino UQAM, Montreal The associated sheaf functor in Algebraic Set Theory
Steve Awodey Carnegie Mellon, Pittsburgh Homotopy type theory
Philippe Gaucher PPS-Paris 7 Homotopical semantics of parallel composition in CCS
Paul-Andre Mellies PPS-CNRS, Paris Towards an algebra of duality
Stephane Gaussent IECN Nancy
Robin Adams Royal Holloway
Yves Lafont IML, Marseille
Jeddi Ahmed IECN, Nancy
Francois Metayer PPS-Paris 7 CNRS
Henrik Forssell Carnegie Mellon, Pittsburgh First-Order Logical Duality
Emmanuel Haucourt CEA, Gif-Sur-Yvette
Marie Bjerrum Cambridge
Peter Johnstone Cambridge Quadrangle Clubs
Olivia Caramello Cambridge
Yves Guiraud INRIA-Lorraine, Nancy
Dusko Pavlovic Kestrel/Oxford Geometry of abstraction or authentication
Sanjeevi Krishnan CEA, Gif-Sur-Yvette
Krzysztof Worytkievicz Ecole Polytechnique The folk model structure for omega-categories
Benno van den Berg TU Darmstadt
Dmitry Sustretov INRIA-Lorraine, Nancy
Mark Weber PPS-Paris 7 Parametric right adjoints and generalised nerves
Philippe Malbos Universite Lyon 1
Lutz Strassburger INRIA-Futurs, Palaiseau
Laurent Méhats INRIA-Futurs, Palaiseau
Sandrine Marchal IECN, Nancy
François Chargois IECN, Nancy
Francois Lamarche INRIA-Lorraine, Nancy
Back to PSSL86 Homepage
Retour a la homepage du PSSL86