Section: Dissemination

Scientific Co-ordination

• During 2011, Dale Miller has served on the programme committees for LAM 2011 (Fourth International Workshop on Logics, Agents, and Mobility), 10 September, Aachen, Germany; MLPA-11 (Modules and Libraries for Proof Assistants), 26 August, Nijmegen; LICS 2011 (Logic in Computer Science), 21-24 June, Toronto; and Tableaux 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), July 4-8, Bern, Switzerland.

• Stéphane Lengrand organized the 2011 workshop on “Proof Search in Type Theories and Axiomatic Theories”, affiliated to CADE'23, on 1st August, Wroclaw, Poland, and the Computational Logic workshop in honour of Roy Dyckhoff on 18th and 19th November, St Andrews, Scotland.

• Lutz Straßburger has served on the programme committee for the ESSLLI'11 student session, and has reviewed papers for the following journals: TCS, LMCS, RSL, and the following conferences: LICS'11, TLCA'11, TABLEAUX'11, APLAS'11, STACS'11.

• Stéphane Lengrand and Lutz Straßburger organized the joint meeting of the GdT Geocal and the GdT LAC of the GDR Informatique Mathématique from November 25 to November 26, 2011 at Ecole Polytechnique.

• Kaustuv Chaudhuri was the local chair of the first STRUCTURAL workshop held at LIX, École Polytechnique, in March 2011. He has reviewed papers for: JAR and ACM ToCL (journals) and CADE 2011, LICS 2011, CSL 2011, and LPAR 2012.