13th International Workshop on Unification
The 13th International Workshop on Unification (Unif '99 for short) will be held June 28-30, 1999 at the Gästehaus der J.W. Goethe Universität, Frauenlobstraße 1, Frankfurt, Germany. (See here for maps and directions.)
Unif '99 is the 13th in the series of international meetings of which the last three were located in Germany (1996), France (1997) and Italy (1998).
The aim of UNIF'99, as that of the previous meetings, is to bring together people interested in this field, to discuss new ideas and trends about unification and its extensions.
This meeting is open to people interested in other related areas, who could profit of this opportunity to have an overview of the state of the art in this research area.
The topics of the workshop include, but are not limited to:
Talks will be 15 or 30 minutes long.
Please send your registration before end of April 1999 to indicating
If you intend to give a talk, please send the following to before end of May 1999
Note: the number of participants is limited to around 50. The fee will be around DM 100,- including coffee breaks and lunch.
We have made arrangements with the following hotels. The rooms are reserved with the name of the workshop. Guests will have to book directly at least 4 weeks before the workshop in their own name mentioning the name of the workshop for the workshop price.
The hotels (except Ibis) are all in the vincinity of the university and the FB Informatik and about a 10 minute walk from Frauenlobstraße.
The hotel Ibis is located directly at the subway station "Industriehof", where the U6 and U7 stop. Both take you directly to the station "Bockenheimer Warte/Universität". From there it is a 5 minute walk to Frauenlobstraße.