UNIF 2010: July 14

24th International Workshop on Unification

associated with IJCAR and RTA


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.


Invited Talks

Program Chairs

Maribel Fernandez, King's College London, Dept. of Computer Science, United Kingdom

Program Committee:

Temur Kutsia, Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria
Jordi Levy, IIIA - CSIC, Spain
Christopher Lynch, Clarkson University, United States
Catherine Meadows, NRL, United States
Gianfranco Rossi, Universita' di Parma, Italy
Laurent Vigneron, LORIA - Nancy University, France