| 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.) |
| 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 |