225 Participants

Name	Affiliation	Events attended
Abeillé Anne	UFR Linguistique Université Paris 7	Linguistics
Abou Isabelle	LATP	ATCR, Complexity, Linguistics, Geometry of interaction, Probabilistic systems
Abramsky Samson	Oxford University	Geometry of interaction, Semantics and games
Abrusci Michele	Dipartimento di Filosofia Università di Roma tre	Linguistics
Accattoli Beniamino	Università degli studi di Roma "La Sapienza"	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Geometry of interaction, Probabilistic systems
Acciai Lucia	LIF Universtie de Provence	ATCR
Amadio Roberto	Universite' Paris 7	ATCR, Realisability, Complexity, Semantics and games, Concurrency and logic, Probabilistic systems
Anoun Houda	LABRI, Université de Bordeaux	Linguistics
Atassi Vincent	LIPN - Villetaneuse	Complexity, Implicit complexity, Geometry of interaction, Semantics and games
Baelde David	LIX	ATCR, Realisability, Complexity, Geometry of interaction, Semantics and games, Concurrency and logic, Logic programming
Baez John	University of California, Riverside	Universal algebra, ATCR, Complexity, Implicit complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Probabilistic systems
Baillot Patrick	LIPN, CNRS-Université Paris 13	Realisability, Complexity, Implicit complexity, Biological networks, Geometry of interaction, Semantics and games
Battyanyi Peter	Université de Chambéry	Realisability
Baussand Julie	INSERM	Biological networks
Bechet Denis	Laboratoire d'Informatique de Nantes Atlantique	Linguistics
Beffara Emmanuel	PPS, Université Paris 7	Realisability, Complexity, Geometry of interaction, Semantics and games, Concurrency and logic, Logic programming
Belkhir Walid	LIF/CMI	Universal algebra, ATCR, Realisability, Complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Belo Joao Filipe	University of Manchester	Universal algebra, ATCR, Realisability, Complexity
Ben-Ari Yehezkel	INMED	Biological networks
Benoit Valiron	University of Ottawa	Universal algebra, Realisability, Geometry of interaction, Semantics and games, Probabilistic systems
Bianquis Jean-Baptiste	LIPN - Université Paris 13	Realisability, Complexity, Implicit complexity, Linguistics, Biological networks, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Blache Philippe	Laboratoire Parole et Langage CNRS & Université de Provence	Linguistics
Blute Richard	University of Ottowa	Geometry of interaction, Probabilistic systems
Bobelin Laurent	CIFRE - EGEE - CSSI/CPPM/SPC	ATCR, Homology/homotopy of computation
Bonfante Guillaume	LORIA	Implicit complexity
Bottani Samuel	Université Paris 7	Biological networks
Boudes Pierre	LIPN, institut Galilée, université Paris 13	Implicit complexity, Linguistics, Biological networks, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Boudol Gérard	INRIA	Realisability, Complexity
Bressaud Xavier	IML	ATCR, Biological networks, Probabilistic systems
Brochenin Rémi	ENS Cachan	Concurrency and logic, Probabilistic systems, Logic programming
Brookes Stephen	Carnegie Mellon University	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Bucciarelli Antonio	PPS	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Burel Guillaume	LORIA - Université Henri Poincaré Nancy 1	Universal algebra, ATCR, Realisability, Complexity
Burroni Albert	PPS - Université Paris 7	Realisability, Complexity, Homology/homotopy of computation
Caires Luis	CITI, Univ. de Lisboa	Concurrency and logic, Probabilistic systems, Logic programming
Calcagno Cristiano	Imperial College London	Semantics and games
van Caneghem Michel	LIF - Luminy	Linguistics
Carbone Alessandra	Universite Pierre et Marie Curie	Biological networks
de Carvalho Daniel	IML	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Casadio Claudia	Università degli Studi "G. d'Annunzio" Facoltà di Psicologia	Linguistics
Chaouiya Claudine	IBDM	Biological networks
Clairambault Pierre	ENS Lyon, stagiaire en master 2	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Climescu-Haulica Adriana	Laboratoire Information Genomique et Structurale	Biological networks
Cockett Robin	University of Calgary	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Collinson Matthew	University of Bath	Concurrency and logic
Conforti Giovanni	Dortmund University	Concurrency and logic
Coquand Thierry	Chalmers University	Realisability
Cornish-Bowden Athel	CNRS	Biological networks
Cosentino Francesco	IML	Universal algebra, ATCR, Realisability, Complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Cossart Rosa	CNRS	Biological networks
Cottret Ludovic	Université Claude Bernard Lyon 1	Biological networks
Coupet-Grimal Solange	Laboratoire d'Informatique de Marseille	Universal algebra, ATCR, Complexity, Implicit complexity, Semantics and games
Cristian Prisacariu	Institute of Computer Science, Romanian Academy	Complexity, Biological networks
Cristian Vidrascu	University "Al. I. Cuza" of Iasi, Faculty of Computer Science	Universal algebra, ATCR, Realisability, Complexity
Crumiere Anne	IML	ATCR, Complexity, Implicit complexity, Linguistics, Biological networks
Curien Pierre-Louis	CNRS	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Cárdenas María Luz	CNRS, IBSM, BIP	Biological networks
Dabrowski Frederic	INRIA	Implicit complexity, Linguistics, Biological networks
Dal Lago Ugo	Università di Bologna	Implicit complexity, Geometry of interaction, Semantics and games
Dal Zilio Silvano	LIF - CNRS	Universal algebra, ATCR, Realisability, Biological networks, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems
Danos Vincent	CNRS	Probabilistic systems, Biological networks
David René	université de savoie	Linguistics
Delobel William	CMI, université de Provence	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Probabilistic systems
Demri Stéphane	LSV ENS Cachan	Concurrency and logic
Desharnais Josée	Université Laval	Probabilistic systems
Despeyroux Joëlle	INRIA	Biological networks, Logic programming
Duchesne Etienne	IML, universite de la mediterranee	Universal algebra, Realisability, Complexity, Geometry of interaction, Semantics and games, Concurrency and logic
Ehrhard Thomas	IML et PPS	Universal algebra, ATCR, Realisability, Complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems
Escardo Martin	University of Birmingham	Probabilistic systems
Fages François	INRIA Rocquencourt	Biological networks
Faggian Claudia	Universita' degli Studi di Padova	Geometry of interaction, Semantics and games
de Falco Marc	IML	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Linguistics, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Logic programming
Fanchon Eric	CNRS	Biological networks
Farcot Etienne	INRIA Sophia Antipolis	Universal algebra, ATCR, Biological networks
Fevat Tristan	Université de Provence	Universal algebra, ATCR, Complexity, Implicit complexity, Homology/homotopy of computation, Concurrency and logic
Fiore Marcelo	Computer Laboratory, University of Cambridge	Semantics and games
Fleury-Donnadieu Marie-Renée	IML	Linguistics
Fossati Luca	Università di Torino, Université 'Denis Diderot' Paris 7	Realisability, Complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Fouqueré Christophe	LIPN - UMR7030	Geometry of interaction, Semantics and games, Concurrency and logic, Logic programming
Gaboardi Marco	Universita' degli studi di Torino	Realisability, Complexity, Implicit complexity
Galmiche Didier	LORIA - UHP	Geometry of interaction, Semantics and games, Concurrency and logic
Garg Deepak	Carnegie Mellon University	Logic programming
Ghica Dan	UNIVERSITY OF BIRMINGHAM	Semantics and games
di Giamberardino Paolo	University of Rome "Roma Tre", Institut des Mathematiques de Luminy	Realisability, Complexity, Linguistics, Biological networks, Geometry of interaction, Semantics and games, Concurrency and logic, Logic programming
Gimenez Stéphane	PPS, Université Paris 7	Universal algebra, ATCR, Realisability, Complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Girard Jean-Yves	IML	Implicit complexity, Geometry of interaction
van Glabbeek Rob	National ICT Australia	Universal algebra, ATCR, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Godard Emmanuel	LIF - Université de Provence	ATCR, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Goldfield Matthew	Brandeis University	Implicit complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Goubault-Larrecq Jean	LSV/UMR 8643 CNRS et ENS Cachan; INRIA Futurs projet SECSI	Geometry of interaction, Probabilistic systems
Goubault Eric	CEA/Saclay	ATCR, Homology/homotopy of computation
Grandis Marco	Dipartimento di Matematica, Università di Genova	Universal algebra, ATCR, Realisability, Complexity
de Groote Philippe	LORIA , UMR 7503 - INRIA	Linguistics
Guillaume Bruno	LORIA	Linguistics
Guin Daniel	I3M, UMR 5149, Université Montpellier 2	ATCR, Homology/homotopy of computation
Guiraud Yves	Institut de mathématiques de Luminy	Universal algebra, ATCR, Homology/homotopy of computation, Logic programming
Haghverdi Esfandiar	Indiana University	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Hainry Emmanuel	LORIA/INPL	Realisability, Complexity, Implicit complexity
Hamano Masahiro	Keio University	Geometry of interaction, Semantics and games
Harmer Russ	CNRS & PPS, Paris 7	Geometry of interaction, Semantics and games
Hasegawa Ryu	Graduate School for Mathematical Sciences, The University of Tokyo	Implicit complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Haucourt Emmanuel	CEA Saclay	Universal algebra, ATCR, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Heindel Tobias	Stuttgart University	Universal algebra, ATCR, Realisability, Complexity
Hesse Philippe	PPS - Université Paris 7	Universal algebra, ATCR, Realisability, Complexity
Hines Peter	York University	Geometry of interaction, Semantics and games
Hirschkoff Daniel	ENS Lyon	Concurrency and logic, Probabilistic systems, Logic programming
Hirschowitz Tom	LIP (UMR 5668 CNRS, ENS Lyon, INRIA, UCBL)	Universal algebra, ATCR
Hofmann Martin	Univ Munich	Complexity, Implicit complexity
van Horn David	Brandeis University	Realisability, Complexity, Implicit complexity, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Houston Robin	Manchester University	Geometry of interaction, Semantics and games
Hyland Martin	University of Cambridge	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Hyvernat Pierre	Institu mathématique de Luminy	Universal algebra, Realisability, Complexity, Geometry of interaction, Semantics and games
Ian Stark	The University of Edinburgh	Semantics and games
Isabel Oitavem Isabel	Universidade Nova de Lisboa	Implicit complexity
Jacobé de Naurois Paulin	LIPN-Université Paris 13	Implicit complexity
Jakubiec-Jamet Line	Université de la Méditerranée - LIF	Linguistics
Jha Ashish	Masters Student	Realisability, Complexity
Johannsen Jan	LMU Muenchen	Complexity, Implicit complexity
Kaczmarek Matthieu	CNRS	Realisability, Complexity
Kahle Reinhard	Departamento de Matemática, Universidade de Coimbra	Implicit complexity
Kanovich Max	Department of Computer Science	Linguistics
Kaufman Marcelle	Université Libre de Bruxelles	Biological networks
Kraeutler Helene	pps universitée Paris 7 Denis Diderot	Realisability
Krivine Jean	INRIA Rocquencourt	Biological networks
Krivine Jean-Louis	PPS - Université Paris 7	Realisability
Kurz Alexander	University of Leicester	Universal algebra, ATCR, Probabilistic systems
Lacroix Vincent	Université Claude Bernard Lyon 1	Biological networks
Lafont Yves	IML (Marseille)	Universal algebra, ATCR, Homology/homotopy of computation
Lamarche Francois	INRIA-Lorraine	Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Laneve Cosimo	Università di Bologna	Biological networks
Larchey-Wendling Dominique	LORIA - CNRS	Geometry of interaction, Semantics and games, Concurrency and logic
Lassaigne Richard	Université Paris 7	Concurrency and logic, Probabilistic systems
de Lataillade Joachim	Preuves, Programmes, Systèmes	Universal algebra, ATCR, Realisability, Linguistics, Geometry of interaction, Semantics and games
Laura Cornacel	Institute for Computer Science, Romanian Academy, Iasi	Homology/homotopy of computation, Probabilistic systems
Laurent Olivier	CNRS - Université Paris 7	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Lecomte Alain	UFR SHS, Université Pierre Mendes-France	Linguistics
Levy Paul Blain	Birmingham University	Semantics and games
Lima Ricardo	Centre de Physique Theorique Marseille Luminy	Biological networks
Lozes Etienne	LSV ENS Cachan	Concurrency and logic, Probabilistic systems, Logic programming
Macedonio Damiano	Università Ca' Foscari di Venezia	Concurrency and logic
Mackie Ian	King's College London	Geometry of interaction
Madina Duraid	The University of Tokyo	Universal algebra, ATCR
Maieli Roberto	Università Roma 3	Implicit complexity, Geometry of interaction
Mairson Harry	Brandeis University	Implicit complexity, Geometry of interaction, Semantics and games
Malbos Philippe	Institut Camille Jordan	Universal algebra, ATCR
Malherbe Octavio	University of Ottawa	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Manzonetto Giulio	Ca Foscari University of Venice	Universal algebra, ATCR, Realisability, Complexity
Maria Teresa Medaglia	Roma Tre	Implicit complexity, Linguistics, Biological networks
Marion Jean-Yves	Loria-ENSMN-INPL	Complexity, Implicit complexity
Mavoungou Jean-Paul	University of Yaounde 1 Department of Mathematics	Probabilistic systems
Mazza Damiano	IML	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Biological networks, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems
Melliès Paul-André	PPS	Universal algebra, ATCR, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Mery Daniel	LORIA, UMR 7503	Concurrency and logic, Logic programming
Metayer Francois	Equipe PPS Universite Paris 7 CNRS	Homology/homotopy of computation
Meyroneinc Arnaud	CPT	Biological networks
Miclo Laurent	CNRS	Probabilistic systems
Miller Dale	INRIA-Futurs and LIX	Logic programming
Mimram Samuel	PPS	Universal algebra, ATCR, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Mogbil Virgile	LIPN - Paris 13	Implicit complexity, Biological networks, Concurrency and logic, Logic programming
Moortgat Mickaël	University of Utrecht	Linguistics
Moraru Victor	ESIL, université de la Méditerranée	ATCR, Homology/homotopy of computation, Concurrency and logic
Morrill Glyn	Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya,	Linguistics
Moyen Jean-Yves	LIPN - Université Paris 13	Implicit complexity
Murawski Andrzej	University of Oxford	Semantics and games
Muskens Reinhard	Tilburg University	Linguistics
Niggl Karl-Heinz	Technische Universität Ilmenau, Theoretische Informatik, Fachgebiet Kompexitätstheorie und Effiziente Algorithmen	Implicit complexity
Ong Luke	Oxford University Computing Laboratory	Geometry of interaction, Semantics and games, Homology/homotopy of computation
Pagani Michele	Università Roma 3	Biological networks, Geometry of interaction, Semantics and games
Palamidessi Catuscia	INRIA Futur, Laboratoire d'informatique de l'école polytechnique	Probabilistic systems
Panangaden Prakash	McGill University	Probabilistic systems
Pasero Robert	Laboratoire d'Informatique Fondamentale, Luminy	Linguistics
Pedicini Marco	Istituto per le Applicazioni del Calcolo "Mauro Picone" - CNR	Implicit complexity, Biological networks
Perrier Guy	LORIA , UMR 7503 - INRIA	Linguistics
Pfenning Frank	Carnegie Mellon University	Logic programming
Phillips Andrew	Microsoft Research	Biological networks
Plotkin Gordon	University of Edinburgh	Biological networks
Pous Damien	LIP - ENS Lyon	Concurrency and logic, Probabilistic systems, Logic programming
Power John	University of Edinburgh	Semantics and games
Preller Anne	LIRMM-CNRS	Implicit complexity, Linguistics
Pulcini Gabriele	Università Roma Tre-IML Marseille	Implicit complexity, Linguistics, Biological networks, Geometry of interaction
Puvananathan Anjayan	University of Ottawa	Geometry of interaction
Péchoux Romain	LORIA	Realisability, Complexity, Implicit complexity
Quatrini Myriam	Institut de Mathématiques de Luminy	Linguistics
le van Quyen Michel	LENA - CNRS	Biological networks
Ranalter Kurt	Department of Computer Science, Queen Mary, University of London	Universal algebra, ATCR
Ranta Aarne	IT University of Göteborg	Linguistics
Redmond Brian	University of Ottawa	Complexity, Implicit complexity
Regnier Laurent	IML	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Linguistics, Biological networks, Geometry of interaction, Semantics and games, Probabilistic systems
Remy Elisabeth	IML (CNRS)	Biological networks
Retore Christian	LaBRI	Linguistics
Richard Adrien	Université d'Evry, Laboratoire de Méthodes Informatiques	Biological networks
Ronchi della Rocca Simona	UNIVERSITY OF TORINO	Complexity, Implicit complexity
Royaute Jean	Laboratoire d'Informatique Fondamentale, Luminy	Linguistics
Royer James	Syracuse University, Syracuse, NY, USA	Implicit complexity
Ruet Paul	CNRS	Universal algebra, Realisability, Biological networks, Probabilistic systems
Sabatier Paul	Laboratoire d'Informatique Fondamentale, Luminy	Linguistics
Saber Khelifa	Laboratoire de mathématiques LAMA université de Chambéry	Realisability, Complexity
Sagot Marie-France	Université Claude Bernard Lyon 1	Biological networks
Santocanale Luigi	LIF/CMI	Universal algebra, ATCR, Biological networks, Semantics and games, Homology/homotopy of computation, Concurrency and logic
Schalk Andrea	School of Computer Science, University of Manchester	Geometry of interaction, Semantics and games
Schimanski Stefan	LMU München - Department of Mathematics	Realisability, Complexity, Implicit complexity
Schmidt Volker	Universität Ulm, Abteilung Stochastik	Biological networks
Schächter Vincent	Genoscope	Biological networks
Schöpp Ulrich	LMU Munich	Realisability, Complexity, Implicit complexity
Scott Philip	University of Ottawa	Implicit complexity, Linguistics, Geometry of interaction, Semantics and games
Selinger Peter	Dalhousie University	Universal algebra, Complexity, Implicit complexity, Geometry of interaction, Probabilistic systems
Slavnov Sergey	Ottawa university	Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Logic programming
Sokolova Ana	Radboud University of Nijmegen	Probabilistic systems
Soulé Christophe	cnrs and ihes	Biological networks
Spreen Dieter	University of Siegen	Implicit complexity
Stefanini Marie-Hélène	Laboratoire d'Informatique Fondamentale, Luminy	Linguistics
Strassburger Lutz	Saarland University, INRIA Futurs	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Linguistics, Biological networks, Geometry of interaction, Semantics and games, Homology/homotopy of computation, Concurrency and logic, Probabilistic systems, Logic programming
Tabareau Nicolas	PPS	Universal algebra, ATCR, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Tanaka Miki	NICT (National Institute of Information and Communication Technology)	Universal algebra, ATCR
Terui Kazushige	National Institute of Informatics	Complexity, Implicit complexity
Thieffry Denis	IBDM	Biological networks
Thébault Patricia	Université Claude Bernard Lyon 1	Biological networks
Thévenon Patrick	Université de Savoie	Linguistics
Tortora de Falco Lorenzo	Universita` Roma Tre	Implicit complexity, Linguistics, Biological networks
Tranquilli Paolo	Università Roma III	Universal algebra, ATCR, Realisability, Complexity, Implicit complexity, Linguistics, Geometry of interaction, Semantics and games, Probabilistic systems
Tzevelekos Nikos	Oxford University Computer Laboratory	Universal algebra, ATCR, Geometry of interaction, Semantics and games, Homology/homotopy of computation
Vaux Lionel	IML	Universal algebra, Realisability, Complexity, Linguistics, Geometry of interaction, Semantics and games, Concurrency and logic
Vauzeilles Jacqueline	LIPN - Université Paris 13	Linguistics
Ziegler Axelle	Ecole Polytechnique and INRIA-Futurs	Universal algebra, ATCR, Realisability, Complexity, Linguistics, Biological networks, Concurrency and logic, Probabilistic systems, Logic programming
Zunic Dragisa	ENS Lyon	Geometry of interaction, Semantics and games

Participants by events

Week 1 (Jan 30 - Feb 3): Algebra and computation (58 participants)

Universal Algebra and Diagrammatic Reasoning:

Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
John Baez (University of California, Riverside)
Walid Belkhir (LIF/CMI)
Joao Filipe Belo (University of Manchester)
Valiron Benoit (University of Ottawa)
Guillaume Burel (LORIA - Université Henri Poincaré Nancy 1)
Daniel de Carvalho (IML)
Francesco Cosentino (IML)
Solange Coupet-Grimal (Laboratoire d'Informatique de Marseille)
Vidrascu Cristian (University "Al. I. Cuza" of Iasi, Faculty of Computer Science)
Silvano Dal Zilio (LIF - CNRS)
William Delobel (CMI, université de Provence)
Etienne Duchesne (IML, universite de la mediterranee)
Thomas Ehrhard (IML et PPS)
Marc de Falco (IML)
Etienne Farcot (INRIA Sophia Antipolis)
Tristan Fevat (Université de Provence)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Marco Grandis (Dipartimento di Matematica, Università di Genova)
Yves Guiraud (Institut de mathématiques de Luminy)
Emmanuel Haucourt (CEA Saclay)
Tobias Heindel (Stuttgart University)
Philippe Hesse (PPS - Université Paris 7)
Tom Hirschowitz (LIP (UMR 5668 CNRS, ENS Lyon, INRIA, UCBL))
Pierre Hyvernat (Institu mathématique de Luminy)
Alexander Kurz (University of Leicester)
Yves Lafont (IML (Marseille))
Joachim de Lataillade (Preuves, Programmes, Systèmes)
Duraid Madina (The University of Tokyo)
Philippe Malbos (Institut Camille Jordan)
Giulio Manzonetto (Ca Foscari University of Venice)
Damiano Mazza (IML)
Paul-André Melliès (PPS)
Samuel Mimram (PPS)
Kurt Ranalter (Department of Computer Science, Queen Mary, University of London)
Laurent Regnier (IML)
Paul Ruet (CNRS)
Luigi Santocanale (LIF/CMI)
Peter Selinger (Dalhousie University)
Lutz Strassburger (Saarland University, INRIA Futurs)
Nicolas Tabareau (PPS)
Miki Tanaka (NICT (National Institute of Information and Communication Technology))
Paolo Tranquilli (Università Roma III)
Nikos Tzevelekos (Oxford University Computer Laboratory)
Lionel Vaux (IML)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Algebraic Topology, Concurrency and Rewriting:

Isabelle Abou (LATP)
Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
Lucia Acciai (LIF Universtie de Provence)
Roberto Amadio (Universite' Paris 7)
David Baelde (LIX)
John Baez (University of California, Riverside)
Walid Belkhir (LIF/CMI)
Joao Filipe Belo (University of Manchester)
Laurent Bobelin (CIFRE - EGEE - CSSI/CPPM/SPC)
Xavier Bressaud (IML)
Guillaume Burel (LORIA - Université Henri Poincaré Nancy 1)
Daniel de Carvalho (IML)
Francesco Cosentino (IML)
Solange Coupet-Grimal (Laboratoire d'Informatique de Marseille)
Vidrascu Cristian (University "Al. I. Cuza" of Iasi, Faculty of Computer Science)
Anne Crumiere (IML)
Silvano Dal Zilio (LIF - CNRS)
William Delobel (CMI, université de Provence)
Thomas Ehrhard (IML et PPS)
Marc de Falco (IML)
Etienne Farcot (INRIA Sophia Antipolis)
Tristan Fevat (Université de Provence)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Emmanuel Godard (LIF - Université de Provence)
Eric Goubault (CEA/Saclay)
Marco Grandis (Dipartimento di Matematica, Università di Genova)
Daniel Guin (I3M, UMR 5149, Université Montpellier 2)
Yves Guiraud (Institut de mathématiques de Luminy)
Emmanuel Haucourt (CEA Saclay)
Tobias Heindel (Stuttgart University)
Philippe Hesse (PPS - Université Paris 7)
Tom Hirschowitz (LIP (UMR 5668 CNRS, ENS Lyon, INRIA, UCBL))
Alexander Kurz (University of Leicester)
Yves Lafont (IML (Marseille))
Joachim de Lataillade (Preuves, Programmes, Systèmes)
Duraid Madina (The University of Tokyo)
Philippe Malbos (Institut Camille Jordan)
Giulio Manzonetto (Ca Foscari University of Venice)
Damiano Mazza (IML)
Paul-André Melliès (PPS)
Samuel Mimram (PPS)
Victor Moraru (ESIL, université de la Méditerranée)
Kurt Ranalter (Department of Computer Science, Queen Mary, University of London)
Laurent Regnier (IML)
Luigi Santocanale (LIF/CMI)
Lutz Strassburger (Saarland University, INRIA Futurs)
Nicolas Tabareau (PPS)
Miki Tanaka (NICT (National Institute of Information and Communication Technology))
Paolo Tranquilli (Università Roma III)
Nikos Tzevelekos (Oxford University Computer Laboratory)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Week 2 (Feb 6 - Feb 10): Logic and computation (63 participants)

Realisability:

Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
Roberto Amadio (Universite' Paris 7)
David Baelde (LIX)
Patrick Baillot (LIPN, CNRS-Université Paris 13)
Peter Battyanyi (Université de Chambéry)
Emmanuel Beffara (PPS, Université Paris 7)
Walid Belkhir (LIF/CMI)
Joao Filipe Belo (University of Manchester)
Valiron Benoit (University of Ottawa)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Gérard Boudol (INRIA)
Guillaume Burel (LORIA - Université Henri Poincaré Nancy 1)
Albert Burroni (PPS - Université Paris 7)
Daniel de Carvalho (IML)
Thierry Coquand (Chalmers University)
Francesco Cosentino (IML)
Vidrascu Cristian (University "Al. I. Cuza" of Iasi, Faculty of Computer Science)
Silvano Dal Zilio (LIF - CNRS)
William Delobel (CMI, université de Provence)
Etienne Duchesne (IML, universite de la mediterranee)
Thomas Ehrhard (IML et PPS)
Marc de Falco (IML)
Luca Fossati (Università di Torino, Université 'Denis Diderot' Paris 7)
Marco Gaboardi (Universita' degli studi di Torino)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Stéphane Gimenez (PPS, Université Paris 7)
Marco Grandis (Dipartimento di Matematica, Università di Genova)
Emmanuel Hainry (LORIA/INPL)
Tobias Heindel (Stuttgart University)
Philippe Hesse (PPS - Université Paris 7)
David van Horn (Brandeis University)
Pierre Hyvernat (Institu mathématique de Luminy)
Ashish Jha (Masters Student)
Matthieu Kaczmarek (CNRS)
Helene Kraeutler (pps universitée Paris 7 Denis Diderot)
Jean-Louis Krivine (PPS - Université Paris 7)
Joachim de Lataillade (Preuves, Programmes, Systèmes)
Giulio Manzonetto (Ca Foscari University of Venice)
Damiano Mazza (IML)
Romain Péchoux (LORIA)
Laurent Regnier (IML)
Paul Ruet (CNRS)
Khelifa Saber (Laboratoire de mathématiques LAMA université de Chambéry)
Stefan Schimanski (LMU München - Department of Mathematics)
Ulrich Schöpp (LMU Munich)
Lutz Strassburger (Saarland University, INRIA Futurs)
Paolo Tranquilli (Università Roma III)
Lionel Vaux (IML)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Complexity and Logic:

Isabelle Abou (LATP)
Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
Roberto Amadio (Universite' Paris 7)
Vincent Atassi (LIPN - Villetaneuse)
David Baelde (LIX)
John Baez (University of California, Riverside)
Patrick Baillot (LIPN, CNRS-Université Paris 13)
Emmanuel Beffara (PPS, Université Paris 7)
Walid Belkhir (LIF/CMI)
Joao Filipe Belo (University of Manchester)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Gérard Boudol (INRIA)
Guillaume Burel (LORIA - Université Henri Poincaré Nancy 1)
Albert Burroni (PPS - Université Paris 7)
Daniel de Carvalho (IML)
Francesco Cosentino (IML)
Solange Coupet-Grimal (Laboratoire d'Informatique de Marseille)
Prisacariu Cristian (Institute of Computer Science, Romanian Academy)
Vidrascu Cristian (University "Al. I. Cuza" of Iasi, Faculty of Computer Science)
Anne Crumiere (IML)
William Delobel (CMI, université de Provence)
Etienne Duchesne (IML, universite de la mediterranee)
Thomas Ehrhard (IML et PPS)
Marc de Falco (IML)
Tristan Fevat (Université de Provence)
Luca Fossati (Università di Torino, Université 'Denis Diderot' Paris 7)
Marco Gaboardi (Universita' degli studi di Torino)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Stéphane Gimenez (PPS, Université Paris 7)
Marco Grandis (Dipartimento di Matematica, Università di Genova)
Emmanuel Hainry (LORIA/INPL)
Tobias Heindel (Stuttgart University)
Philippe Hesse (PPS - Université Paris 7)
Martin Hofmann (Univ Munich)
David van Horn (Brandeis University)
Pierre Hyvernat (Institu mathématique de Luminy)
Ashish Jha (Masters Student)
Jan Johannsen (LMU Muenchen)
Matthieu Kaczmarek (CNRS)
Giulio Manzonetto (Ca Foscari University of Venice)
Jean-Yves Marion (Loria-ENSMN-INPL)
Damiano Mazza (IML)
Romain Péchoux (LORIA)
Brian Redmond (University of Ottawa)
Laurent Regnier (IML)
Simona Ronchi della Rocca (UNIVERSITY OF TORINO)
Khelifa Saber (Laboratoire de mathématiques LAMA université de Chambéry)
Stefan Schimanski (LMU München - Department of Mathematics)
Ulrich Schöpp (LMU Munich)
Peter Selinger (Dalhousie University)
Lutz Strassburger (Saarland University, INRIA Futurs)
Kazushige Terui (National Institute of Informatics)
Paolo Tranquilli (Università Roma III)
Lionel Vaux (IML)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Week 3 (Feb 13 - Feb 17): Logic and interactions (121 participants)

Implicit Computational Complexity:

Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
Vincent Atassi (LIPN - Villetaneuse)
John Baez (University of California, Riverside)
Patrick Baillot (LIPN, CNRS-Université Paris 13)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Guillaume Bonfante (LORIA)
Pierre Boudes (LIPN, institut Galilée, université Paris 13)
Daniel de Carvalho (IML)
Solange Coupet-Grimal (Laboratoire d'Informatique de Marseille)
Anne Crumiere (IML)
Frederic Dabrowski (INRIA)
Ugo Dal Lago (Università di Bologna)
William Delobel (CMI, université de Provence)
Marc de Falco (IML)
Tristan Fevat (Université de Provence)
Marco Gaboardi (Universita' degli studi di Torino)
Jean-Yves Girard (IML)
Matthew Goldfield (Brandeis University)
Emmanuel Hainry (LORIA/INPL)
Ryu Hasegawa (Graduate School for Mathematical Sciences, The University of Tokyo)
Martin Hofmann (Univ Munich)
David van Horn (Brandeis University)
Isabel Isabel Oitavem (Universidade Nova de Lisboa)
Paulin Jacobé de Naurois (LIPN-Université Paris 13)
Jan Johannsen (LMU Muenchen)
Reinhard Kahle (Departamento de Matemática, Universidade de Coimbra)
Roberto Maieli (Università Roma 3)
Harry Mairson (Brandeis University)
Medaglia Maria Teresa (Roma Tre)
Jean-Yves Marion (Loria-ENSMN-INPL)
Damiano Mazza (IML)
Virgile Mogbil (LIPN - Paris 13)
Jean-Yves Moyen (LIPN - Université Paris 13)
Karl-Heinz Niggl (Technische Universität Ilmenau, Theoretische Informatik, Fachgebiet Kompexitätstheorie und Effiziente Algorithmen)
Marco Pedicini (Istituto per le Applicazioni del Calcolo "Mauro Picone" - CNR)
Anne Preller (LIRMM-CNRS)
Gabriele Pulcini (Università Roma Tre-IML Marseille)
Romain Péchoux (LORIA)
Brian Redmond (University of Ottawa)
Laurent Regnier (IML)
Simona Ronchi della Rocca (UNIVERSITY OF TORINO)
James Royer (Syracuse University, Syracuse, NY, USA)
Stefan Schimanski (LMU München - Department of Mathematics)
Ulrich Schöpp (LMU Munich)
Philip Scott (University of Ottawa)
Peter Selinger (Dalhousie University)
Dieter Spreen (University of Siegen)
Lutz Strassburger (Saarland University, INRIA Futurs)
Kazushige Terui (National Institute of Informatics)
Lorenzo Tortora de Falco (Universita` Roma Tre)
Paolo Tranquilli (Università Roma III)

