pvh@cs.brown.edu (Pascal van Hentenryck) (06/15/91)
ICLP Workshop on Constraint Logic Programming (Preliminary Schedule)
=====================================================================
9.00 - 10.00: Hierarchical Constraint Programming
----------------------------------------------------
Computing Soft Constraint by Hierarchical Constraint Logic Programming
Satoh and Aiba (ICOT, Japan)
An Efficient Solver for HCLP(R)
De Bakker and Beringer (IBM, France)
10.00 - 10.30: Morning Break
----------------------------
10:30 - 12.00: Implementation
------------------------------
Analysing and Implementing Constraint Logic Programming using Prolog Technology
Garcia de la Banda, Hermenegildo (Madrid, Spain)
Fido: Consistency Techniques in Logic Programming
Meyer, Hein, Muller (DFKI and Kaiserlautern, Germany)
"Dangers of Constraints over the Reals"
Martin Nilsson, (SICS, Sweden)
12.00 - 13.00: Applications
----------------------------
Seve: A Portfolio Planning System
Berthier (CDC, France)
Recognition in Constraint-based Reasoning
Enrico Maim (Syseca, France)
13.00 - 14.00: Lunch Break
---------------------------
14:00 - 16:00: Extensions
--------------------------
Higher-order Concurrent Constraint Programming
Saraswat (Xerox Parc, USA)
Domain-Independent Propagation
Le Provost, Wallace (ECRC, Germany)
Constraints Unify Functional and Logic Programming
John Darlington Yike Guo and Helen Pull (Imperial College, UK)
cc(FD): Constraint Programming over Finite Domains
Van Hentenryck (Brown, USA), Saraswat (Xerox Parc, USA)
16:00 - 16:30: Afternoon Break
------------------------------
16.30 - 17.30: Open Discussion
------------------------------
===============================================================================
Those interested in participating may register through the conference or
by contacting Pascal Van Hentenryck (pvh@cs.brown.edu).