Editorial Activity

	Editor (together with G. Lowe) of the Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), Paphos, Cyprus, March 27-28, 2010. Lecture Notes in Computer Science, Vol. 6186, Vol. 45, Number 2, 2010.
	Editor (together 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.
	Editor (together 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.
	Editor (together 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.
	Editor (together 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.
	Editor (together 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.
	Editor (together 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.
	Editor (together 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.
	Editor (together 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.