| Wednesday, 12 September 2007 |
| From 9:00 |
Registration |
| 9:25 - 9:30 |
Introduction to FTP 2007 |
| Session 1 (Joint session with FroCoS'07) |
Chair: Ullrich Hustadt |
|
| 9:30 - 10:30 |
Invited talk
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extension
Viorica Sofronie-Stokkermans
|
| 10:30 - 11:00 |
Coffee Break |
|
|
| 11:00 - 11:35 |
Combining Proof-Producing Decision Procedures
Silvio Ranise,
Christophe Ringeissen, and
Duk Khanh Tran
|
| 11:35 - 12:10 |
Towards an Automatic Analysis of Web Service Security
Yannick Chevalier,
Denis Lugiez, and
Michael Rusinowitch
|
| 12:10 - 12:45 |
Certification of Automated Termination Proofs
Evelyne Contejan,
Piere Courtieu,
Julien Forest,
Olivier Pons, and
Xavier Urbain
|
| 12:45 - 14:05 |
Lunch |
| 14:05 - 14:15 |
Further Details for FTP 2007 Participant |
| Session 3 |
Chair: Christophe Ringeissen |
|
| 14:15 - 14:50 |
Inductive Proof Search Modulo
Fabrice Nahon,
Claude Kirchner and
Helene Kirchner
|
| 14:50 - 15:25 |
Extending Poitín to Handle Explicit Quantification
Humayun Kabir and Geoff Hamilton
|
| 15:25 - 15:55 |
Coffee Break |
| Session 4 |
Chair: Michael Rusinovitch |
|
| 15:55 - 16:30 |
Developing Modal Tableaux and Resolution Methods via First-Order Resolution
Renate Schmidt
|
| 16:30 - 17:05 |
Reasoning Automatically about Termination and Refinement
Georg Struth
|
| 17:05 - 17:35 |
Business Meeting
|
| 19:00 |
Conference Dinner
Racquet Club (Hargreaves Buildings,
5 Chapel Street, Liverpool L3 9AG)
|
