Call for Participation
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
Symposium on Frontiers of Combining Systems on September 10-12, 2007.
A list of accepted papers and a preliminary workshop program which includes three invited talks and
thirteen research presentations can be found at
- Bernd Fischer (Southampton, England, UK):
"Applying First-Order Theorem Provers in Formal Software Safety Certification"
- Martin Giese (Linz, Austria):
"Aspects of First-order Reasoning in the KeY system"
- Viorica Sofronie-Stokkermans (MPI Informatik, Saarbrücken, Germany) [joint with FroCos]:
"Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extension"
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|
For additional information please consult the following web pages:
FTP 2007 will be collocated with FroCoS'07
(6th International Symposium on Frontiers of Combining Systems)