- Editor-in-Chief for Logical Methods in Computer Science
- Editor of Foundations of Software Science and Computational Structures.
15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings.
Lecture Notes in Computer Science, Vol. 7213, Springer. 2012.
- Co-editor of Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Sepcial issue of Theoretical Computer Science,
361:1-3, Elsevier, 2004.
- Co-editor of Special Issue of Mathematical Strucuteres in Computer
Science (MSCS) on Realizability Semantics and Applications.
Mathematical Structures in Computer Science, Volume 12, Issue 3, 2002.
- Co-editor of
A Tutorial Workshop on Realizability Semantics and Applications.
Elecronic Notes in Theoretical Computer Science,
Volume 23, Issue 1.