Editorial Activity

• Co-editor (with P. Baumgartner and G. Dowek) of the Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008), Vol. 45, Number 2, 2010.
• Co-editor (with P. Baumgartner and G. Dowek) of the Proceedings of the 4th International Joint Conference of Automated Reasoning (IJCAR 2008), Sydney, Australia, August 12-15, 2008. Lecture Notes in Computer Science, Vol. 5195.
• Co-editor (with C. Ringeissen) of the Special Issue on "Combining Logical Systems" of the Information and Computation, Volume 204, Issue 10, Pages 1411-1596, October 2006.
• Co-editor (with D. Basin, J. Cuellar, M. Rusinowitch, and L. Viganò) of the Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis", Volume 36, Numbers 1-2, January, 2006.
• Co-editor (with A. Cimatti) of the Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning. Special Issue of the Electronic Notes in Theoretical Computer Science, Volume 144, Issue 2, 19 January 2006.
• Co-editor (with L. Viganò) of the Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA'04). Special issue of the Electronic Notes in Theoretical Computer Science, Volume 125, Issue 1, 3 March 2005.
• Editor of the Proceedings of the 4th International Workshop on Frontiers of Combining Systems (FroCoS 2002), Volume 2309 of the Lecture Notes in Artificial Intelligence, Springer Verlag, 2002.
• Co-editor (with T. Jabelean) of the Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation Vol. 32, No. 4, September 1, 2001.
• Co-editor (with T. Jabelean) of the Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" of the Electronic Notes in Theoretical Computer Science, Volume 23, Issue 3, 1999.