RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
WFLP'03
12th Int'l Workshop on Functional and (Constraint) Logic Programming
Valencia, Spain, June 12-13, 2003


PRELIMINARY PROGRAM

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
8 9 10 11 12 13 14
09:00 - 10:00 Session 1 Session 6
10:00 - 11:00 Session 2 Session 7
11:00 - 11:30 Coffee break Coffee break
11:30 - 13:00 Session 3 Session 8
13:00 - 15:00 Lunch Lunch
15:00 - 16:30 Session 4 Session 9
16:30 - 17:00 Coffee break Coffee break
17:00 - 19:00 Session 5 Session 10

    Workshop Room:
    Ground Floor - ´Sala de Grados´

    Equipped with:
    1. a blackboard (or similar),
    2. an overhead projector,
    3. a video projector (for laptops),
    4. a PC running under Windows with
      • Adobe Acrobat Reader 5.0, and
      • MS PowerPoint 2000 installed.

 

Thursday, June 12


09:00 - 10:00 Session 1
Workshop room: Ground Floor - ´Sala de Grados´
09:00 - 10:00 Automated Analysis of Security Protocols (INVITED TALK)
Michael Rusinowitch
10:00 - 11:00 Session 2 - Debugging and Verification I
Workshop room: Ground Floor - ´Sala de Grados´
10:00 - 10:30 Abstract Correction of Functional Programs
M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, and S. Lucas
10:30 - 11:00 Runtime Verification of Concurrent Haskell
V. Stolz and F. Huch
11:00 - 11:30Coffee break
11:30 - 13:00Session 3 - Functional Logic Programming I
Workshop room: Ground Floor - ´Sala de Grados´
11:30 - 12:00 A Monadic Semantics for Core Curry
A. Tolmach and S. Antoy
12:00 - 12:30 Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing
S. Escobar
12:30 - 13:00 Functional Logic Programming with Failure and Built-in Equality
F.J. López-Fraguas and J. Sánchez-Hernández
13:00 - 15:00Lunch
15:00 - 16:30 Session 4 - Language Design
Workshop room: Ground Floor - ´Sala de Grados´
15:00 - 15:30 Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks
P. Hofstedt and A. Metzner
15:30 - 16:00 Towards Translating Embedded Curry to C
M. Hanus, K. Höppner and F. Huch
16:00 - 16:30 Towards a Mobile Haskell
A.R. Du Bois, P. Trinder, and H.W. Loidl
16:30 - 17:00Coffee break
17:00 - 18:30 Session 5 - Implementation and Transformation
Workshop room: Ground Floor - ´Sala de Grados´
17:00 - 17:30 Refined Definitional Trees and Prolog Implementations of Narrowing
P. Julian
17:30 - 18:00 A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations
G. Moreno
18:00 - 18:30 A Memoization Technique for Functional Logic Languages
S. España and V. Estruch

Friday, June 13


09:00 - 10:00 Session 6
Workshop room: Ground Floor - ´Sala de Grados´
09:00 - 10:00 On Integrating Rules into the Semantic Web (INVITED TALK)
Jan Maluszynski
10:00 - 11:00 Session 7 - Constraints
Workshop room: Ground Floor - ´Sala de Grados´
10:00 - 10:30 Integrating Finite Domain Constraints and CLP with Sets
A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi
10:30 - 11:00 Constructive Intensional Negation: A Practical Implementation
S. Muñoz, J.J. Moreno-Navarro, and J. Mariño
11:00 - 11:30Coffee break
11:30 - 13:00 Session 8 - Functional Logic Programming II
Workshop room: Ground Floor - ´Sala de Grados´
11:30 - 12:00 A Demand Narrowing Calculus with Overlapping Definitional Trees
R. del Vado Vírseda             Best Newcomer Award!
12:00 - 12:30 Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
N. Nishida, M. Sakai, and T. Sakabe
12:30 - 13:00 A Safe Relational Calculus for Functional Logic Deductive Databases
J.M. Almendros-Jiménez and A. Becerra-Terán
13:00 - 15:00Lunch
15:00 - 16:30 Session 9 - Debugging and Verification II
Workshop room: Ground Floor - ´Sala de Grados´
15:00 - 15:30 Automatic Visualization of Recursion Trees: a Case Study on Generic Programming
A. Cunha
15:30 - 16:00 Cost-Sensitive Debugging of Declarative Programs
D. Ballis, M. Falaschi, C. Ferri, J. Hernández-Orallo, and M.J. Ramírez-Quintana
16:00 - 16:30 Model Checking Erlang Programs: LTL-Propositions and Abstract Interpretation
F. Huch
16:30 - 17:00Coffee break
17:00 - 19:00 Session 10 - Applications
Workshop room: Ground Floor - ´Sala de Grados´
17:00 - 17:30 Open System to Support Web-based Learning
M. Hanus and F. Huch
17:30 - 18:00 Graphical Representations and Infinite Virtual Worlds in a Logic and Functional Programming Course
J.E. Labra Gayo
18:00 - 18:30 Handling quantifiers in Relational Data Mining
D. Lorenzo
18:30 - 18:45 A Web Oriented System for Equational Solving
N. Kobayashi, M. Marin, and T. Ida

End of WFLP'03                                                                                                                                                                                                                


Last update May 2003 #
sescobar@dsic.upv.es