| 8.00-8:30 | Registration |
| Session 1 | |
| 8.30-9.00 | Ignacio Castiñeiras Pérez and Rafael del Vado Vírseda |
| A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions | |
| 9.00-9.30 | Yuki Kato and Koji Nakazawa. |
| Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types | |
| 9.30-10.00 | Manuel Hernandez. |
| A Taxonomy of Some Right-to-Left String-Matching Algorithms | |
| 10.00-10.30 | Manuel Montenegro, Ricardo Peña and Clara Segura. |
| A Simple Region Inference Algorithm for a First-Order Functional Language | |
| 10.30-11.00 | Coffee Break |
| Session 2 | |
| 11.00-12.00 | Claude Kirchner (Invited speaker). |
| Strategic Deduction | |
| 12.00-12.30 | Andre Rauber du Bois, Gerson Cavalheiro and Juliana Vizzotto. |
| pFun: A semi-explicit parallel purely functional language | |
| 12.30-13.00 | Petra Hofstedt and Kazunori Ueda. |
| Realizing Multiparadigm Programming based on Hierarchical Graph Rewriting | |
| 13.00-14.30 | Lunch Time |
| Session 3 | |
| 14.30-15.00 | Stephan Falke and Deepak Kapur. |
| Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures | |
| 15.00-15.30 | Makoto Hamana. |
| Semantic Labelling for Proving Termination of Combinatory Reduction Systems | |
| 15.30-16.00 | Michael Leuschel, Salvador Tamarit and German Vidal. |
| Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation | |
| 16.00-16.30 | Coffee Break |
| Session 4 | |
| 16.30-17.30 | Roberto Ierusalimschy (Invited speaker). |
| Programming with Multiple Paradigms in Lua | |
| 17.30-17.40 | Break |
| Session 5 | |
| 17.40-18.10 | Francisco Javier López-Fraguas, Enrique Martín-Martín and Juan Rodríguez-Hortalá. |
| Advances in type systems for Functional-Logic Programming | |
| 18:10-18:40 | Javier Álvez and Francisco Javier López-Fraguas. |
| A Complete Axiomatization of Strict Equality over Infinite Trees | |
| 18:40-19:10 | Nacho Castiñeiras and Fernando Sáenz. |
| Integrating ILOG CP technology into TOY | |
| 19.10-19:30 | Business Meeting |
| 19:30 | Closing |
