UNIF'99 Program

Monday

10:00 - 10:50

Coffee and Welcome

10:50 - 11:25

Stephan Kepser: Properties of Amalgamation Constructions

10:25 - 12:00

Claude Kirchner: Introduction to the Rewriting Calculus

12:00 - 14:00

Lunch

14:00 - 14:35

Marko Schütz: Demand Analysis of Functional Programs

14:35 - 15:10

Matthias Mann: Equality of Functional Programs

15:10 - 15:40

Coffee

15:40 - 16:40

Business Meeting

16:40 - ??:??

Excursion: A guided walk through downtown Frankfurt with some sightseeing, thereafter dinner in an apple wine place. (Apple wine is very typical for Frankfurt.)

Tuesday

9:00 - 9:30

Coffee

9:30 - 10:05

Libor Polak: Unification in Varieties of (Unary) Semigroups

10:05 - 10:40

Coffee

10:40 - 11:15

Manfred Schmidt-Schauß: On Bounded Second Order Unification

11:15 - 11:50

Christopher Lynch: A Halting E-Unification Procedure for some Unitary

11:50 - 14:30

Lunch


[Past UNIF meetings] [UNIF main page]
This page compiled from material provided by Marko Schütz.
Ralf Treinen
November 24, 2000