[TYPES/announce] LI2012: first announcement
beffara at iml.univ-mrs.fr
Wed Jun 22 05:42:14 EDT 2011
LOGIC AND INTERACTIONS 2012 (LI2012)
WINTER SCHOOL and WORKSHOPS
Monday January 30 - Friday March 2
CIRM, Luminy, Marseille, France
We are organizing a 5 week session at the CIRM in Luminy: “Logic and
interactions 2012”. This event 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,
as described below. Each week will include lectures, invited talks and
contributed talks, together with work sessions. Lectures are aimed
primarily at PhD students and non-specialist researchers.
* Complexity (30 January - 2 February)
Algorithmic complexity, implicit complexity, light logics, etc.
* Logic and interaction (5 - 10 February)
Geometry of interaction, ludics, games, linguistics, etc.
* Proofs and programs (12 - 17 February)
Realizability, semantics, program extraction, classical logic,
effects and references, concurrent features, etc.
* Quantitative approaches (19 - 24 February)
Differential linear logic, quantitative semantics, stochastic
systems, quantum computation, algebraic lambda-calculi, etc.
* Algebra and computation (26 February - 2 March)
Algebraic invariants of computation, rewriting, model structures,
type theory and homotopy, ordered structures, etc.
Obviously these themes are not disjoint, so we encourage participants,
especially students, to participate to several consecutive weeks.
Lodging at the CIRM will be available for participants. A number of
fundings, especially for students, will be available as well.
Preregistration will open on the web site after the summer.
Emmanuel Beffara and Lionel Vaux
Institut de Mathématiques de Luminy
More information about the Types-announce