ICLP Worshop on Constraint Logic Programming

Article View: comp.lang.prolog

Article #2320

#2320

From: Pascal van Hentenryck
Date: Fri, 14 Jun 1991 21:59

64 lines
2349 bytes

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).

Technical Details

Message-ID: <78531@brunix.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!caen!spool.mu.edu!uunet!brunix!cs.brown.edu!pvh

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!caen!spool.mu.edu!uunet!brunix!cs.brown.edu!pvh
From: pvh@cs.brown.edu (Pascal van Hentenryck)
Newsgroups: comp.lang.prolog
Subject: ICLP Worshop on Constraint Logic Programming
Message-ID: <78531@brunix.UUCP>
Date: 14 Jun 91 21:59:11 GMT
Sender: news@brunix.UUCP
Organization: Brown Computer Science Dept.
Lines: 64