Editorships and Special Issues
-
Mathematical Structures in Computer Science
(Editorial Board, 2012-2014)
-
Proceedings of QAPL'13 (EPTCS Volume 117)
-
Formal Methods for Dynamical Systems LNCS, Springer Verlag, 2013.
- Theoretical Computer Science, Special Issue on QAPL 11/12
(Volume 538, 12 June 2014)
- Theoretical Computer Science, Special Issue on QAPL 13/14
(Call for Papers)