WFLP 2006 - Program


Madrid, Spain - November 16th ~ 17th, 2006
Facultad de Informática - Universidad Complutense de Madrid

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
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
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
16:30 ~ 16:35
Closing

Download WFLP 2006 Program in PDF