Section: Dissemination
Services to the Scientific Community
Organization of Conferences and Workshops
Joëlle Despeyroux coorganized the ACM SIGPLANSIGACT international conference on Principles of Programming Languages (POPL), with Martin Hofmann (LMU university, Munich, Germany). The conference was held in Nice, from 14 to 20 January.
Lutz Straßburger organized a workshop on "The Realm of Cut Elimination" on May 14, 2007 at LIX. This workshop was part of the PAI Amadeus with TU Wien.
Lutz Straßburger organized a workshop on "Theory and Application of Deep Inference" on June 21, 2007 at LIX. This workshop is part of (and partially financed by) the ANR project INFER on "Theory and Application of Deep Inference", and the PAI Germaine De Stael project on "Deep Inference and the Essence of Proofs". It served as first meeting of the participants of these projects.
Editorial activity
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) 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.

LFMTP'07: Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, August, Bremem, Germany.

WoLLIC'07: Fourteenth Workshop on Logic, Language, Information and Computation, Rio de Janeiro, 25 July.

CADE21: 21st Conference on Automated Deduction, 17  20 July Bremen, Germany.
Invited talks at Conferences or Workshops
David Baelde and Dale Miller were invited speakers at the ICMS Workshop on Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, Edinburgh, UK, 2529 May 2007.
Dale Miller and Lutz Straßburger were invited participants to the meeting Collegium Logicum 2007: Proofs and Structures , 2425 October 2007, Vienna, Austria.