International Workshop on Unification

FSCD 2017 Workshop
September 3rd, 2017

St. Anne's College, Oxford, UK


UNIF 2017 will be the 31th in a series of annual international workshops on unification. Previous editions have taken place mostly in Europe (Austria, Denmark, France, Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense, encompassing also research in constraint solving, admissibility of inference rules, and applications such as type checking, query answering and cryptographic protocol analysis. A non-exhaustive list of topics of interest includes:

  • 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

Invited Speakers

  • Colin Stirling (University of Edinburgh)
  • Ashish Tiwari (SRI International)

Accepted Papers

Yunus David Kerem Kutz, Manfred Schmidt-Schauss
Most General Unifiers in Generalized Nominal Unification
Zümrüt Akçam, Daniel S. Hono Ii, Paliath Narendran
On Problems Dual to Unification
Veena Ravishanka, Kimberly Gero, Paliath Narendran
Asymmetric Unification and Disunification
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Non-Disjoint Combination with Forward-Closed Theories

Call For Papers & Important Dates

Download Full CFP Submit Your Paper

Paper submission: June 21st (11pm59 CET) (Deadline extended: June 26th (11pm59 CET))
Notification of acceptance: July 21st
Workshop: September 3rd

We invite submissions of abstracts (5) pages in easychair style. 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: UNIF homepage. Based on the number and quality of submissions we will decide whether to organize a special journal issue.

Submissions in the form of extended abstracts must be at most 5 pages long.

At least one author of each accepted abstract is expected to represent it at the workshop.



  • Adrià Gascón (Edinburgh)
  • Christopher Lynch (Clarkson)

Program Committee

  • Franz Baader (TU Dresden)
  • Iliano Cervesato (CMU)
  • Santiago Escobar (TU Valencia)
  • Maribel Fernández (KCL)
  • Silvio Ghilardi (Università degli Studi di Milano)
  • Artur Jeż (University of Wrocław)
  • Konstantin Korovin (Manchester University)
  • Temur Kutsia (Johannes Kepler University Linz)
  • Jordi Levy (IIIA - CSIC)
  • Andrew Marshall (University of Mary Washington)
  • Catherine Meadows (NRL)
  • Barbara Morawska (TU Dresden)
  • Paliath Narendran (University at Albany-SUNY)
  • Jan Otop (University of Wrocław)
  • Christophe Ringeissen (LORIA-INRIA)
  • Manfred Schmidt-Schauss (Goethe-University Frankfurt)
  • Mateu Villaret (Universitat de Girona)