Final Program

Wednesday, September 27

09.00-09.30 Registration and Opening

09.30-10.30 Invited Talk

10.30 Coffee Break

11.00-12.30 Constraint Logic Programming

12.30 Lunch

14.00-15.30 Theorem Proving

15.30 Coffee Break

16.00-17.30 Types and Analysis

17.30-18.30 GLP Meeting

Thursday, September 28

09.00-10.00 Invited Talk

10.00-10.30 Constraint Logic Programming

10.30 Coffee Break

11.00-12.30 Constraint Logic Programming

12.30 Lunch

14.00-15.30 Natural Language and Program Transformations

15.30 Coffee Break

16.00-17.00 Implementation and Verification

19.00 Workshop Dinner

Friday, September 29

09.00-10.00 Invited Talk

10.00-10.30 Theorem Proving

10.30 Coffee Break

11.00-12.30 Semantic


Last change by Andi Krall on September 21 1995.