SECOND CALL FOR PARTICIPATION LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOLS and WORKSHOPS Monday January 30 - Friday March 2 CIRM, Luminy, Marseille, France http://li2012.univ-mrs.fr/ The “Logic and interactions 2012” session is the third such session organized in Marseille on the topic “logic in computer science”, after "Logic and interactions 2002" and "Geometry of computation 2006". The meeting will run five consecutive weeks, each dedicated to a particular area of logic and its interactions. Each week will include lectures aimed primarily at PhD students and non-specialist researchers, invited and contributed talks addressed to a more specialized audience and work sessions. Deadline for registration ========================= Participants must register on the web site before *** December 19th, 2011 **** After this time, we cannot guarantee accomodation. Programme ========= Obviously the themes of each week are not disjoint, so we encourage participants, especially students, to participate in several weeks. * Winter school in complexity (30 January - 3 February) --------------------------- Implicit complexity, parameterized complexity, boolean circuits, etc. <http://li2012.univ-mrs.fr/programme/week1/> Organizers: Patrick Baillot, Nadia Creignou, Jean-Yves Marion Lecturers: - Martin Hofmann (Munich, Germany) - Yiannis N. Moschovakis (Los Angeles, USA) - Stefan Szeider (Vienna, Austria) - Heribert Vollmer (Hannover, Germany) Invited speakers: - Emmanuel Hainry (Nancy) - Neil Jones (Copenhagen) - Virgile Mogbil (Paris-Nord) * Logic and interaction (6 - 10 February) --------------------- Geometry of interaction, ludics, games, linguistics, etc. <http://li2012.univ-mrs.fr/programme/week2/> Organizers: Claudia Faggian, Olivier Laurent, Myriam Quatrini Lecturers: - Ugo Dal Lago (Bologna, Italy) - Christophe Fouqueré (Paris, France) - Dan Ghica (Birmingham, UK) - Jean-Yves Girard (Marseille, France) - Martin Hyland (Cambridge, UK) - Alain Lecomte (Paris, France) - Myriam Quatrini (Marseille, France) Invited speakers: - Michele Abrusci (Roma, Italy) - Paolo Pistone (Roma, Italy) - Kurt Ranalter (Munchen, Germany) * Proofs and programs (13 - 17 February) ------------------- Realizability, semantics, program extraction, classical logic, effects and references, concurrent features, etc. <http://li2012.univ-mrs.fr/programme/week3/> Organizers: Olivier Laurent, Alexandre Miquel, Alexis Saurin Lecturers: - Hugo Herbelin (INRIA Paris, France) - Guy McCusker (Bath, UK) - Alexandre Miquel (ENS Lyon, France) - Gordon Plotkin (Edinburgh, UK) Invited speakers: - Ulrich Berger (Swansea, UK) - Paul-André Melliès (CNRS, Paris, France) - Jaap van Oosten (Utrecht, Netherlands) - Thomas Streicher (Darmstadt, Germany) * Quantitative approaches (20 - 24 February) ----------------------- Algebraic extensions of lambda-calculi and linear logic, logical approaches to probabilistic and quantum computation, quantitative semantics, resource and differential lambda-calculi. <http://li2012.univ-mrs.fr/programme/week4/> Organizers: Michele Pagani, Simon Perdrix, Peter Selinger, Christine Tasson Lecturers: - Thomas Ehrhard & Christine Tasson (Paris, France) - Prakash Panangaden (McGill, Montréal, Canada) - Elham Kashefi (Edinburgh, UK) Invited speakers: - Pablo Arrighi (Grenoble, France) - Rick Blute (Ottawa, Canada) - Robin Cockett (Calgary, Canada) - Ross Duncan (Brussels, Belgium) - Alexander Green (Nottingham, UK) - Aleks Kissinger (Oxford, UK) - Jean Goubault-Larrecq (Paris, France) - Daniele Varacca (Paris, France) * Algebra and computation (27 February - 2 March) ----------------------- Rewriting, operads, algebraic invariants of computation, type theory and homotopy, etc. <http://li2012.univ-mrs.fr/programme/week5/> Organizers: Pierre-Louis Curien, Yves Guiraud, Philippe Malbos, François Métayer Lecturers: - Vladimir Dotsenko (Luxembourg) - Timothy Porter (University of Wales, Bangor, UK) - Michael Warren (IAS, Princeton, USA) Invited speakers: - Dimitri Ara (Paris, France) - Albert Burroni (Paris, France) - Nicola Gambino (Palermo, Italy) - Stéphane Gaussent (Nancy, France) - Yves Lafont (Université Aix-Marseille 2) - Jean-Louis Loday (CNRS, Strasbourg, France) - Paul-André Melliès (CNRS, Paris, France) - Samuel Mimram (CEA Saclay, France) - Pierre Rannou (Université Aix-Marseille 2) - Bruno Vallette (Nice-Sophia Antipolis, France) Call for contributed talks ========================== Each week, except the last one, will include sessions for contributed talks. Details on the submission procedures can be found on the web page for each week. No publication of proceedings is planned, submission of published work is allowed. Deadlines for submissions: - Complexity: December 15th, 2011 - Logic and interaction: November 30th, 2011 - Proofs and programs: December 15th, 2011 - Quantitative approaches: December 1st, 2011 Registration ============ There are no registration fees. Accomodation at the CIRM should be available and funded for all participants: the only condition is to register on time. Pre-registration is now open on the web site. Once your pre-registration is validated, you will be contacted by the CIRM for the actual registration and booking. Grants ====== Accommodation at the CIRM is funded for all participants requiring it: simply select the appropriate option in the pre-registration form. FYI: The standard rate for staying at the CIRM, including breakfast and two meals each day is 82 (double room) to 90 (single room) euros per day. We might also provide a limited amount of travel grants for students. To apply for such a grant, be sure to check the corresponding box of the pre-registration form: we will contact you directly for further information. -- Emmanuel Beffara and Lionel Vaux Institut de Mathématiques de Luminy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]