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

Call for participation (.ps)

Program

Participants

Purpose

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:

• Unification algorithms
• Narrowing
• Higher order Unification
• Modular Unification
• E-unification
• Disunification
• Typed Unification
• Constraint resolution
• Unification Calculi
• Applications
• Implementations

Talks will be 15 or 30 minutes long.

Registration

Please send your registration before end of April 1999 to indicating

• full name and address
• whether you intend to give a talk

If you intend to give a talk, please send the following to before end of May 1999

• title, length of talk: short or long
• abstract of your talk of approx 3 pages postscript and latex2e file with all non standard macros included

Note: the number of participants is limited to around 50. The fee will be around DM 100,- including coffee breaks and lunch.

Accomodation

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.

Organization

• Manfred Schmidt-Schauß (Chair) - Fachbereich Informatik
• Marko Schütz - Fachbereich Informatik