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
| 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 and MultiCPL'02 |
Coffe (15:00-15:30) |
RCoRP'02 and MultiCPL'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 |