The aim of UNIF 2001, as that of the previous meetings, is to
to bring together people interested in
unification, present recent (even unfinished) work, and discuss new
ideas and trends in unification and related fields.
In particular, it is intended to offer a good opportunity for young researches and researchers working in related areas to get an overview of the current state of the art in unification theory and get in contact with the experts in the field.
Traditionally, unification is understood in a rather broad sense at UNIF, also encompassing such topics as constraint solving and type checking. The topics of the workshop include, but are not limited to:
|Franz Baader||(RWTH Aachen, Germany)|
|Volker Diekert||(Universität Stuttgart, Germany)|
|Cesare Tinelli||(University of Iowa, USA)|
|Ralf Treinen||(Université de Paris-Sud, France)|