Peter Baumgartner

Activities

Involvement in Conferences and Workshops

• KR 2025 22nd International Conference on Principles of Knowledge Representation and Reasoning
  Melbourne, Australia, November 11 - 15, 2025
  Program committee member
• Jelia 2025, 19th edition of the European Conference on Logics in Artificial Intelligence
  Kutaisi, Georgia, 1-5 September 2025
  Program committee member
• KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning
  Hanoi, Vietnam, November 2 - 8, 2024
  Program committee member
• Tableaux 2023 (32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
  Prague, Czech Republic, September 18-21, 2023
  Program committee member
• FroCoS 2023 The 14th International Symposium on Frontiers of Combining Systems
  Prague, Czech Republic, September 20-22, 2023
  Program committee member
• Jelia 2023, 18th Edition of the European Conference on Logics in Artificial Intelligence
  TU Dresden, Germany, September 20-22 2023
  Program committee member
• PLP 2023, The Tenth Workshop on Probabilistic Logic Programming
  London, UK, July 9-15, 2023
  Program committee member
• The 35th Australasian Joint Conference on Artificial Intelligence (AI 2022)
  Perth, Australia, December 2022
  Program committee member
• AAAI 2022
  Vancouver, Canada, Februray 2022
  Program committee member
• The 34nd Australasian Joint Conference on Artificial Intelligence (AI 2021)
  Sydney, Australia, December 2021
  Program committee member
• FroCoS 2021 The 13th International Symposium on Frontiers of Combining Systems
  Birmingham, UK, September 8-10, 2021
  Program committee member
• Jelia 2021, 17th European Conference on Logics in Artificial Intelligence
  Klagenfurt, Austria, May 17 - 20, 2021
  Program committee member
• The 28th International Conference on Automated Deduction
  CMU Pittsburgh, USA, July 2021
  Program committee member
• AAAI 2021
  Februray 2021
  Program committee member
• The 33nd Australasian Joint Conference on Artificial Intelligence (AI 2020)
  Canberra, Australia, November 2020
  Program committee member
• IJCAI-PRICAI 2020 (29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence)
  Yokohama, Japan, July 2020
  Program committee member
• IJCAR 2020 (International Joint Conference on Automated Reasoning)
  Paris, France, June 2020
  Program committee member
• AAAI 2020
  New York, USA, Februray 2020
  Program committee member
• The 32nd Australasian Joint Conference on Artificial Intelligence (AI 2019)
  Adelaide, South Australia, December 2019
  Program committee member
• Tableaux 2019 (28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
  London, UK, September 3-5, 2019
  Program committee member
• IJCAI-19 (28th International Joint Conference on Artificial Intelligence)
  Macao, China, August 10-16, 2019
  Program committee member
• Jelia 2019, 16th European Conference on Logics in Artificial Intelligence
  Rende, Italia, May 8 -- 10, 2019
  Program committee member
• 26thASOR National Conference for the Australian Society of Operations Research and Defence Operations Research Symposium (ASOR/DORS) 2018
  Melbourne, Australia, December 4-6, 2018
  Program committee member
• IJCAI-ECAI-18 (27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence)
  Stockholm, Sweden, July 13-19, 2018
  Program committee member
• IJCAR 2018 (International Joint Conference on Automated Reasoning)
  Oxford, UK, July 2018
  Program committee member
• GCAI 2017 (Global Conference on Artificial Intelligence)
  Miami, October 2017
  Program committee member
• Tableaux 2017 (26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
  Brasília, Brazil, September 25-29, 2017
  Program committee member
• FroCoS 2017 (11th International Symposium on Frontiers of Combining Systems)
  Brasília, Brazil, September 25-29, 2017
  Program committee member
• GCAI 2016 (Global Conference on Artificial Intelligence)
  Berlin, September 2016
  Program committee member
• JELIA 2016, 15th European Conference on Logics in Artificial Intelligence
  Larnaca, Cyprus, November 9 -- 11, 2016
  Program committee member
• IJCAR 2016 (International Joint Conference on Automated Reasoning)
  Coimbra, Portugal, June 2016
  Program committee member
• 5th Workshop on Practical Aspects of Automated Reasoning (PAAR 2016)
  Workshop at IJCAR 2016, Coimbra, Portugal, July 2016
  Program committee member
• GCAI 2015 (Global Conference on Artificial Intelligence)
  Tbilisi, Georgia, October 2015
  Program committee member
• FoIKS 2016 (9th International Symposium on Foundations of Information and Knowledge Systems)
  Linz, Austria, 2016
  Program committee member
• LPAR 20 (20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning)
  Suva, Fiji, 2015
  Workshop chair, program committee member
• FroCoS 2015 (10th International Symposium on Frontiers of Combining Systems)
  Wroclav, Poland, September 15-19, 2015
  Program committee member
• PxTP 2015 (Fourth Workshop on Proof eXchange for Theorem Proving)
  Berlin, Germany, August 2-3, 2015
  Program committee member
• JELIA 2014, 14th European Conference on Logics in Artificial Intelligence
  Madeira, Portugal, September 24 - 26, 2014
  Program committee member
• Workshop on Practical Aspects of Automated Reasoning (PAAR-2014)
  Workshop at IJCAR 2014, Vienna, Austria, July 2014
  Program committee member
• Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2014)
  Workshop at IJCAR 2014, Vienna, Austria, July 2014
  Program committee member
• KInAR 2014 (Knowledge Intensive Automated Reasoning 2014)
  Workshop at IJCAR 2014, Vienna, Austria, July 2014
  Program committee member
• IJCAR 2014 (The 7th International Joint Conference on Automated Reasoning)
  Vienna, Austria, July 2014
  Program committee member
• Foundations of Information and Knowledge Systems (FoIKS)
  Bordeaux, France, March 03-07, 2014
  Program committee member
• IWIL 2013 (10th International Workshop on the Implementation of Logics)
  In conjunction with LPAR-19, Stellenbosch, South Africa, December 2013
  Program committee member
• FroCos 2013 (9th International Symposium on Frontiers of Combining Systems)
  Nancy, France, September 2013
  Program committee member
• CADE-24 (24th International Conference on Automated Deduction)
  Lake Placid, New York, June 9-14, 2013
  Program committee member, tutorial chair
• Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2013)
  Workshop at CADE-24
  Lake Placid, New York, June 9-14, 2013
  Program committee member
• JELIA 2012, 13th European Conference on Logics in Artificial Intelligence
  Toulouse, France, September 26 - 28, 2012
  Program committee member
• Workshop on Automated Reasoning for Enterprise Information Systems (AREIS-2012)
  Manchester, UK, July 2012
  Co-organizer
• IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning)
  Manchester, UK, June 2012
  Program committee member
