Editorial works

1. Special-issue on New Developments in the Assertional Method.
   Journal of Formal Aspects of Computing on the Assertional Method.
   Editors: F.S. de Boer, E.R. Olderog, A. Ponse and F.J. de Vries.
2. COTIC98 Second workshop on concurrent constraint programming for time critical applications and multi-agent systems.
   Electronic Notes in Computer Science (ENTCS), Vol 16, Issue 1.
   Guest Editors: F.S. de Boer and M. Gabbrielli.
3. Report of the ESPRIT Working Group meeting COTIC99. The ECOOP99 Workshop Reader, LNCS, Vol. 1743.
   Editor: F.S. de Boer
4. Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002).
   LNCS, Vol. 2852, 2003.
   Editors: F.S. de Boer, M. Bonsangue, S. Graf and W.-P. de Roever.

5. Proceedings of the Second International Symposium on Formal Methods for Components and Objects (FMCO 2003).
   LNCS, Vol. 3188, 2004.
   Editors: F.S. de Boer, M. Bonsangue, S. Graf and W.-P. de Roever.

6. Proceedings of the UML 2003 workshop on compositional verification of UML models.
   ENTCS, Vol. 101, 2004.
   Editors: F.S. de Boer and M. Bonsangue.

7. Formal Methods for Components and Objects.
   Special issue of Theoretical Computer Science, Vol. 331, 2005. Editors: F.S. de Boer and M. Bonsangue.

8. Formal Methods for Components and Objects: Pragmatic aspects and applications. Special issue of Science of Computer Programming, Vol. 55, 2005. Editors: F.S. de Boer and M. Bonsangue.