| 14:00 - 15:00 | Workshop Registration |
| 15:00 - 16:30 | Session 1 |
| Session chair | Juan J. Moreno-Navarro |
| 15:00 - 15:30 | Harald Zankl, Christian Sternagel and Aart Middeldorp Transforming SAT into Termination of Rewriting |
| 15:30 - 16:00 | María Alpuente, Santiago Escobar, Jose Meseguer and Pedro Ojeda Order-Sorted Generalization |
| 16:00 - 16:30 | Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala and
Jaime Sanchez-Hernandez Rewriting and call-time choice: the HO case |
| 16:30 - 17:00 | Coffee break |
| 17:00 - 19:00 | Session 2 |
| Session chair | Marco Comini |
| 17:00 - 17:30 | Manuel Montenegro, Ricardo Pena and Clara Segura A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation |
| 17:30 - 18:00 | Bernd Brassel A Technique to build Debugging Tools for Lazy Functional Logic Languages |
| 18:00 - 18:30 | Josep Silva and Diego Cheda An Evaluation of Algorithmic Debugger Implementations |
| 18:30 - 19:00 | Alexei Lescaylle and Alicia Villanueva A tool for Generating a Symbolic Representation of tccp executions |
| 20:30 | Social dinner |
| Chair | Moreno Falaschi |
| 09:00 - 10:00 | Invited Talk - Focusing proof systems for intuitionistic logic |
| Dale Miller | |
| 10:00 - 10:30 | Session 3 |
| Session chair | Moreno Falaschi |
| 10:00 - 10:30 | Murdoch Gabbay and Dominic Mulligan Two-and-a-halfth order lambda-calculus |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:00 | Session 4 |
| Session chair | Francisco Lopez Faraguas |
| 11:00 - 11:30 | Michael Gabbay and Murdoch Gabbay Term Sequent Logic |
| 11:30 - 12:00 | Sa'ed Abed and O. AitMohamed LCF-style Platform based on Multiway Decision Graph |
| Chair | Demis Ballis |
| 12:00 - 13:00 | WWV08 Invited Talk (Plenary session) - COWS: a Process Calculus for Service-Oriented Systems |
| Rosario Pugliese | |
| 13:00 - 14:30 | Lunch |
| Chair | Santiago Escobar |
| 14:30 - 15:30 | WWV08 Invited Talk (Plenary session) - Bridging the Web Accessibility Divide |
| I.V. Ramakrishnan | |
| 15:30 - 16:30 | Session 5 |
| Session chair | Rachid Echahed |
| 15:30 - 16:00 | Eric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest and
Manuel Hermenegildo Two Efficient Representations for Set-sharing Analysis in Logic Programs |
| 16:00 - 16:30 | Susana Muñoz Hernández and Juan José Moreno-Navarro Extending Constructive Logic Negation with Types |
| 16:30 - 17:00 | Coffee break |
| 17:00 - 18:00 | Session 6 |
| Session chair | Alicia Villanueva |
| 17:00 - 17:30 | Diego Cheda and Salvador Cavadini Conditional Slicing for First-Order Functional Logic Programs |
| 17:30 - 18:00 | Tommaso Flaminio and Elisa B. P. Tiezzi Metric Temporal Lukasiewicz Logic |
