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