Proofs & Programs 1995
LEGO-Summerschool in Hetzelsdorf
- Programme -

Monday, 14th August

09:00 Stroup: Welcome

09:15 Luo: An introduction to type theory and LEGO

10:15 Coffee break

10:45 Terminal session

12:30 Lunch

14:30 Ritter: Dependent types and the categorical machine

15:30 Coffee break

16:00 Terminal session

19:00 Dinner

Tuesday, 15th August

9:00 Luo: Data Refinement

10:00 Coffee break

10:30 Terminal Session

12:30 Lunch

14:30 Schreiber: Imperative programs

15:30 Coffee break

16:00 Terminal session

19:00 Dinner

Wednesday, 16th August

9:00 Luo: Operational semantics and concurrency

10:00 Coffee break

10:30 Terminal Session

12:30 Lunch

14:00 Excursion to the Fränkische Schweiz

Thursday, 17th August

9:00 Pollack: Lambda-calculus and type theory formalized

10:00 Coffee break

10:30 Terminal Session

12:30 Lunch

14:30 Naraschewski: Object-oriented proving

15:30 Coffee break

16:00 Terminal session

19:00 Dinner

Friday, 18th August

9:00 Terminal Session

10:00 Coffee break

10:30 Plenum discussion

12:00 Lunch