Workshop Program

The workshops will take place September 8, 2002. Many of the workshops have open attendance. Detailed descriptions and schedules for each workshop can be found by following the links below.

Workshop Chair: Peter van Beek

Note: The RCoRP'02 and the MultiCPL'02 Workshops are now joint.

Sunday - September 8
Morning session (9:00-12:30) Lunch (12:30-13:30) Afternoon session (13:30-17:00)
COSOLV'2002 Coffe (10:30-11:00) COSOLV'2002 - - - -
SymCon'02 Coffe (10:30-11:00) SymCon'02 - - - -
UICS-02 Coffe (10:30-11:00) UICS-02 - - - -
- - - - RCoRP'02
Coffe (15:00-15:30) RCoRP'02
- - - - Soft-02 Coffe (15:00-15:30) Soft-02
- - - - Reformulating CSPs Coffe (15:00-15:30) Reformulating CSPs
- - - - TRICS 2002 Coffe (15:00-15:30) TRICS 2002
Formal Verification Coffe (10:30-11:00) Formal Verification - Formal Verification Coffe (15:00-15:30) Formal Verification

Workshop Organization
COSOLV'2002: Workshop on Cooperative Solvers in Constraint Programming
Organizers: H. El Sakkout, T. Fruehwirth, L. Granvilliers, E. Monfroy, C. Ringeissen, A. Semenov
RCoRP'02: Fourth Workshop on Rule-Based Constraint Reasoning and Programming
Organizers: S. Abdennadher, T. Fruehwirth, A. Wolf
MultiCPL'02: International Workshop on Multiparadigm Constraint Programming Languages
Organizers: M. Hanus, P. Hofstedt, S. Abdennadher
Soft-02: Fourth International Workshop on Soft Constraints
Organizers: S. Bistarelli, J. Larrosa, T. Schiex
SymCon'02: Second International Workshop on Symmetry in Constraint Satisfaction Problems
Organizers: P. Flener, J. Pearson
UICS-02: Second International Workshop on User-Interaction in Constraint Satisfaction
Organizers: B. O'Sullivan, E. C. Freuder
International Workshop on Reformulating Constraint Satisfaction Problems:
Towards Systematisation and Automation
Organizers: A. M. Frisch, M. Cadoli, P. Flener, E. Freuder, J. Lee, I. Miguel, P. Prosser, T. Walsh
TRICS 2002: Techniques foR Implementing Constraint programming Systems
Organizers: N. Beldiceanu, P. Brisset, M. Carlsson, M. Henz, E. Monfroy, F. Laburthe, L. Perron and C. Schulte
First International Workshop on Constraints in Formal Verification
Organizers: J. Marques-Silva, P. Jackson, K. Sakallah, T. Walsh