UNIF 2013 is the 27th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of identifying terms, finding solutions for equations or making formulae equivalent. The aim of UNIF 2013, as that of the previous meetings, is to bring together researchers from different areas of computer science and logic, who are interested in unification theory and related topics, to present recent (even unfinished) work, and discuss new ideas and trends in this and related fields.

The meeting will consist of invited and contributed talks, but also provide ample time for informal discussions.

This year's UNIF is associated with the 24th RTA conference, which is part of RDP 2013, Eidenhoven, The Netherlands,
June 23 to June 28, 2013.

Topics of Interest

A non-exhaustive list of topics of interest:

Submission Details

Submissions should not exceed 5 pages in LNCS style. Papers should be submitted in PDF- or PS-format through EasyChair.

Call for papers