Peter Baumgartner
Principal Research Scientist, Data61
ANU CECS
Details and Contact
| Home
| Publications
| Activities
| Teaching
| Systems
| Talks
]
Activities
Involvement in Conferences and Workshops
- 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
This web page is maintained by Peter Baumgartner <baumgart@mpi-sb.mpg.de>.
Last modified: Thu Mar 16 16:53:37 EST 2006