Tech Reports


Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007), held September 12?13, 2007, at the University of Liverpool, Liverpool, United Kingdom

Silvio Ranise (Editor)


This technical report contains the proceedings of FTP'07, the sixth workshop on First-Order Theorem Proving, held September 12 and 13, 2007, in Liverpool, England (UK). As for the previous events of this series, the focus of this workshop is on first-order theorem proving as a core theme of Automated Deduction, and its aim is to provide a forum for presentation of recent work and discussion of research in progress. The workshop was co-located with the sixth International Symposium on Frontiers of Combining Systems (FroCoS'07), held September 10-12, 2007 also in Liverpool.

The proceedings contain seven regular papers and the abstract of three "presentation-only" papers (i.e. papers submitted or accepted for publication elsewhere), each of which was reviewed by three referees, as well as the abstracts of three invited talks.

[Full Paper]