14th International Workshop on Unification
June 16, 2000
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA
Co-Located with CADE-17
If you intend to come, send an email to Chris Lynch <firstname.lastname@example.org> or Paliath
by the end of April, indicating
- full name and address
- whether you intend to give a talk
Chris Lynch <email@example.com> or Paliath
by May 20, 2000:
- Title, length of talk (short or long)
- Abstract of your talk (approx 3 pages), PostScript and
LaTeX2e file with all non-standard macros
You must register for UNIF and for accommodations through the CADE
You may register only for UNIF, or you can register for UNIF and CADE.
The deadline for early registration is May 26.
This workshop is the 14th of a series of international meetings.
The last four meetings took place in Germany (1996),
France (1997), Italy (1998) and Germany (1999).
The aim of UNIF'2000, 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 from the 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
- Higher Order Unification
- Modular Unification
- Typed Unification
- Constraint Resolution
- Unification Calculi
Talks will be 15 or 30 minutes long.
Chris Lynch <firstname.lastname@example.org>
Paliath Narendran <email@example.com>
| On-Line Registration