The “Logic and interactions 2012” session 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.


LI2012 will take place at the CIRM (Centre International de Rencontres Mathématiques) in Marseille, France. The place is on the campus of Luminy, in the middle of the calanques, a small hour away from the center of Marseille by public transportation.


Have a look at the scientific committee.


Registration is now closed. The deadline was December 19th, 2011.