The TPTP Tea Party
This approximately-annual meeting is used to to discuss the TPTP and related issues.
2011
- Organized as part of
CADE-23
.
2009
- Organized as part of
CADE-22
.
2008
- Organized with
Stephan Schulz
as part of the
4th IJCAR
.
2007
- Organized with
Stephan Schulz
, and hosted by
Simon Colton
, after the
Automated Reasoning Workshop 2007
at Imperial College in London.
2006
- Organized with
Koen Claessen
as part of the
3rd IJCAR
.
2005
- Organized with
Josef Urban
as part of
CADE-20
.
2004
- Hosted by
Simon Colton
at Imperial College London.