Linguistics and logic:

Anne Abeillé (UFR Linguistique Université Paris 7)
Isabelle Abou (LATP)
Michele Abrusci (Dipartimento di Filosofia Università di Roma tre)
Houda Anoun (LABRI, Université de Bordeaux)
Denis Bechet (Laboratoire d'Informatique de Nantes Atlantique)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Philippe Blache (Laboratoire Parole et Langage CNRS & Université de Provence)
Pierre Boudes (LIPN, institut Galilée, université Paris 13)
Michel van Caneghem (LIF - Luminy)
Claudia Casadio (Università degli Studi "G. d'Annunzio" Facoltà di Psicologia)
Anne Crumiere (IML)
Frederic Dabrowski (INRIA)
René David (université de savoie)
Marc de Falco (IML)
Marie-Renée Fleury-Donnadieu (IML)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Philippe de Groote (LORIA , UMR 7503 - INRIA)
Bruno Guillaume (LORIA)
Line Jakubiec-Jamet (Université de la Méditerranée - LIF)
Max Kanovich (Department of Computer Science)
Joachim de Lataillade (Preuves, Programmes, Systèmes)
Alain Lecomte (UFR SHS, Université Pierre Mendes-France)
Medaglia Maria Teresa (Roma Tre)
Mickaël Moortgat (University of Utrecht)
Glyn Morrill (Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya,)
Reinhard Muskens (Tilburg University)
Robert Pasero (Laboratoire d'Informatique Fondamentale, Luminy)
Guy Perrier (LORIA , UMR 7503 - INRIA)
Anne Preller (LIRMM-CNRS)
Gabriele Pulcini (Università Roma Tre-IML Marseille)
Myriam Quatrini (Institut de Mathématiques de Luminy)
Aarne Ranta (IT University of Göteborg)
Laurent Regnier (IML)
Christian Retore (LaBRI)
Jean Royaute (Laboratoire d'Informatique Fondamentale, Luminy)
Paul Sabatier (Laboratoire d'Informatique Fondamentale, Luminy)
Philip Scott (University of Ottawa)
Marie-Hélène Stefanini (Laboratoire d'Informatique Fondamentale, Luminy)
Lutz Strassburger (Saarland University, INRIA Futurs)
Patrick Thévenon (Université de Savoie)
Lorenzo Tortora de Falco (Universita` Roma Tre)
Paolo Tranquilli (Università Roma III)
Lionel Vaux (IML)
Jacqueline Vauzeilles (LIPN - Université Paris 13)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Dynamics and structure of biological networks:

Patrick Baillot (LIPN, CNRS-Université Paris 13)
Julie Baussand (INSERM)
Yehezkel Ben-Ari (INMED)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Samuel Bottani (Université Paris 7)
Pierre Boudes (LIPN, institut Galilée, université Paris 13)
Xavier Bressaud (IML)
Alessandra Carbone (Universite Pierre et Marie Curie)
Claudine Chaouiya (IBDM)
Adriana Climescu-Haulica (Laboratoire Information Genomique et Structurale)
Athel Cornish-Bowden (CNRS)
Rosa Cossart (CNRS)
Ludovic Cottret (Université Claude Bernard Lyon 1)
Prisacariu Cristian (Institute of Computer Science, Romanian Academy)
Anne Crumiere (IML)
María Luz Cárdenas (CNRS, IBSM, BIP)
Frederic Dabrowski (INRIA)
Silvano Dal Zilio (LIF - CNRS)
Vincent Danos (CNRS)
Joëlle Despeyroux (INRIA)
François Fages (INRIA Rocquencourt)
Eric Fanchon (CNRS)
Etienne Farcot (INRIA Sophia Antipolis)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Marcelle Kaufman (Université Libre de Bruxelles)
Jean Krivine (INRIA Rocquencourt)
Vincent Lacroix (Université Claude Bernard Lyon 1)
Cosimo Laneve (Università di Bologna)
Ricardo Lima (Centre de Physique Theorique Marseille Luminy)
Medaglia Maria Teresa (Roma Tre)
Damiano Mazza (IML)
Arnaud Meyroneinc (CPT)
Virgile Mogbil (LIPN - Paris 13)
Michele Pagani (Università Roma 3)
Marco Pedicini (Istituto per le Applicazioni del Calcolo "Mauro Picone" - CNR)
Andrew Phillips (Microsoft Research)
Gordon Plotkin (University of Edinburgh)
Gabriele Pulcini (Università Roma Tre-IML Marseille)
Michel le van Quyen (LENA - CNRS)
Laurent Regnier (IML)
Elisabeth Remy (IML (CNRS))
Adrien Richard (Université d'Evry, Laboratoire de Méthodes Informatiques)
Paul Ruet (CNRS)
Marie-France Sagot (Université Claude Bernard Lyon 1)
Luigi Santocanale (LIF/CMI)
Volker Schmidt (Universität Ulm, Abteilung Stochastik)
Vincent Schächter (Genoscope)
Christophe Soulé (cnrs and ihes)
Lutz Strassburger (Saarland University, INRIA Futurs)
Denis Thieffry (IBDM)
Patricia Thébault (Université Claude Bernard Lyon 1)
Lorenzo Tortora de Falco (Universita` Roma Tre)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Week 4 (Feb 20 - Feb 24): Semantics (92 participants)

Geometry of interaction:

Isabelle Abou (LATP)
Samson Abramsky (Oxford University)
Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
Vincent Atassi (LIPN - Villetaneuse)
David Baelde (LIX)
John Baez (University of California, Riverside)
Patrick Baillot (LIPN, CNRS-Université Paris 13)
Emmanuel Beffara (PPS, Université Paris 7)
Walid Belkhir (LIF/CMI)
Valiron Benoit (University of Ottawa)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Richard Blute (University of Ottowa)
Pierre Boudes (LIPN, institut Galilée, université Paris 13)
Stephen Brookes (Carnegie Mellon University)
Antonio Bucciarelli (PPS)
Daniel de Carvalho (IML)
Pierre Clairambault (ENS Lyon, stagiaire en master 2)
Robin Cockett (University of Calgary)
Francesco Cosentino (IML)
Pierre-Louis Curien (CNRS)
Ugo Dal Lago (Università di Bologna)
Etienne Duchesne (IML, universite de la mediterranee)
Thomas Ehrhard (IML et PPS)
Claudia Faggian (Universita' degli Studi di Padova)
Marc de Falco (IML)
Luca Fossati (Università di Torino, Université 'Denis Diderot' Paris 7)
Christophe Fouqueré (LIPN - UMR7030)
Didier Galmiche (LORIA - UHP)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Stéphane Gimenez (PPS, Université Paris 7)
Jean-Yves Girard (IML)
Rob van Glabbeek (National ICT Australia)
Matthew Goldfield (Brandeis University)
Jean Goubault-Larrecq (LSV/UMR 8643 CNRS et ENS Cachan; INRIA Futurs projet SECSI)
Esfandiar Haghverdi (Indiana University)
Masahiro Hamano (Keio University)
Russ Harmer (CNRS & PPS, Paris 7)
Ryu Hasegawa (Graduate School for Mathematical Sciences, The University of Tokyo)
Emmanuel Haucourt (CEA Saclay)
Peter Hines (York University)
David van Horn (Brandeis University)
Robin Houston (Manchester University)
Martin Hyland (University of Cambridge)
Pierre Hyvernat (Institu mathématique de Luminy)
Francois Lamarche (INRIA-Lorraine)
Dominique Larchey-Wendling (LORIA - CNRS)
Joachim de Lataillade (Preuves, Programmes, Systèmes)
Olivier Laurent (CNRS - Université Paris 7)
Ian Mackie (King's College London)
Roberto Maieli (Università Roma 3)
Harry Mairson (Brandeis University)
Octavio Malherbe (University of Ottawa)
Damiano Mazza (IML)
Paul-André Melliès (PPS)
Samuel Mimram (PPS)
Luke Ong (Oxford University Computing Laboratory)
Michele Pagani (Università Roma 3)
Gabriele Pulcini (Università Roma Tre-IML Marseille)
Anjayan Puvananathan (University of Ottawa)
Laurent Regnier (IML)
Andrea Schalk (School of Computer Science, University of Manchester)
Philip Scott (University of Ottawa)
Peter Selinger (Dalhousie University)
Sergey Slavnov (Ottawa university)
Lutz Strassburger (Saarland University, INRIA Futurs)
Nicolas Tabareau (PPS)
Paolo Tranquilli (Università Roma III)
Nikos Tzevelekos (Oxford University Computer Laboratory)
Lionel Vaux (IML)
Dragisa Zunic (ENS Lyon)

Semantics and games:

Samson Abramsky (Oxford University)
Roberto Amadio (Universite' Paris 7)
Vincent Atassi (LIPN - Villetaneuse)
David Baelde (LIX)
John Baez (University of California, Riverside)
Patrick Baillot (LIPN, CNRS-Université Paris 13)
Emmanuel Beffara (PPS, Université Paris 7)
Walid Belkhir (LIF/CMI)
Valiron Benoit (University of Ottawa)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Pierre Boudes (LIPN, institut Galilée, université Paris 13)
Stephen Brookes (Carnegie Mellon University)
Antonio Bucciarelli (PPS)
Cristiano Calcagno (Imperial College London)
Daniel de Carvalho (IML)
Pierre Clairambault (ENS Lyon, stagiaire en master 2)
Robin Cockett (University of Calgary)
Francesco Cosentino (IML)
Solange Coupet-Grimal (Laboratoire d'Informatique de Marseille)
Pierre-Louis Curien (CNRS)
Ugo Dal Lago (Università di Bologna)
Etienne Duchesne (IML, universite de la mediterranee)
Thomas Ehrhard (IML et PPS)
Claudia Faggian (Universita' degli Studi di Padova)
Marc de Falco (IML)
Marcelo Fiore (Computer Laboratory, University of Cambridge)
Luca Fossati (Università di Torino, Université 'Denis Diderot' Paris 7)
Christophe Fouqueré (LIPN - UMR7030)
Didier Galmiche (LORIA - UHP)
Dan Ghica (UNIVERSITY OF BIRMINGHAM)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Matthew Goldfield (Brandeis University)
Esfandiar Haghverdi (Indiana University)
Masahiro Hamano (Keio University)
Russ Harmer (CNRS & PPS, Paris 7)
Ryu Hasegawa (Graduate School for Mathematical Sciences, The University of Tokyo)
Emmanuel Haucourt (CEA Saclay)
Peter Hines (York University)
David van Horn (Brandeis University)
Robin Houston (Manchester University)
Martin Hyland (University of Cambridge)
Pierre Hyvernat (Institu mathématique de Luminy)
Stark Ian (The University of Edinburgh)
Francois Lamarche (INRIA-Lorraine)
Dominique Larchey-Wendling (LORIA - CNRS)
Joachim de Lataillade (Preuves, Programmes, Systèmes)
Olivier Laurent (CNRS - Université Paris 7)
Paul Blain Levy (Birmingham University)
Harry Mairson (Brandeis University)
Octavio Malherbe (University of Ottawa)
Damiano Mazza (IML)
Paul-André Melliès (PPS)
Samuel Mimram (PPS)
Andrzej Murawski (University of Oxford)
Luke Ong (Oxford University Computing Laboratory)
Michele Pagani (Università Roma 3)
John Power (University of Edinburgh)
Laurent Regnier (IML)
Luigi Santocanale (LIF/CMI)
Andrea Schalk (School of Computer Science, University of Manchester)
Philip Scott (University of Ottawa)
Sergey Slavnov (Ottawa university)
Lutz Strassburger (Saarland University, INRIA Futurs)
Nicolas Tabareau (PPS)
Paolo Tranquilli (Università Roma III)
Nikos Tzevelekos (Oxford University Computer Laboratory)
Lionel Vaux (IML)
Dragisa Zunic (ENS Lyon)

Higher dimensional rewriting, concurrency and directed homotopy:

John Baez (University of California, Riverside)
Walid Belkhir (LIF/CMI)
Jean-Baptiste Bianquis (LIPN - Université Paris 13)
Laurent Bobelin (CIFRE - EGEE - CSSI/CPPM/SPC)
Pierre Boudes (LIPN, institut Galilée, université Paris 13)
Stephen Brookes (Carnegie Mellon University)
Antonio Bucciarelli (PPS)
Albert Burroni (PPS - Université Paris 7)
Daniel de Carvalho (IML)
Pierre Clairambault (ENS Lyon, stagiaire en master 2)
Robin Cockett (University of Calgary)
Francesco Cosentino (IML)
Pierre-Louis Curien (CNRS)
Silvano Dal Zilio (LIF - CNRS)
Thomas Ehrhard (IML et PPS)
Marc de Falco (IML)
Tristan Fevat (Université de Provence)
Luca Fossati (Università di Torino, Université 'Denis Diderot' Paris 7)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Emmanuel Godard (LIF - Université de Provence)
Matthew Goldfield (Brandeis University)
Eric Goubault (CEA/Saclay)
Daniel Guin (I3M, UMR 5149, Université Montpellier 2)
Yves Guiraud (Institut de mathématiques de Luminy)
Esfandiar Haghverdi (Indiana University)
Ryu Hasegawa (Graduate School for Mathematical Sciences, The University of Tokyo)
Emmanuel Haucourt (CEA Saclay)
David van Horn (Brandeis University)
Martin Hyland (University of Cambridge)
Yves Lafont (IML (Marseille))
Francois Lamarche (INRIA-Lorraine)
Cornacel Laura (Institute for Computer Science, Romanian Academy, Iasi)
Olivier Laurent (CNRS - Université Paris 7)
Octavio Malherbe (University of Ottawa)
Damiano Mazza (IML)
Paul-André Melliès (PPS)
Francois Metayer (Equipe PPS Universite Paris 7 CNRS)
Samuel Mimram (PPS)
Victor Moraru (ESIL, université de la Méditerranée)
Luke Ong (Oxford University Computing Laboratory)
Luigi Santocanale (LIF/CMI)
Sergey Slavnov (Ottawa university)
Lutz Strassburger (Saarland University, INRIA Futurs)
Nicolas Tabareau (PPS)
Nikos Tzevelekos (Oxford University Computer Laboratory)

Week 5 (Feb 27 - Mar 3): Models of concurrency (66 participants)

Interaction and space, concurrency and logic:

Roberto Amadio (Universite' Paris 7)
David Baelde (LIX)
Emmanuel Beffara (PPS, Université Paris 7)
Walid Belkhir (LIF/CMI)
Rémi Brochenin (ENS Cachan)
Luis Caires (CITI, Univ. de Lisboa)
Matthew Collinson (University of Bath)
Giovanni Conforti (Dortmund University)
Francesco Cosentino (IML)
Silvano Dal Zilio (LIF - CNRS)
Stéphane Demri (LSV ENS Cachan)
Etienne Duchesne (IML, universite de la mediterranee)
Thomas Ehrhard (IML et PPS)
Marc de Falco (IML)
Tristan Fevat (Université de Provence)
Christophe Fouqueré (LIPN - UMR7030)
Didier Galmiche (LORIA - UHP)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Emmanuel Godard (LIF - Université de Provence)
Daniel Hirschkoff (ENS Lyon)
David van Horn (Brandeis University)
Francois Lamarche (INRIA-Lorraine)
Dominique Larchey-Wendling (LORIA - CNRS)
Richard Lassaigne (Université Paris 7)
Etienne Lozes (LSV ENS Cachan)
Damiano Macedonio (Università Ca' Foscari di Venezia)
Damiano Mazza (IML)
Daniel Mery (LORIA, UMR 7503)
Samuel Mimram (PPS)
Virgile Mogbil (LIPN - Paris 13)
Victor Moraru (ESIL, université de la Méditerranée)
Damien Pous (LIP - ENS Lyon)
Luigi Santocanale (LIF/CMI)
Sergey Slavnov (Ottawa university)
Lutz Strassburger (Saarland University, INRIA Futurs)
Lionel Vaux (IML)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Probabilistic transition systems:

Isabelle Abou (LATP)
Beniamino Accattoli (Università degli studi di Roma "La Sapienza")
Roberto Amadio (Universite' Paris 7)
John Baez (University of California, Riverside)
Walid Belkhir (LIF/CMI)
Valiron Benoit (University of Ottawa)
Richard Blute (University of Ottowa)
Xavier Bressaud (IML)
Rémi Brochenin (ENS Cachan)
Luis Caires (CITI, Univ. de Lisboa)
Francesco Cosentino (IML)
Silvano Dal Zilio (LIF - CNRS)
Vincent Danos (CNRS)
William Delobel (CMI, université de Provence)
Josée Desharnais (Université Laval)
Thomas Ehrhard (IML et PPS)
Martin Escardo (University of Birmingham)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Emmanuel Godard (LIF - Université de Provence)
Jean Goubault-Larrecq (LSV/UMR 8643 CNRS et ENS Cachan; INRIA Futurs projet SECSI)
Daniel Hirschkoff (ENS Lyon)
David van Horn (Brandeis University)
Alexander Kurz (University of Leicester)
Francois Lamarche (INRIA-Lorraine)
Richard Lassaigne (Université Paris 7)
Cornacel Laura (Institute for Computer Science, Romanian Academy, Iasi)
Etienne Lozes (LSV ENS Cachan)
Jean-Paul Mavoungou (University of Yaounde 1 Department of Mathematics)
Damiano Mazza (IML)
Laurent Miclo (CNRS)
Samuel Mimram (PPS)
Catuscia Palamidessi (INRIA Futur, Laboratoire d'informatique de l'école polytechnique)
Prakash Panangaden (McGill University)
Damien Pous (LIP - ENS Lyon)
Laurent Regnier (IML)
Paul Ruet (CNRS)
Peter Selinger (Dalhousie University)
Ana Sokolova (Radboud University of Nijmegen)
Lutz Strassburger (Saarland University, INRIA Futurs)
Paolo Tranquilli (Università Roma III)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)

Logic programming and concurrency:

David Baelde (LIX)
Emmanuel Beffara (PPS, Université Paris 7)
Walid Belkhir (LIF/CMI)
Rémi Brochenin (ENS Cachan)
Luis Caires (CITI, Univ. de Lisboa)
Francesco Cosentino (IML)
Joëlle Despeyroux (INRIA)
Marc de Falco (IML)
Christophe Fouqueré (LIPN - UMR7030)
Deepak Garg (Carnegie Mellon University)
Paolo di Giamberardino (University of Rome "Roma Tre", Institut des Mathematiques de Luminy)
Stéphane Gimenez (PPS, Université Paris 7)
Rob van Glabbeek (National ICT Australia)
Emmanuel Godard (LIF - Université de Provence)
Yves Guiraud (Institut de mathématiques de Luminy)
Daniel Hirschkoff (ENS Lyon)
David van Horn (Brandeis University)
Francois Lamarche (INRIA-Lorraine)
Etienne Lozes (LSV ENS Cachan)
Daniel Mery (LORIA, UMR 7503)
Dale Miller (INRIA-Futurs and LIX)
Samuel Mimram (PPS)
Virgile Mogbil (LIPN - Paris 13)
Frank Pfenning (Carnegie Mellon University)
Damien Pous (LIP - ENS Lyon)
Sergey Slavnov (Ottawa university)
Lutz Strassburger (Saarland University, INRIA Futurs)
Axelle Ziegler (Ecole Polytechnique and INRIA-Futurs)