Monday
Oct. 7

10:15am

Science Hall
107

Global Analysis of Programs
Using
Abstract Interpretation

Lecture plus half hour
demonstration. Refreshments
and conversation with the speaker at 10:15, talk begins at 10:30

Tuesday
Oct. 8

10:15am

Science Hall
107

Automatic Parallelization of Logic and Constraint Programs

Lecture plus half hour
demonstration. Refreshments
and conversation with the speaker at 10:15, talk begins at 10:30

Wednesday
Oct. 9

2.00pm

Science Hall
124

The PiLLoW/CIAO Library for Internet/WWW Programming using Computational Logic

Demonstration

Wednesday
Oct. 9

3:30pm

Corbett Center
Senate Gallery
(3rd Floor)

Funding for R&D in Information Technology within Europe: The European Union's ESPRIT Initiative

Refreshments will be served after the talk

Thursday
Oct. 10

10:15am

Science Hall
124

An Overview of the CIAO Concurrent Constraint Programming System

Lecture plus half hour
demonstration. Refreshments
and conversation with the speaker at 10:15, talk begins at 10:30