International Summer School on Constraints in Computational Logic

Schedule

Arrival and Departure

Participants staying at the CNRS center in Gif have to arrive on Saturday, September 4. Participants staying elsewhere should plan ahead to arrive in time on Sunday morning. Travel time by RER from Paris (St. Michel) to Gif is about 40 minutes, expect 15 minutes to walk from the Gif station to the school location.

Social Event

As a social event we will have a dinner on Sunday evening in a local restaurant. The restaurant is in walking distance from school location and from the station.

Course Schedule

Sun, 5/99:25-9:30Welcome
9:30-11:00Introduction 1
11:30-13:00Introduction 2
14:30-16:00Constraint Solving on Terms 1
16:30-18:00Building Industrial Applications With Constraint Programming 1
Mon, 6/99:30-11:00Constraint Solving on Terms 2
11:30-13:00Building Industrial Applications With Constraint Programming 2
14:30-16:00Concurrent Constraint Programming based on Functional Programming 1
16:30-18:00Constraints and Theorem Proving 1
Tue, 7/99:30-11:00Student Session 1
11:30-13:00Student Session 2
14:30-16:00Combining Constraint Solving 1
16:30-18:00Functional and Constraint Logic Programming 1
Wed, 8/99:30-11:00Concurrent Constraint Programming based on Functional Programming 2
11:30-13:00Constraints and Theorem Proving 2
14:30-16:00Combining Constraint Solving 2
16:30-18:00Functional and Constraint Logic Programming 2

ccl99@lri.fr
CCL'99 main page
Last change: Aug 16, 1998.