Services to the Scientific Community
Organization of Workshops
Miller helped to organize WIPS 2005 (Workshop on Implementations of Proof Search) held at the University of Minnesota on 1 July 2005 and MoveLog 2005 (Workshop on Mobile Code Safety and Program Verification Using Computational Logic Tools) held at Barcelona, 5 October.
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
Despeyroux was a program committee member for Merlin 2005 (Workshop on MEchanized Reasoning about Languages with varIable biNding).
Miller was a program committee member for the following conferences.
Merlin 2005: Workshop on MEchanized Reasoning about Languages with varIable biNding.
LPAR 2005: 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. Montevideo, Uruguay, 14-18 March.
CSL 2005: 14th Annual Conference of the European Association for Computer Science Logic, 22-25 August, Oxford, UK.
CADE 2005: Conference on Automated Deduction, Tallinn, Estonia, 22-27 July.
Invited talks at Conferences or Workshops
Miller has been invited to speak at the following meetings.