| Stephan Kepser |
Properties of Amalgamation Constructions |
| Claude Kirchner |
Introduction to the Rewriting Calculus |
| Christopher Lynch |
A Halting E-Unification Procedure for some Unitary |
| Matthias Mann |
Equality of Functional Programs |
| Libor Polak |
Unification in varieties of (unary) semigroups |
| Manfred Schmidt-Schauß |
On Bounded Second Order Unification |
| Marko Schütz |
Demand Analysis of Functional Programs |
| Ralf Treinen |
no talk |
| Marisa Venturini Zilli |
no talk |