International Conference on
Rewriting, Deduction, and Programming
June 29 to July 3, 2015
Warsaw, Poland

UNIF 2015, 29th International Workshop on Unification

June 28, 2015, Warsaw, Poland


UNIF 2015 is the 29th 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. 

This year's UNIF will be an RDP workshop.

Topics of Interest

A non-exhaustive list of topics of interest include:

  • Unification algorithms, calculi and implementations
  • Equational unification and unification modulo theories
  • Unification in modal, temporal and description logics
  • Admissibility of Inference Rules
  • Narrowing
  • Matching algorithms
  • Constraint solving
  • Combination problems
  • Disunification
  • Higher-Order Unification
  • Type checking and reconstruction
  • Typed unification
  • Complexity issues
  • Query answering
  • Implementation techniques
  • Applications of unification
  • Antiunification/Generalization

Submission and Publication

Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF files through the EasyChair submission site. Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in printed form at the workshop and in electronic form from the UNIF homepage. Based on the number and quality of submissions we will decide whether to organize a special journal issue.

Important Dates

Paper Submission (extended): May 10, 2015
Notification of Acceptance:   May 31, 2015
Final version: June 7, 2015
Conference: June 28, 2015

Invited Speakers

Organization Committee

Program Committee

  • Franz Baader, TU Dresden, Germany
  • Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair)
  • Adria Gascon, SRI international, USA
  • Silvio Ghilardi, Universita di Milano, Italy
  • Artur Jeż, University of Wrocław, Poland
  • Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
  • Jordi Levy, IIIA-CSIC, Spain
  • Christopher Lynch, Clarkson University, USA
  • George Metcalfe, University of Bern, Switzerland
  • Paliath Narendran, University at Albany-SUNY, USA
  • Jan Otop, IST, Austria
  • Christophe Ringeissen, LORIA-INRIA Lorraine, France
  • Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
  • Mateu Villaret, Universitat de Girona, Spain (co-chair)
For more information, please contact any of the two chairs Santiago Escobar or Mateu Villaret.

Important information

Plenary speakers

Valid XHTML 1.1 Valid CSS!