[TYPES/announce] LI2012: call for participation

Emmanuel Beffara emmanuel.beffara at univmed.fr
Thu Oct 20 06:03:00 EDT 2011

                         CALL FOR PARTICIPATION

                  LOGIC AND INTERACTIONS 2012 (LI2012)

                      WINTER SCHOOLS and WORKSHOPS

                   Monday January 30 - Friday March 2
                    CIRM, Luminy, Marseille, France


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.

General 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.

      Patrick Baillot, Nadia Creignou, Jean-Yves Marion
    Lecturers and invited speakers:
      - Martin Hofmann (Munich, Germany)
      - Yiannis N. Moschovakis (Los Angeles, USA)
      - Stefan Szeider (Vienna, Austria)
      - Heribert Vollmer (Hannover, Germany)

  * Logic and interaction (6 - 10 February)

    Geometry of interaction, ludics, games, linguistics, etc.

      Claudia Faggian, Olivier Laurent, Myriam Quatrini
    Lecturers and invited speakers:
      - Michele Abrusci (Roma, Italy)
      - 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)
      - Paolo Pistone (Roma, Italy)
      - Myriam Quatrini (Marseille, France)
      - Kurt Ranalter (Munchen, Germany)

  * Proofs and programs (13 - 17 February)

    Realizability, semantics, program extraction, classical logic,
    effects and references, concurrent features, etc.

      Olivier Laurent, Alexandre Miquel, Alexis Saurin
    Lecturers and invited speakers:
      - Ulrich Berger (Swansea, UK) [to be confirmed]
      - Hugo Herbelin (INRIA Paris, France)
      - Guy McCusker (Bath, UK)
      - Paul-André Melliès (CNRS, Paris, France)
      - Alexandre Miquel (ENS Lyon, France)
      - Jaap van Oosten (Utrecht, Netherlands)
      - Gordon Plotkin (Edinburgh, UK)
      - 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.

      Michele Pagani, Simon Perdrix, Peter Selinger, Christine Tasson
    Lecturers and invited speakers:
      - Rick Blute (Ottawa, Canada)
      - Ross Duncan (Brussels, Belgium)
      - Thomas Ehrhard (Paris, France)
      - Alexander Green (Nottingham, UK)
      - Elham Kashefi (Edinburgh, UK)
      - Aleks Kissinger (Oxford, UK)
      - Prakash Panangaden (McGill, Montréal, Canada)

  * Algebra and computation (27 February - 2 March)

    Rewriting, operads, algebraic invariants of computation, type theory
    and homotopy, etc.

      Pierre-Louis Curien, Yves Guiraud, Philippe Malbos, François Métayer
    Lecturers and invited speakers:
      - Dimitri Ara (Paris, France)
      - Albert Burroni (Paris, France)
      - Vladimir Dotsenko (Luxembourg)
      - Nicola Gambino (Palermo, Italy)
      - Stéphane Gaussent (Nancy, France)
      - Jean-Louis Loday (CNRS, Strasbourg, France)
      - Paul-André Melliès (CNRS, Paris, France)
      - Samuel Mimram (CEA Saclay, France)
      - Timothy Porter (University of Wales, Bangor, UK)
      - Bruno Vallette (Nice-Sophia Antipolis, France)
      - Michael Warren (IAS, Princeton, USA)

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


  There are no registration fees. Accomodation at the CIRM should be
  available for all participants: the only condition is to register on

  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.

  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 plan to fund the accommodation at the CIRM for all participants
  requiring it: simply select the appropriate option in the
  pre-registration form.

  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

Emmanuel Beffara and Lionel Vaux
Institut de Mathématiques de Luminy

More information about the Types-announce mailing list