ICLP'93 Workshop on CONCURRENT CONSTRAINT PROGRAMMING 
Author Message
 ICLP'93 Workshop on CONCURRENT CONSTRAINT PROGRAMMING

***************************************************************************
                         Program of the

               ICLP'93 Post-Conference Workshop on

                CONCURRENT CONSTRAINT PROGRAMMING

                   Budapest, June 24-25, 1993

THURSDAY, June 24:

14.00  Opening

14.05  Survey of AKL
       Seif Haridi, Sverker Janson, Johan Montelius
       (SICS, Kista)

14.35  Survey of LIFE
       Hassan Ait-Kaci, Andreas Podelski, Peter Van Roy
       (DIGITAL, Paris)

15.05  Survey of Oz
       Gert Smolka
       (DFKI, Saarbr"ucken)

15.35  BREAK

16.00  Aspects of Constraint Solving for AKL
       Bj"orn Carlson, Sverker Janson and Johan Montelius
       (SICS, Kista)

16.30  Optimization techniques for nondeterministic promotion in AKL
       Remco Moolenaar and Bart Demoen
       (Leuven)

17.00  Towards abstract Interpretation of AKL
       Dan Sahlin and Thomas Sj"oland
       (SICS, Kista)

17.30  Herbrand Constraints
       Torbj"orn Keisu
       (SICS, Kista)

FRIDAY, June 25:

8.30   The Beauty and the Beast Algorithm: Testing Entailment and
       Disentailment Incrementally
       Andreas Podelski, Peter Van Roy
       (Digital, Paris)

9.00   Independence in constraint logic programs
       M. Garcia de la Banda, M. Hermenegildo, K. Marriott
       (Madrid and Monash)

9.30   Boolean constraint solving using clp(FD)
       P. Codognet and D. Diaz
       (INRIA, Rocquencourt)

10.00  BREAK

10.30  Contextual Nets and Constraint Logic Programming
       U. Montanari and F. Rossi (Pisa)
       F. Bueno, M. Garcia de la Banda and  M. Hermenegildo (Madrid)

11.00  Object-Oriented Concurrent Constraint Programming in Oz
       Christian Schulte and Gert Smolka
       (DFKI, Saarbr"ucken)

11.30  Order-sorted Feature Theory Unification
       Hassan Ait-Kaci, Andreas Podelski, Seth C. Goldstein
       (Digital, Paris; Berkeley)

12.00  END OF WORKSHOP

***************************************************************************

If you have any questions concerning this workshop, send mail to

***************************************************************************

Gert Smolka, DFKI, Stuhlsatzenhausweg 3, D-W-6600 Saarbr"ucken, Germany



Wed, 01 Nov 1995 01:25:01 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. ICLP'93 Workshop: CONCURRENT CONSTRAINT PROGRAMMING

2. Proceedings Concurrent Constraint Workshop (ICLP'93)

3. ICLP'93 Workshop: Concurrent Constraints

4. ICLP'93 WORKSHOP: Concurrent, Distributed and Parallel Implementations of Logic Programming Systems

5. ICLP'93 Workshop: Concurrent Implementations

6. ICLP'93 Workshop: Logic Programming With Sets

7. ICLP'93 Workshop: LOGIC PROGRAMMING WITH SETS

8. ICLP'93 Workshop: Blackboard-based Logic Programming

9. ICLP'91 Workshop on Concurrent Logic Programming

10. ICLP'91 Workshop on Constraint Logic Programming

11. ICLP'93 - Postconference Workshop on CCP (Reposting)

12. ICLP'93 Workshop: Deductive Databases

 

 
Powered by phpBB® Forum Software