Services to the Scientific Community
Prices and distinctions
Alexis Saurin's PhD dissertation titled “Une étude logique du contrôle” won the “Prix de thèse ASTI 2009” as well as the “Prix de thèse de l'Ecole Polytechnique”.
Organization of Conferences and Workshops
Lutz Straßburger organized the first meeting of the REDO project in Palaiseau at LIX, May 26-29, 2009.
Lutz Straßburger co-organized (with Michel Parigot, PPS) the workshop "Structures and Deduction 2009" in Bordeaux, July 20–24, 2009. The workshop was part of the ESSLLI'09 summer school.
Lutz Straßburger co-organized (with Paola Bruscoli and Alessio Guglielmi, Bath and Nancy) the second meeting of the REDO project in Nancy at the Loria, November 16-18, 2009.
Stéphane Lengrand and Dale Miller organized the 2009 International Workshop on “Proof Search in Type Theories”, affiliated to the CADE international conference which took place in Montréal, Canada, in August 2009.
Dale Miller has the following editorial duties.
Theory and Practice of Logic Programming . Member of Advisory Board since 1999. Cambridge University Press.
ACM Transactions on Computational Logic (ToCL) . Editor-in-chief (since July 2009) and area editor for Proof Theory (since 1999). Published by ACM.
Journal of Functional and Logic Programming . Permanent member of the Editorial Board since 1996. MIT Press.
Journal of Logic and Computation . Associate editor since 1989. Oxford University Press.
Participation in program committees
Dale Miller was a program committee member for the following conferences.
GaLoP IV: Games for Logic and Programming Languages, 28 - 29 March, York, UK.
ICALP 09: International Colloquium on Automata, Languages and Programming, Rhodes, Greece, July.
LSFA 2009: Fourth Logical and Semantic Frameworks, with Applications, part of RDP 2009, 28 June-3 July, Brasília, Brazil.
LAM 2009: Logics for Agents and Mobility, August, Los Angeles. A workshop associated to LICS09.
CSL 2009: 18th Annual Conference of the European Association for Computer Science Logic, 7-11 September, Coimbra, Portugal.
Workshop on Games, Dialogue and Interaction, 28-29 Sept, Université Paris 8.
Invited talks at Conferences or Workshops
Dale Miller has been invited to speak at the following meetings.