UNIF Call for Papers

UNIF 2014 – The 28th International Workshop on Unification
July 13, 2014 · Vienna, Austria

a FLoC workshop hosted by RTA-TLCA and IJCAR


Important Dates

Paper submission April 16, 2014  April 23, 2014 (extended)
Notification May 21, 2014
Final versions May 28, 2014
Workshop July 13, 2014

Aims and Scope

UNIF 2014 is the 28th 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  formulas equivalent. It is a fundamental process used in a number of fields  of computer science, including automated reasoning, term rewriting, logic  programming, natural language processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly forum for  researchers in unification theory and related fields to meet old and new  colleagues, to present recent (even unfinished) work, and to discuss new ideas  and trends. It is also a good opportunity for young researchers and scientists  working in related areas to get an overview of the current state of the art in  unification theory.

Topics of interest include syntactic and equational unification algorithms, matching and constraint solving, unification in modal, temporal, and description logics, narrowing, disunification, anti-unification, semi-unification, higher-order unification, complexity issues, implementation techniques, applications.

Paper Submissions

Short papers or extended abstracts, up to 5 pages in EasyChair style, should be  submitted electronically as PDF files through the EasyChair submission site. Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available in the electronic form at the workshop, and also at the UNIF web page.

Organization Committee

  • Temur Kutsia (RISC-JKU, Austria)
  • Christophe Ringeissen (Inria-Loria, France)

Program Committee