| TUESDAY, 24 August 2004 | |
|---|---|
| 9:00 | PLENARY INVITED TALK: Towards Declarative Programming for Web Services Sheila McIlraith |
| 10:00 | COFFEE |
| 10:30 | A Logic Programming Approach to the Verification of Functional-logic Programs Jose Miguel Cleva, Javier Leach, Francisco J.Lopez-Fraguas |
| 11:00 | Model Checking Object Petri Nets in Prolog Berndt Farwer, Michael Leuschel |
| 11:30 | |
| 12:00 | LUNCH |
| 14:00 | A Lazy Narrowing Calculus for Declarative Constraint Programming F.J.Lopez-Fraguas, M.Rodriguez-Artalejo, R.del Vado-Virseda |
| 14:30 | Providing Declarative Semantics for HH Extended Constraint Logic Programs Miguel Garcia-Diaz, Susana Nieva |
| 15:00 | Constraint-set Satisfiability for Overloading Carlos Camarao, Lucilia Figueiredo, Cristiano Vasconcellos |
| 15:30 | COFFEE |
| 16:00 | Just Enough Tabling Konstantinos Sagonas, Peter J.Stuckey |
| 16:30 | Semi-naive Evaluation in Linear Tabling Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
| 17:00 | Active Integrity Constraints Ester Zumpano, Sergio Flesca, Sergio Greco |
| WEDNESDAY, 25 August 2004 | |
| 9:00 | PLENARY INVITED TALK: Program Generators and the Tools to Make Them Yannis Smaragdakis |
| 10:00 | COFFEE |
| 10:30 | Adventures in Interoperability: The SML.NET Experience Nick Benton, Andrew Kennedy, Claudio Russo |
| 11:00 | New Completeness Results for Lazy Conditional Narrowing Mircea Marin, Aart Middeldorp |
| 11:30 | Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with beta-Reduction Sebastien Carlier, J.B.Wells |
| 12:00 | LUNCH |
| 14:00 | Formalization and Abstract Implementation of Rewriting with Nested Rules Sergio Antoy, Stephen Johnson |
| 14:30 | Characterizing Strong Normalization in a Language with Control Operators Dan Dougherty, Silvia Ghilezan, Pierre Lescanne |
| 15:00 | An Imperative Rewriting Calculus Luigi Liquori, Bernard Paul Serpette |
| 15:30 | COFFEE |
| 16:00 | A Semantics for Tracing Declarative Multi-Paradigm Programs B. Brassel, M. Hanus, F. Huch, G. Vidal |
| 16:30 | A Compositional Logic for Polymorphic Higher-Order Functions Kohei Honda, Nobuko Yoshida |
| 17:00 | Scheme Fair Threads Manuel Serrano, Frederic Boussinot, Bernard Serpette |
| THURSDAY, 26 August 2004 | |
| 9:00 | PLENARY INVITED TALK: Injecting Life with Computers Udi Shapiro |
| 10:00 | COFFEE |
| 10:30 | Nominal Rewriting Systems Maribel Fernandez, Murdoch J.Gabbay, Ian Mackie |
| 11:00 | JIAD: A Tool to Infer Design Patterns in Refactoring
J.Rajesh, D.Janakiram |
| 11:30 | Event Choice Datalog: A Logic Programming Language for Reasoning in Multiple Dimensions
Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello |