Organizational and editorial activities

• AAR, CADE, IJCAR and FTP: The Association for Automated Reasoning (AAR) is the major organized body in the field of automated reasoning. I am serving on the AAR board of Directors since April 2008. I was Secretary of the AAR from September 1997 through May 2004.
  • CADE: The Conference in Automated Deduction (CADE Inc.) is a subcorporation of AAR. I am on the board of Trustees of CADE Inc. since August 1999: I was Secretary and ex-officio Trustee from August 1999 through May 2004, I was elected Trustee for a three-year term in October 2004 (CADE 2004 election statement), re-elected for a second three-year term in October 2007 (CADE 2007 election statement), and elected President of the board in November 2009. The CADE Conference is the oldest conference in the field of automated reasoning. I served on the Program Committee of CADE-18, part of the Federated Logic Conference (FLoC) of 2002; CADE-21 in 2007; CADE-22 in 2009; and CADE-23 in 2011.

  • IJCAR: The International Joint Conference on Automated Reasoning (IJCAR) is the largest conference in the field of automated reasoning. It merges CADE, FTP and TABLEAUX since 2001 and FroCoS since 2004; Calculemus joined in 2004 and TPHOLs in 2006. I served on the IJCAR Steering Committee from 2000 to 2004, as Chair from 2002 to 2004, and I returned to it as CADE President in December 2009. I wrote the manifesto of IJCAR-1 in 2001 and IJCAR-2 in 2004. I was an overseer of the Automated Theorem Proving System Competition (CASC) of IJCAR-1, Publicity Chair of IJCAR-2, and Workshop Chair of IJCAR-3 at the Federated Logic Conference (FLoC) 2006. I was on the Program Committee of IJCAR-2, including its Doctoral Programme, IJCAR-3, IJCAR-4 in 2008, and IJCAR-5 at the Federated Logic Conference (FLoC) 2010.

  • FTP: From 1997 through 2003, I was on the Steering Committee of the Workshop in First-order Theorem Proving (FTP), that I chaired from February 1999 through June 2003. FTP played a key role in the birth of IJCAR. I was member of the Program Committees of FTP 2009, FTP 2003, that met as part of RDP 2003, the Federated Conference on Rewriting, Deduction and Programming, FTP 2000 and FTP 1998, and I was Program Co-Chair of FTP 1997 with Ulrich Furbach. Uli and I edited the special issue Advances in First-order Theorem Proving, Journal of Symbolic Computation (JSC) 29(2), February 2000.

• Satellite workshops of IJCAR or CADE
  • SVARM: I am on the Program Committee of the Workshop on Synthesis, Verification, and Analysis of Rich Models at FLoC 2010. SVARM is an initiative of the COST (European COoperation in the field of Scientific and Technical research) Action Rich-model toolkit: an infrastructure for reliable computer systems, where I am member of the Management Committee and Chair of the Work Group on Decision Procedures.

  • STRATEGIES and IWS: I contributed in various ways to the series of Workshops on Strategies in Automated Deduction (STRATEGIES). I was on the Program Committee of the International Workshop on Strategies in Rewriting, Proving, and Programming (IWS), that merged STRATEGIES and WRS, the Workshop on Reduction Strategies, at FLoC 2010, and of STRATEGIES-6, satellite of IJCAR-3 in 2006. I was Program Co-Chair, with Thierry Boy de la Tour, of STRATEGIES-5, satellite of IJCAR-2 in 2004. Thierry and I edited the volume Fifth Workshop on Strategies in Automated Deduction: Selected Papers, 125(2), Electronic Notes in Theoretical Computer Science (ENTCS), March 2005. I was Program Co-Chair, with Bernhard Gramlich, of STRATEGIES-4, satellite of IJCAR-1 in 2001. Bernhard and I edited the volume Fourth Workshop on Strategies in Automated Deduction: Selected Papers, 58(2), Electronic Notes in Theoretical Computer Science (ENTCS), October 2001.

  • ADDCT and CEDAR: I was on the Program Committee of the IJCAR 2008 Workshop on Complexity, Decidability and Expressibility in Automated Reasoning (CEDAR) and of the CADE 2007 Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT).

• Other conferences in automated reasoning or artificial intelligence
  • LPAR: I was on the Program Committee of the Conference on Logic for Programming, Artificial Intelligence and Reasoning 2007.
  • KI: I was on the Program Committee of the German Annual Conference on Artificial Intelligence 2009.

• Rewriting: IFIP Working Group and RTA: Since January 1998, I am a founding member of the IFIP Working Group on Term Rewriting (WG 1.6). In 1991, I was on the organizing committee of the fourth Conference on Rewriting Techniques and Applications (RTA), held on the lake of Como, Italy.

• PASCO: I was on the Program Committee of the Symposium on Parallel Symbolic Computation (PASCO) 1994 and Registration Chair of the Federated Symposia on Symbolic and Algebraic Computation (ISSAC) and Parallel Symbolic Computation (PASCO) 1997.

• QPQ: Since April 2003, I am Area Editor for the Integration/Distributed Area of the QPQ repository for deductive software.

• Compulog: I was Coordinator of the area Automated Deduction of Compulog Americas 1997-2002.

• EATCS and ASL: I was a member of the European Association for Theoretical Computer Science (EATCS) 1987-2004, and of the Association for Symbolic Logic (ASL) 1996-2005.

Maria Paola Bonacina