[TYPES/announce] Logic and Interaction week - call for contribution and participation

Emmanuel Beffara beffara at iml.univ-mrs.fr
Wed Dec 7 16:23:45 EST 2011

                         Residential session on 

                         LOGIC AND INTERACTION 
                        CIRM, Marseille, France
                 Monday February 6 - Friday February 10

            as part of LI2012 -- http://li2012.univ-mrs.fr/

Logic and interactions 2012

  LI2012 will gather researchers in various fields of “logic in computer
  science”, following on the success of the Geocal meeting in 2006. The
  meeting will run five consecutive weeks, from 30 January to 2 March
  2012, each dedicated to a particular area of logic and its
  interactions. Each week will include lectures, invited talks and
  contributed talks, together with work sessions. Lectures are aimed
  primarily at PhD students an non-specialist researchers.

Week 2 : Logic and Interaction

  The week "Logic and Interaction" is dedicated to the theme of
  interactive approaches of logic: models and frameworks in which the
  fundamental mechanism is that of a dialog between proofs and
  counter-proofs. The session will include lectures, invited talks and
  contributed talks, together with work sessions. 
  The main axes of focus will be:
  - the Geometry of interaction programme, aiming at a reconstruction of
    logic from interaction as the primitive notion, considered as an
    abstract counterpart of cut elimination, with tutorial both on the
    well established results and on the most recent developments
  - the study of mathematical structures that represent dialog
    processes, in particular Game semantics and Ludics
  - recent developments at the boundary between mathematical logic and

  The mornings will be structured in tutorials. The afternoons are
  intended to be a space for the researchers to discuss recent
  developments and open issues, and will be open to contributions.

  Researchers and students who wish to speak at this workshop can
  propose a title and a short abstract, by mail to the three organizers.


  Claudia Faggian <faggian at pps.jussieu.fr>
  Olivier Laurent <olivier.laurent at ens-lyon.fr>
  Myriam Quatrini <quatrini at iml.univ-mrs.fr>

Invited speakers

* Lectures

  - 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 talks

  - Michele Abrusci (Roma, Italy)
  - Paolo Pistone (Roma, Italy)
  - Kurt Ranalter (Bolzano, Italy)

Important dates
  ** Deadline for talk proposals: 15 December 2011
  ** Deadline for registration:   19 December 2011
  ** Session:  6 February -> 10 February 2012

More information about the Types-announce mailing list