Constraint Programming 98 (CP98)
                                    
                           Joint Workshop on
   Modeling and Computing with Concurrent Constraint Programming (W1)
                                  and
       Set Constraints and Constraint-Based Program Analysis (W5)

                        Friday October 30, 1998



09:00 -- 10:30   Plenary Session 

   Tutorial 1: A Generic Algorithm for Analysis and Verification
       Joxan Jaffar
   Constraint-Based Debugging of CLP programs
       Claude Lai and Jean-Francois Pique
   Closed-Form Evaluation and Abstraction for Parametric Timed Automata
       Beatrice Berard and Laurent Fribourg 

10:30 -- 11:00   Coffee Break  

11:00 -- 12:30   Plenary Session 

   Tutorial 2: Constraint-Based Analysis of Object-Oriented Languages
       Jacob Rehof
   Type Constraints as a Semantic Characterization of Type Systems
       Luis Damas and Mario Florido
   Multiset-based Analysis for Concurrent Object-Oriented
   Programming Languages
       Jean-Louis Colaco, Marc Pantel and Patrick Salle 


12:30 -- 14:00   Lunch  

14:00 -- 16:00   Session A: Concurrent Constraint Programming  

   An Attribute Grammar Modelling for Generating CCLP Languages
       Aggelos M. Thanos and G. Papakonstantinou
   A Simulator for Concurrent Constraint Languages
       Tatyana Valkevych, David Gilbert and Alexander Letichevsky
   Efficient Logic Variables for Distributed Computing
       Seif Haridi, Peter Van Roy and Per Brand, Michael Mehl,
       Ralf Scheidhauer and Gert Smolka
   Excluding Symmetries in Concurrent Constraint Programming
       Rolf Backofen and Sebastian Will 

14:00 -- 16:00   Session B: Set Constraints 

   Tutorial 3: Tarskian Set Constraints
       Leszek Pacholski
   Set Constraints and Topology 
       Frank Seynhaeve
   Relating Set Constraints and CLP(Sets)
       Agostino Dovier, Carla Piazza and Gianfranco Rossi
   A Hybrid Representation for Set Constraint Satisfaction Problems
       Vincent Thornary and Jeroome Gensel 

16:00 -- 16:30   Coffee Break  

16:30 -- 18:00   Plenary Session  

   Tutorial 4: Pre vs. Post Conditions in CLP-based Program Analysis
       Andreas Podelski
   Modeling an AERCam: A Case Study in Modeling with cc Languages
       Lars Alenius and Vineet Gupta
   Discussion: Constraints for Modeling, Programming and Analyzing--a
   research field within, or outside of Constraint Programming?