Editorial
- Chariman of the Board of Logical Methods in Computer Science from 2020 to present.
-
Editor for TheoretiCS, 2024 to present.
- Editor-in-Chief for Logical Methods in Computer Science from 2014 to 2020.
- 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.