|
The TPTP Tea Party
|
|
- 2025 -
Stuttgart, Germany, as part of
CADE-30.
- 2024 -
Nancy, France, as part of the
12th IJCAR, as a
EuroProofNet COST action -
WG2 Automated Theorem Provers
event.
- 2023 -
Saclay, France, as a
EuroProofNet COST action -
WG2 Automated Theorem Provers
event.
- 2021 again -
Online as a standalone event.
- 2021 -
Online as part of
CADE-28.
- 2020 -
Online as part of the
10th IJCAR.
- 2017 -
Gothenburg, Sweden, as part of
CADE-26.
- 2011 -
Wroclaw, Poland, as part of
CADE-23.
- 2009 -
Montreal, Canada, as part of
CADE-22.
- 2008 -
Sydney, Australia, as part of the
4th IJCAR.
Co-organized with
Stephan Schulz
- 2007 -
London, United Kingdom, after the
Automated Reasoning Workshop 2007 at Imperial College.
Co-organized with
Stephan Schulz.
- 2006 -
Seattle, USA, as part of the
3rd IJCAR.
Co-organized with
Koen Claessen
- 2005 -
Tallin, Estonia, as part of
CADE-20.
Co-organized with
Josef Urban
- 2004 -
London, United Kingdom.
Hosted by
Simon Colton at Imperial College London.