First Order Theorem Proving (FTP)

6. IJCAR 2012: Manchester, UK

5. IJCAR 2010: Edinburgh, UK

4. IJCAR 2008: Sydney, NSW, Australia

3. IJCAR 2006: Seattle, WA, USA

6. FTP / 2. IJCAR 2004: Cork, County Cork, Ireland

- IJCAR 2004 Home Page

5. FTP 2003: Valencia, Spain

FTP 2003 Home Page

4. FTP 2001: Siena, Italy

FTP 2001 is fusioned into IJCAR 2001

3. FTP 2000: St Andrews, Scotland, UK

FTP 2000 Home Page

2. FTP 1998: Schloss Wilhelminenberg, Vienna, Austria

1. FTP 1997: Schloss Hagenberg, Austria

FTP 1997 Home Page