UNIF 2000

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 <clynch@clarkson.edu> or Paliath Narendran <dran@cs.albany.edu> by the end of April, indicating

1. full name and address
2. whether you intend to give a talk

Chris Lynch <clynch@clarkson.edu> or Paliath Narendran <dran@cs.albany.edu> by May 20, 2000:

1. Title, length of talk (short or long)
2. 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 registration page On-Line Registration. 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).

Purpose

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

Organizers

Chris Lynch <clynch@clarkson.edu>
Paliath Narendran <dran@cs.albany.edu>

[ Home | Program ]
[ CADE-17 | On-Line Registration ]

www.cs.cmu.edu/~unif