FTP 2009 - International Workshop on First-Order Theorem Proving

FTP 2009

FTP 2009 - International Workshop on First-Order Theorem Proving
Oslo, Norway, July 6-7 2009

Program
- including abstracts

Related Events
- TABLEAUX'09

Organization

Program Chairs:	Nicolas Peltier and Viorica Sofronie-Stokkermans
Local organization:	Roger Antonsen

Programme Committee

Alessandro Armando (DIST - University of Genova)

Franz Baader (TU Dresden)

Peter Baumgartner (National ICT Australia)

Bernhard Beckert (University of Koblenz)

Maria Paola Bonacina (Università degli Studi di Verona)

Ricardo Caferra (Grenoble INP - LIG)

Martin Giese (University of Oslo)

Ullrich Hustadt (University of Liverpool)

Alexander Leitsch (Vienna University of Technology)

Christopher Lynch (Clarkson University)

Nicola Olivetti (LSIS, Université Paul Cézanne, Marseille)

Nicolas Peltier (CNRS - LIG) (co-chair)

David Plaisted (University of North Carolina-Chapel Hill)

Silvio Ranise (Università degli Studi di Verona)

Michael Rusinowitch (LORIA - INRIA Lorraine)

Renate Schmidt (The University of Manchester)

Viorica Sofronie-Stokkermans (Max-Planck-Institut für Informatik, Saarbrücken) (co-chair)

Arild Waaler (University of Oslo)

Christoph Weidenbach (Max-Planck-Institut für Informatik, Saarbrücken)