FTP 2011 - International Workshop on First-Order Theorem Proving
Bern, Switzerland, July 4, 2011

View from Gurten near Berne

The FTP Workshop Series


Call for Papers

Important Dates


Programme Committee

Accepted Contributions


Venue and Travel



Related Events

Programme Committee

Martin Giese (Oslo, Norway) [Chair]
Roger Antonsen (Olso, Norway)
Peter Baumgartner(NICTA, Canberra, Australia)
Bernhard Beckert (Koblenz, Germany)
Maria Paola Bonacina(Verona, Italy)
Ullrich Hustadt (Liverpool, England, UK)
Reiner Hähnle (Chalmers, Sweden)
Katsumi Inoue(NII, Tokyo, Japan)
Tudor Jebelean (RISC, Linz, Austria)
Konstantin Korovin (Manchester, UK)
Hans de Nivelle (Wroclaw, Poland)
Jens Otten (Potsdam, Germany)
Nicolas Peltier (CNRS, Grenoble, France)
David A. Plaisted (Chapell Hill, USA)
André Platzer (CMU, Pittsburgh, USA)
Silvio Ranise (FBK, Trentino, Italy)
Michaël Rusinowitch (INRIA, Nancy, France)
Renate A. Schmidt (Manchester, UK)
Viorica Sofronie-Stokkermans  (MPII, Saarbrücken, Germany)