Logic List Mailing Archive

First-Order Theorem Proving (FTP07)

12-13 September 2007
Liverpool, U.K.

CALL FOR PARTICIPATION

   FTP 2007 - International Workshop on First-Order Theorem Proving
          (September 12-13, 2007, Liverpool, United Kingdom)
                   http://www.csc.liv.ac.uk/~ftp07/

The Sixth International Workshop on First-Order Theorem Proving will
take place at the University of Liverpool, UK, on September 12-13, 2007,
co-locating with the Sixth International Symposium on Frontiers of
Combining Systems <http://www.csc.liv.ac.uk/~frocos07/> on September
10-12, 2007.


PROGRAM
-------
A list of accepted papers and a preliminary workshop program which
includes three invited talks and thirteen research presentations can
be found at
            <http://www.csc.liv.ac.uk/~ftp07/program.html>


INVITED TALKS
-------------
* Bernd Fischer <http://www.ecs.soton.ac.uk/about/bernd_fischer.php>
  (Southampton, England, UK):
  "Applying First-Order Theorem Provers in Formal Software Safety
   Certification"
* Martin Giese <http://www.risc.uni-linz.ac.at/people/mgiese/>
  (Linz, Austria):
  "Aspects of First-order Reasoning in the KeY system"
* Viorica Sofronie-Stokkermans <http://www.mpi-inf.mpg.de/~sofronie/>
  (MPI Informatik, Saarbruecken, Germany) [joint with FroCos]:
  "Hierarchical and Modular Reasoning in Complex Theories: The Case
   of Local Theory Extension"

STUDENT GRANTS
--------------
A limited number of student participation grants is available on a
first come first served basis which allows us to waive the workshop
registration fee for those students. (A proof of student status will
be requested if necessary.)

IMPORTANT DATES (NEW)
---------------------
Early registration deadline:           August 10,       2007
Recommended hotel reservations:  August 17,       2007
Workshop:                         September 12-13, 2007

FURTHER INFORMATION
-------------------
For additional information please consult the following web pages:

* Overview of FTP 2007    <http://www.csc.liv.ac.uk/~ftp07/>
* Registration
<http://www.csc.liv.ac.uk/~ftp07/registration.html>
* Travel & Accommodation  <http://www.csc.liv.ac.uk/~ftp07/travel.html>
* Venue                   <http://www.csc.liv.ac.uk/~ftp07/venue.html>

RELATED EVENTS
--------------
FTP 2007 will be collocated with FroCoS'07
<http://www.csc.liv.ac.uk/~frocos07/>
(6th International Symposium on Frontiers of Combining Systems)

CONTACTS
--------
Programme Chair:           Silvio Ranise <http://www.loria.fr/~ranise/>,
                           LORIA and INRIA-Lorraine, France
Local Organisation Chair:  Ullrich Hustadt
<http://www.csc.liv.ac.uk/~ullrich>,
                           University of Liverpool, UK