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. It is also a good opportunity for young researchers and researchers working in related areas to get an overview of the current state of the art in unification theory.
Submissions: | April 4, 2010 |
Notification: | April 25, 2010 |
Event: | July 14, 2010-July 14, 2010 |