The series of FTP workshops is intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of very recent work and discussion of research in progress. The workshops welcome original contributions on theorem proving in first-order classical, many-valued, and modal logics, including resolution, equational reasoning, term rewriting, model construction, constraint reasoning, unification, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; and applications of first-order theorem provers to problems in verification, artificial intelligence, and mathematics.
FTP'97, Schloss Hagenberg, Austria, October 27-28, 1997
Special Issue of the Journal of Symbolic Computation on Advances in First-order Theorem Proving, Maria Paola Bonacina and Ulrich Furbach, eds., Vol. 29, Issue 2, Pages 117-392 (February 2000), Elsevier, 2000 (selected full papers from an open cfp launched after FTP'97)
FTP'98, Schloss Wilhelminenberg, Vienna, Austria, November 23-25, 1998
Automated Deduction in Classical and Non-Classical Logics - Selected Papers, Ricardo Caferra and Gernot Salzer, eds., Lecture Notes in Artificial Intelligence, Vol. 1761, Springer, 2000 (invited papers and selected full papers from an open cfp launched after FTP'98)
FTP'00, University of St Andrews, Scotland, July 3-5, 2000
Special Issue of the Journal of Symbolic Computation on First-Order Theorem Proving, Peter Baumgartner and Hantao Zhang, eds., Vol. 36, Issues 1-2, Pages 1-285 (July - August 2003), Elsevier, 2003 (selected full papers from an open cfp launched after FTP'00)
IJCAR'01 (= CADE + FTP + TABLEAUX), Siena, Italy, June 18-23, 2001
Automated Reasoning, First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings, Rajeev Gorée, Alexander Leitsch and Tobias Nipkow, eds., Lecture Notes in Artificial Intelligence, Vol. 2083, Springer, 2001
FTP'03 (see also here), Valencia, Spain, June 12-14, 2003 (collocated with RTA'03 and TLCA'03, part of RDP'03)
Special Issue of the Journal of Automated Reasoning on First-Order Theorem Proving, in preparation, 2003 (see here for a cfp, and here for the website with more details)
The Steering Committee is responsible for choosing location, local arrangement and program chairs for each workshop, as well as for making general decisions concerning the future of the workshop series. The committee consists of twelve persons, each serving for three terms (=three successive workshops). Around the time of each workshop four members of the committee step down, and the vacant positions are filled by holding elections among the FTP community. The FTP community consists of all people having participated in any FTP workshop, of all current and former members of the steering committee, and of all members of the current or former program committees.
President:
Peter Baumgartner,
Universität Koblenz-Landau, Germany (president since 2003)
Members:
Alessandro Armando,
Università di Genova, Italy (elected Oct.2001)
Peter Baumgartner,
MPI Saarbrücken & Universität Koblenz-Landau, Germany (elected Oct.2000, president since 2003)
Maria Paola Bonacina,
University of Verona (since FTP 1997, president 1999-2003)
Ricardo Caferra,
LEIBNIZ-IMAG, Grenoble, France (elected Jan.1999)
Domenico Cantone,
Universitá di Catania, Italy (elected Jan.1999)
David Crocker,
Escher Technologies Ltd., UK (elected Oct.2000)
Ingo Dahn,
Universität Koblenz-Landau, Germany (elected Oct.2001)
Bernhard Gramlich,
Technische Universität Wien, Austria (elected Oct.2000)
Reiner Hähnle,
Chalmers University of Technology, Göteborg, Sweden (elected Oct.2000)
Alexander Leitsch,
Technische Universität Wien, Austria (elected Jan.1999)
Paliath Narendran,
University at Albany - SUNY, Albany, New York, USA (elected Oct.2001)
Christoph Weidenbach,
MPI Saarbrücken & Opel AG, Germany (elected Jan.1999)
Former Members:
Ulrich Furbach,
Universität Koblenz, Germany (FTP 1997-Oct.2000)
Jieh Hsiang,
National Taiwan University, Taipei, Taiwan (FTP 1997-Jan.1999)
Christopher Lynch,
Clarkson University, USA (FTP 1997-Oct.2001)
Xumin Nie,
Oracle, USA (FTP 1997-Oct.2001)
David Plaisted,
UNC at Chapel Hill, USA (FTP 1997-Oct.2000, president 1997-1999)
Michael Rusinowitch,
LORIA, Nancy, France (FTP 1997-Oct.2001)
Gernot Salzer,
Technische Universität Wien, Austria (FTP 1997-Oct.2000)
Camilla Schwind,
Université Aix-Marseille II, France (FTP 1997-Oct.2000)
Klaus Trümper,
University of Texas at Dallas, USA (FTP 1997-Jan.1999)
Hantao Zhang,
University of Iowa, USA (FTP 1997-Jan.1999)
Last modified: Tue Jun 10 09:40:22 CEST 2008
FTP-admin@logic.at