This workshop promotes research and collaboration in the area of unification theory and related fields, including constraint solving and applications of unification to theorem proving and programming languages. It encourages the presentation of new directions, developments and results, as well as tutorials on existing knowledge in this area.
The first International Workshop on Unification took place in 1987, and since then the workshop has run every year, serving as a forum for researchers to present recent (even unfinished) work, and to discuss new ideas and trends. Information about past UNIF workshops can be found in the Unification Home Page.
More information can be found here.
- Claude Kirchner, INRIA Bordeaux-SudOuest, France
- Christian Urban, Technical University Munich, Germany