Student Session 1
| 11:30-13:00 | Student Session 2
|
| 14:30-16:00 | Combining Constraint Solving 1
|
| 16:30-18:00 | Functional and Constraint Logic Programming 1
|
Wed, 8/9 | 9:30-11:00 | Concurrent Constraint Programming based on
Functional Programming 2
|
| 11:30-13:00 | Constraints and Theorem Proving 2
|
| 14:30-16:00 | Combining Constraint Solving 2
|
| 16:30-18:00 | Functional and Constraint Logic Programming 2
|