| Nov 16th (Thursday) | Nov 17th (Friday) |
|---|---|
|
09:25 ~ 09:30
Opening
|
|
|
09:30 ~ 10:30
Session 1 - Invited talk
José Meseguer (Univ. Illinois at Urbana)
Narrowing and Rewriting Logic: from Foundations to Applications |
09:30 ~ 10:30
Session 5 - Invited talk
Peter Padawitz (Univ. Dortmund)
Expander2: Program verification between interaction and automation |
| Coffee Break | |
|
11:00 ~ 13:00
Session 2 - Debugging
Reporting Failures in Functional Logic Programs
Michael Hanus
Algorithmic Debugging of Java Programs
Rafael Caballero-Roldán, Christian Hermanns and Herbert Kuchen
The Interactive Curry Observation Debugger COOiSY
Parissa H. Sadeghi and Frank Huch |
11:00 ~ 12:00
Session 6 - Functional and Logic programming
Using Template Haskell for Abstract Interpretation
Clara María Segura Díaz and Carmen Torrano
Temporal Contextual Logic Programming
Vitor Nogueira and Salvador Abreu |
|
12:00 ~ 13:00
WFLP06 Meeting
|
|
| Lunch | |
|
15:00 ~ 16:00
Session 3 - Program transformation
Static Slicing of Rewrite Systems
Diego Cheda, Josep Silva and Germán Vidal
A Study on the Practicality of Poly-Controlled Partial Evaluation
Claudio Ochoa and Germán Puebla |
15:00 ~ 16:30
Session 7 - Constraint programming
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme
Sonia Estevez Martín, Antonio J. Fernández, Teresa Hortalá González, Mario Rodríguez Artalejo and Rafael del Vado Vírseda
Programmed Search in a Timetabling Problem over Finite Domains
Ramón González-del-Campo and Fernando Sáenz-Pérez
A Proposal for Disequality Constraints in Curry
Emilio Jesús Gallego Arias, Julio Mariño and José María Rey Poza |
| Coffee Break | |
|
16:30 ~ 18:00
Session 4 - Implementation
Implementing Dynamic-Cut in Toy
Rafael Caballero-Roldán and Yolanda García-Ruiz
Implementing Relational Specifications in a Constraint Functional Logic Language
Rudolf Berghammer and Sebastian Fischer
Lazy Database Access with Persistent Predicates
Sebastian Fischer |
16:30 ~ 16:35
Closing
|