| Thursday, September 29 | |
| Session 1 (Chair: Michael Hanus) | |
| 9.15-9.30 | Opening |
| 9.30-10.30 | Claudio Ochoa, Josep Silva and Germán Vidal Lightweight Program Specialization via Dynamic Slicing |
| Rafael Caballero A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs | |
| 10.30-11.00 | Coffee |
| Session 2 (Chair: Germán Vidal) | |
| 11.00-12.30 | Julio Mariño and Jose Maria Rey Adding Constraints to Curry via Flat Guards |
| Sonia Estevez Martin and Rafael del Vado Virseda Designing an Efficient Computation Strategy in CFLP(FD) Using Definitional Trees | |
| Jesus M. Almendros-Jimenez Constraint Logic Programming over Sets of Spatial Objects | |
| 12.30-14.30 | Lunch |
| Session 3 (Chair: Julio Mariño) | |
| 14.30-16.00 | Michael Hanus A Generic Analysis Environment for Declarative Programs |
| J. Guadalupe Ramos, Josep Silva and Germán Vidal An Offline Partial Evaluator for Curry Programs | |
| Sebastian Fischer A Functional Logic Database Library | |
| 16.00-16.30 | Coffee |
| Session 4 (Chair: Francisco J. López-Fraguas) | |
| 16.30-18.00 | Bernd Braßel and Frank Huch Translating Curry To Haskell |
| Emilio Gallego and Julio Mariño An Overview of the Sloth2005 Curry System | |
| Individual system demonstrations, closing | |