Involvement in Scientific Events

Coordination

Member of the Organizing Committee of the Workshop on Semantic Computing for Security and Privacy.
Member of the Management Committee of the COST Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems.
Member of the Steering Committee of the International Workshop on Security Testing (SECTEST).
Member of the Steering Committee of the International Joint Conference on Automated Reasoning (IJCAR) for the 2004 edition and ex officio (as Program co-Chair of IJCAR 2008).
Trustee of International Conference on Automated Deduction (CADE) ex officio (as Program co-Chair of IJCAR 2008).
Member of the Steering Committee of the Workshop Series on First Order Theorem Proving (FTP), elected in October 2001.
Member of the Steering Committee of the Workshop Series on Frontiers of Combining Systems (FroCoS), ex officio (as Chair of FroCoS'02).
Trustee of the CALCULEMUS Interest Group for the periods 1999-2001 and 2002-2004.

Conferences

Program Chair of the following scientific events:

(with Maria Paola Bonacina) Rich-Model Toolkit Meeting, Torino, Italy October 3-4, 2011.
(with Gavin Lowe) Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10), Paphos, Cyprus March 27-28, 2010.
(with Peter Baumgartner and Gilles Dowek) of 4th International Joint Conference on Automated Reasoning (IJCAR 2008) Sydney, Australia, August 11-16, 2008.
(with A. Cimatti) 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR'05) Edinburgh (UK), July 12, 2005.
(with Luca Viganò) Automated Reasoning for Security Protocols Analysis (ARSPA'04), Cork, Ireland, July 4, 2004.
4th International Workshop on Frontiers of Combining Systems (FroCoS'2002), April 8-10, 2002, Santa Margherita Ligure, Italy.
(with Tudor Jebelean) FLoC'99 Workshop CALCULEMUS: Systems for Integrated Computation and Deduction. July 11-12, 1999, Trento, Italy.
(with Erica Melis) 1st Workshop on Abstraction, Analogy and Metareasoning May 2 - 3, 1996, IRST - Trento, Italy.

Program Committee member of the following scientific events:

7th International Workshop on Security and Trust Management (STM'11), Copenhagen, Denmark, June 27-28, 2011.
Theory of Security and Applications (TOSCA'11), Saarbruecken, Germany, March 26-27, 2011
23rd International Conference on Automated Deduction (CADE-23), Wroclaw, Poland, July 31 - August 5, 2011.
25th IEEE/ACM International Conference on Automated Software Engineering (ASE2010), Antwerp, Belgium, September, 20-24, 2010.
5th International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, July 16-19, 2010.
10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010), Paris, France, July 5-6, 2010.
24th IEEE/ACM International Conference on Automated Software Engineering (ASE2009), Auckland, New Zealand, 16-20 November 2009.
Future Internet Symposium (FIS 2009), Berlin, Germany, September 1-3, 2009.
Workshop on Foundations of Computer Security (FCS'09), August 9–10, 2009, Los Angeles, California, USA.
International Workshop on First-Order Theorem Proving (FTP 2009) July 6-7, 2009, Oslo, Norway.
22nd International Conference on Automated Deduction (CADE-22), McGill University, Montreal, Canada August 2-7, 2009.
Future Internet Symposium (FIS 2008), Vienna, Austria, September 28-30, 2008.
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE2008), L'Aquila, Italy, September 15-19 2008.
International Workshop on Computational Intelligence in Security for Information Systems (CISIS'08), Genova, Italy, October 23-24, 2008.
9th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2008), Birmingham, UK, 31 July-2 August, 2008.
Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08), Pittsburgh (USA), June 21-22, 2008.
15th International Symposium on Formal Methods (FM'08), Åbo Akademi University Turku, Finland, May 26-30, 2008.
Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'07), Wrocław, Poland, July 8, 2007.
6th International Symposium on Frontiers of Combining Systems (FroCoS 2007), University of Liverpool, UK, September 10-12, 2007.
14th International Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2007), RISC Institute, Castle of Hagenberg, Austria, June 27-30, 2007.
18th International Conference on Rewriting Techniques and Applications (RTA'07), Paris, June 26-28, 2007.
Workshop on Information and Computer Security (ICS2006), Timisoara, Romania, September 29, 2006.
Workshop on the Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'06), Seattle, Washington, August 15-16, 2006.
4th International Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006), August 21, 2006, Seattle, Washington.
5th International Conference on Mathematical Knowledge Management (MKM 2006), August 10-12, 2006, UK.
3rd International Joint Conference on Automated Reasoning (IJCAR'06), Seattle, USA, August 16-21, 2006.
7th International Workshop on First-Order Theorem Proving (FTP 2005), Koblenz, Germany September 14-17, 2005.
5th International Workshop on Frontiers of Combining Systems (FroCoS 2005), Vienna, Austria, September 19-21, 2005.
12th International Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), Newcastle upon Tyne (UK), July 18-22, 2005.
2nd International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Ireland, 4-8 July, 2004.
2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning 2004 (PDPAR'04), Cork, Ireland, July 5, 2004.
IJCAI Workshop on Agents and Automated Reasoning, Acapulco, Mexico, August 11, 2003.
1st Workshop of Pragmatics of Decision Procedures in Automated Reasoning (PDPAR'03), Miami, Florida, July 29, 2003.
19th International Conference on Automated Deduction (CADE-19), Miami, Florida, July 29-August 2, 2003.
2nd Workshop on Specification, Analysis and Validation for Emerging Technologies (SAVE 2002), to be held at FLoC 2002 Copenhagen, Denmark, July 27, 2002.
10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002) Marseille, France, July 1-5, 2002.
IJCAR'2001 Workshop on Future Directions in Automated Reasoning. Siena, June 18 2001.
4th International Workshop on Strategies in Automated Deduction. IJCAR'2001 Workshop , Siena, June 18 2001.
9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2001). Siena, June 21-22 2001.
8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS-2000), St. Andrew (Scotland), 6-7 August 2000.
Automated Deduction: Putting Theory into Practice, a stream at CL2000, Imperial College, London, UK, 24-28 July 2000.

Informal Events

Organiser of the 2001 edition of the CLAM-INKA-OMRS Workshop (CIAO-2001), Genova, April 5-6, 2001.
Organiser of the 3rd MRG General Symposium, Genova, July 3 - 5, 1997.
Organiser of the CALCULEMUS 1997 Workshop. April 28 - 30, 1997, Irst - Trento, Italy.
Organiser of the CLAM-INKA-OMRS'97 Workshop. Genova, April 10 - 11, 1997.