• Workshop on Practical Aspects of Automated Reasoning (PAAR-2012)
  Manchester, UK, July 2012
  Program committee member
• LPAR-18 (Logic for Programming Artificial Intelligence and Reasoning)
  Merinda, Venezuela, March 11 - 15, 2012
  Program committee member
• The 24th Australasian Joint Conference on Artificial Intelligence (AI 2011)
  Perth, Western Australia, December 2011
  Program committee member
• IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence)
  Barcelona, Spain, July 2011
  Program committee member
• FroCos 2011 (8th International Symposium on Frontiers of Combining Systems)
  Saarbrücken, Germany, October 2011
  Program committee member
• CADE-23 (23nd International Conference on Automated Deduction)
  Wroclaw, Poland, July 2011
  Program committee member
• FTP 2011 (International Workshop on First-Order Theorem Proving)
  Bern, Switzerland, July 2011
  Program committee member
• TABLEAUX 2011 (Automated Reasoning with Analytic Tableaux and Related Methods)
  Bern, Switzerland, July 2011
  Program committee member
• The Australasian Joint Conference on Artificial Intelligence (AI 2010)
  Adelaide, South Australia, December 2010
  Program committee member
• LPAR-17 (Logic for Programming Artificial Intelligence and Reasoning)
  Yogyakarta, Indonesia, October 10 - 15, 2010
  Program committee member
• JELIA 2010, 12th European Conference on Logics in Artificial Intelligence
  Helsinki, Finland, September 13 - 15, 2010
  Program committee member
• IJCAR 2010 (5th International Joint Conference on Automated Reasoning)
  Edinburgh, UK, July 2010
  Program committee member
• Workshop on Practical Aspects of Automated Reasoning (PAAR-2010)
  Edinburgh, UK, July 2010
  Program committee member
• LaSh 2010, Logic and Search -- Third International Workshop on Logic and Search
  July 15, Edinburgh, UK.
  Program committee member
• LPAR-16 (Logic for Programming Artificial Intelligence and Reasoning)
  Dakar, Senegal, April 25-May 1, 2010
  Program committee member
• FroCos 2009 (7th International Symposium on Frontiers of Combining Systems)
  Trento, Italy, September 2009
  Program committee member
• KI 2009 (32nd Annual Conference on Artificial Intelligence)
  Paderborn, Germany, September 2009
  Program committee member
• Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09)
  Workshop at CADE-22
  McGill University, Montreal, Canada, August, 2009
  Program committee member
• CADE-22 (22nd International Conference on Automated Deduction)
  Montreal, Canada, August 2009
  Program committee member
• IJCAI 2009 (21st International Joint Conference on Artificial Intelligence)
  Pasadena, USA, July 2009
  Program committee member
• FTP 2009 (International Workshop on First-Order Theorem Proving)
  University of Oslo, Norway, July 2009
  Program committee member
• 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.

Committees

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