Logic and interactions 2012

Organizing committee

• Emmanuel Beffara (IML, Marseille)
• Lionel Vaux (IML, Marseille)

Scientific committee

• Pablo Arrighi (Université de Grenoble)
• Patrick Baillot (LIP, ENS Lyon)
• Emmanuel Beffara (IML, Marseille)
• Nadia Creignou (LIF, Marseille)
• Pierre-Louis Curien (PPS, Paris 7)
• Ugo Dal Lago (Bologne, Italie)
• Claudia Faggian (PPS, Paris 7)
• Yves Guiraud (Institut Camille Jordan, Université Lyon 1)
• Yves Lafont (IML, Marseille)
• Olivier Laurent (LIP, ENS Lyon)
• Philippe Malbos (Institut Camille Jordan, Université Claude Bernard Lyon 1)
• Jean-Yves Marion (LORIA, Nancy)
• Damiano Mazza (LIPN, Villetaneuse)
• Alexandre Miquel (LIP, ENS Lyon)
• François Métayer (PPS, Paris 7)
• Michele Pagani (LIPN, Villetaneuse)
• Simon Perdrix (LIG, Grenoble)
• Myriam Quatrini (IML, Marseille)
• Laurent Regnier (IML, Marseille)
• Luigi Santocanale (LIF, Marseille)
• Alexis Saurin (PPS, Paris 7)
• Peter Selinger (Dalhousie, Canada)
• Christine Tasson (PPS, Paris 7)
• Lionel Vaux (IML, Marseille)
• Krzysztof Worytkiewicz (LAMA, Chambéry)