Speaker: George M. White, University of Ottawa
Time:    Wednesday, March 13, 1:00 p.m.
Place:   room: MCD 318, SITE, University of Ottawa
Title:   Scheduling and Timetabling Through Constraint Logic Programming

Abstract:
      This talk will consist of a gentle introduction to constraint logic
programming by showing how a variety of programs can be formulated through
the use of first order logic. This will be followed by a overview of the
known algorithms that can solve (or partially solve) problems formulated
in this way. The algorithms can be programmed in procedure oriented
languages or in special purpose constraint programming languages and
language systems. Finally some applications of this approach to solving
problems in scheduling and timetabling will be discussed and demonstrated.