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)

Call For Papers & Important Dates

Download Full CFP Submit Your Paper

Paper submission: June 21st (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)