[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FIRST ANNOUNCEMENT LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOL and WORKSHOPS Monday January 30 - Friday March 2 CIRM[1], Luminy, Marseille, France http://li2012.univ-mrs.fr/ 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 [2]. 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[1] will be available for participants. A number of fundings, especially for students, will be available as well. Preregistration will open on the web site[3] after the summer. [1] http://www.cirm.univ-mrs.fr/ [2] http://iml.univ-mrs.fr/geocal06/ [3] http://li2012.univ-mrs.fr/ -- Emmanuel Beffara and Lionel Vaux Institut de Mathématiques de Luminy