Tech Reports

ULCS-07-018

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)

Abstract

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.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.