Organizational and editorial activities

• AAR and CADE
  From September 1997 through May 2004, I was Secretary of the Association for Automated Reasoning (AAR), that I joined in July 1988.
  From August 1999 through May 2004, I was Secretary and ex-officio Trustee of the Conference in Automated Deduction (CADE Inc.).
  In October 2004 I was elected Trustee of CADE Inc. for a three years term with this candidate statement.
  I was member of the Program Committee of CADE-18, part of the Federated Logic Conference (FLoC) 2002.

• IJCAR
  In 2001, the first International Joint Conference in Automated Reasoning (IJCAR) merged CADE, FTP and TABLEAUX.
  I was a member of the Steering Committee of IJCAR 2001 and of the panel overseeing the Automated Theorem Proving System Competition (CASC) at IJCAR 2001.
  The second IJCAR, held in 2004, merged CADE, Calculemus, FroCoS, FTP and TABLEAUX: I was Coordinator of the Steering Committee, Publicity Chair, and member of the Program Committees of IJCAR 2004 and of the IJCAR 2004 Doctoral Programme.
  The third IJCAR will merge CADE, FroCoS, FTP, TABLEAUX and TPHOLs and will be one of the conferences of the Federated Logic Conference (FLoC) 2006. I am Workshop Chair and member of the Program Committee of IJCAR 2006.

• STRATEGIES
  I was Program Co-Chair, with Bernhard Gramlich, of the IJCAR 2001 Workshop on Strategies in Automated Deduction, the fourth in the Strategies workshop series. Selected papers from the fourth workshop appeared as Volume 58 Issue 2 of Electronic Notes in Theoretical Computer Science (ENTCS).
  I was Program Co-Chair, with Thierry Boy de la Tour, of the IJCAR 2004 Workshop on Strategies in Automated Deduction, the fifth in the Strategies workshop series. Selected papers from the fifth workshop appeared as Volume 125 Issue 2 of Electronic Notes in Theoretical Computer Science (ENTCS).
  I am on the Program Committee of the IJCAR 2006 Workshop on Strategies in Automated Deduction, the sixth in the Strategies workshop series.

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

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

• FTP
  Between 1997 and 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.
  I was Program Co-Chair of FTP 1997 with Ulrich Furbach, and member of the Program Committees of FTP 1998, FTP 2000 and FTP 2003, that met as part of RDP 2003, the Federated Conference on Rewriting, Deduction and Programming.

• JSC
  FTP1997 inspired a special issue of the Journal of Symbolic Computation (JSC) on ``Advances in First-order Theorem Proving'' (Vol. 29, No. 2, Feb. 2000) that I edited with Ulrich Furbach.

• 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.

• NSF
  A National Science Foundation Workshop on the Future Directions of Automated Deduction was held in 1996 with inputs from researchers in the US. I contributed two position papers: ``Strategy analysis for theorem proving'' and ``Distributed automated deduction.''

• Compulog
  From November 1997 through July 2002 I was coordinator of the area Automated Deduction of Compulog Americas.

• 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