Welcome
Presentation
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:
- Complexity (30 January – 3 February)
- Logic and interaction (6 – 10 February)
- Proofs and programs (13 – 17 February)
- Quantitative approaches (20 – 24 February)
- Algebra and computation (27 February – 2 March)
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.
Location
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.
- Practical information for coming and staying at the CIRM.
Organizers
Have a look at the scientific committee.
Registration
Registration is now closed. The deadline was December 19th, 2011.