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

View from Gurten near Berne

The FTP Workshop Series

Background

Call for Papers

Important Dates

Submission

Programme Committee

Accepted Contributions

Programme

Venue and Travel

Accommodation

Registration

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)