Call for Papers

UNIF 2010  

24th International Workshop on Unification
14 July 2010
A FLoC workshop associated to RTA and IJCAR.

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. Information about past UNIF workshops can be found in the Unification Home Page.


Topics of interest include, but are not restricted to:
  • General E-unification and calculi
  • Narrowing
  • Matching algorithms
  • Special unification algorithms
  • Higher-order and nominal unification
  • Constraint solving
  • Disunification
  • Combination problems
  • Complexity analysis
  • Implementation techniques
  • Applications: type checking and reconstruction, automated theorem proving, programming language design, etc.
System descriptions and demonstrations are also welcome.


The submission is in two stages.
1)Before the workshop, authors are invited to submit an abstract (max. 5 pages) in pdf format, using the Easychair submission site. Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop.
2) After the workshop, authors will be invited to submit a paper based on their presentation, which will be refereed for inclusion in the final workshop proceedings. We plan to publish the final proceedings in EPTCS.

We also invite authors to submit a 5 page abstract describing relevant work that has been or will be published elsewhere, or work in progress. Submissions in this class will be only considered for presentation at the workshop and inclusion in the preliminary proceedings but not in the final proceedings.


  • Submission: 4 April 2010 (extended)
  • Notification: 25 April 2010
  • Preliminary proceedings version due: 16 May 2010
  • Workshop: 14 July 2010
  • Submission for final proceedings: 12 September 2010
  • Notification: 7 November 2010
  • Final version: 5 December 2010

  • The call for papers can be found here.


  • Claude Kirchner, France
  • Christian Urban, Germany

    Maribel Fernández, UK (chair)
    Temur Kutsia, Austria
    Jordi Levy, Spain
    Christopher Lynch, US
    Cathy Meadows, US
    Gianfranco Rossi, Italy
    Laurent Vigneron, France


    For further information please contact
    Maribel Fernandez
    King's College London, UK