Peter Baumgartner

Activities

Committees

• IJCAR (International Joint Conference on Automated Reasoning)
  Member of the steering committee
• Conference on Automated Deduction (CADE)
  Trustee
• TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
  Member of the steering committee
• Past activities:
  • GI-Fachgruppe Deduktionssysteme (DedSys)
    Sprecher
  • International Workshops on First-Order Theorem Proving (FTP)
    President

Involvement in Conferences and Workshops

• TABLEAUX 2009 (Automated Reasoning with Analytic Tableaux and Related Methods)
  University of Oslo, Norway, July 2009
  Program committee member
• LPAR 2008 (Logic for Programming Artificial Intelligence and Reasoning)
  Doha, Qatar, November 22-27, 2008
  Program committee member
• The Australasian Joint Conference on Artificial Intelligence (AI-08)
  Auckland, New Zealand,December 2008
  Program committee member
• LaSh 2008, LOGIC AND SEARCH -- Computation of structures from declarative descriptions, 2nd international workshop
  November 6 - 7 2008, Leuven, Belgium.
  Program committee member
• JELIA 2008, 11th European Conference on Logics in Artificial Intelligence
  Dresden, Germany, September 28 - October 1, 2008
  Program committee member
• IJCAR 2008 (4th International Joint Conference on Automated Reasoning)
  Sydney, Australia, August 2008
  Conference chair and program co-chair (together with Alessandro Armando and Gilles Dowek)
• 5th International Verification Workshop - VERIFY'08
  Sydney, Australia, August 2008
  Program committee member
• IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
  Sydney, Australia, August 2008
  Program committee member
• LPAR 2007 (Logic for Programming Artificial Intelligence and Reasoning)
  Yerevan, Armenia, October 15-19, 2007
  Program committee member
• FTP 2007 (International Workshop on First-Order Theorem Proving)
  Liverpool, UK, September 2007
  Program committee member
• AAAI 2007
  USA
  Program committee member
• CADE-21 Workshop on "Disproving - Non-Theorems, Non-Validity, Non-Provability"
  Bremen, Germany, July 2007
  Organizer, together with Wolfgang Ahrendt and Hans de Nivelle
• TABLEAUX 2007 (Automated Reasoning with Analytic Tableaux and Related Methods)
  Aix en Provence, France, July 2007
  Program committee member
• AI Conference 2006 (The 19th Australian Joint Conference on Artificial Intelligence)
  Tasmania, Australia, December 2006
  Program committee member
• JELIA06, 10th European Conference on Logics in Artificial Intelligence
  Program committee member
• ECAI 2006, the 17th European Conference on Artificial Intelligence
  Program committee member
• IJCAR 2006 Workshop on "Disproving - Non-Theorems, Non-Validity, Non-Provability"
  Organizer, together with Wolfgang Ahrendt and Hans de Nivelle
• ICOS-5, the fifth international workshop on Inference in Computational Semantics
  Program committee member
• CADE-20 Workshop on "Disproving - Non-Theorems, Non-Validity, Non-Provability"
  Organizer, together with Wolfgang Ahrendt and Hans de Nivelle
• TABLEAUX 2005 (Automated Reasoning with Analytic Tableaux and Related Methods)
  Koblenz, Germany, September 2005
  Program committee member
• KI-2005 (28th German Conference on Artificial Intelligence)
  Koblenz, Germany, September 2005
  Workshop chair and program committee member
• Dagstuhl Seminar on Deduction and Applications, Schloss Dagstuhl, Germany, 23.10.-28.10.2005.
  Organizer, together with Franz Baader (TU Dresden, DE), Roberto Nieuwenhuis (TU Barcelona, ES) and Andrei Voronkov (Manchester Univ., GB)
• FoIKS (Fourth International Symposium on the Foundations of Information and Knowledge Systems), Budapest, Hungary, February 2006.
  Program committee member
• CADE-20 (Conference on Automated Deduction), Tallin, Estonia, 22 July - 27 July, 2005.
  Program committee member
• ISMIS'05 (International Symposium for Methodologies on Intelligent Systems), Saratoga Springs, USA, 2005
  Program committee member
• IJCAR: International Joint Conference on Automated Reasoning
  Cork, Ireland 2004
  Workshop chair
• IJCAR 2004 Workshop on "Disproving - Non-Theorems, Non-Validity, Non-Provability"
  Organizer, together with Wolfgang Ahrendt and Hans de Nivelle
• ICOS-4, the fourth international workshop on Inference in Computational Semantics
  Program committee member
• IJCAI-03 Workshop on "Knowledge Representation and Automated Reasoning for E-Learning Systems"
  Organizer, together with Paul A. Cairns, Michael Kohlhase and Erica Melis
• Model Computation - Principles, Algorithms, Applications
  CADE-19 workshop, Miami, Florida, USA, July 29, 2003
  Organizer, together with Chris Fermueller
• CADE-18 (Conference on Automated Deduction):
  Program committee member, Publicity chair
• IJCAR: International Joint Conference on Automated Reasoning
  Siena, Italy, June 18-23 2001
  Publicity chair
• ICOS-3, the third international workshop on Inference in Computational Semantics
  Siena, Italy, June 18-20, 2001 (connected with IJCAR)
  Program committee member
• First-Order Theorem Proving 2000 (FTP'2000)
  St Andrews, Scotland, July 3-5, 2000.
  Co-chair, together with Hantao Zhang, University of Iowa, USA
  Followed up by a special issue of the Journal of Symbolic Computation on First-Order Theorem Proving.
• Model Computation - Principles, Algorithms, Applications
  CADE-17 workshop, Pittsburgh, Pennsylvania, USA, June 16, 2000
  Organizer, together with Chris Fermueller, Nicolas Peltier and Hantao Zhang
• Problem-solving Methodologies with Automated Deduction
  CADE-15 workshop, Lindau, Germany, July 5, 1998
  Organizer, together with Uli Furbach, Michael Kohlhase, Bill McCune, Wolfgang Reif, Mark Stickel and Tomas Uribe
  Although a bit outdated, I keep this page here, because it contains some problem sets that might (still) be challenging for first-order logic deduction systems.