International Workshop on First-Order Theorem Proving (FTP)

Venue statistics

records by year

document access 

    frequent authors

      8th FTP 2011: Bern, Switzerland

      7th FTP 2009: Oslo, Norway

      Special Issue appered in J. Symb. Comput. 47(9)

      6th FTP 2007: Liverpool, UK

      Special Issue appered in Ann. Math. Artif. Intell. 55(1-2)

      5th FTP 2005: Koblenz, Germany

      4th FTP 2003: Valencia, Spain

      Special Issue appered in J. Autom. Reason. 33(3-4)

      3rd FTP 2001: St Andrews, Scotland, UK

      Special Issue appered in J. Symb. Comput. 36(1-2)

      2nd FTP 1998: Vienna, Austria

      1st FTP 1997: Schloss Hagenberg, Austria

      Special Issue appered in J. Symb. Comput. 29(2)

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics