| 08:30 - 09:00 | Workshop Registration |
| Chair | Moreno Falaschi |
| 09:00 - 10:00 | Invited Talk - (WFLP'08 Plenary Session) Focusing proof systems for intuitionistic logic |
| Dale Miller | |
| 10:00 - 10:30 | Session 1 |
| Session chair | Santiago Escobar |
| 10:00 - 10:30 | Steve Barker and Gill Lowen Event-oriented Web-based E-trading |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:00 | Session 2 |
| Session chair | Massimo Marchiori |
| 11:00 - 11:30 | Maria Alpuente and Daniel Romero A Visual Technique for Web Pages Comparison |
| 11:30 - 12:00 | Josep Silva Filtering Web Pages |
| Chair | Demis Ballis |
| 12:00 - 13:00 | Invited Talk - COWS: a Process Calculus for Service-Oriented Systems |
| Rosario Pugliese | |
| 13:00 - 14:30 | Lunch |
| Chair | Santiago Escobar |
| 14:30 - 15:30 | Invited Talk - Bridging the Web Accessibility Divide |
| I.V. Ramakrishnan | |
| 15:30 - 16:30 | Session 3 |
| Session chair | Rosario Pugliese |
| 15:30 - 16:00 | Michele Baggi An Ontology-based System for Semantic Filtering of XML Data |
| 16:00 - 16:30 | Giacomo Terreni, Francesca Toni, and Paolo Mancarella Web Sites Repairing through Abduction |
| 16:30 - 17:00 | Coffee break |
| 17:00 - 17:30 | Session 4 |
| Session chair | Catuscia Palamidessi |
| 17:00 - 17:30 | Ali N. Haidar and Ali E. Abdallah Formal Modelling of PKI Based Authentication |