UNIF 2014 SHORT PAPERS: EDITOR'S PREFACE

This volume collects contributions presented at the 28th International Workshop on Unification (UNIF 2014), held July 13, 2014, in Vienna, Austria.  UNIF 2014 was organized as a FLoC workshop hosted by RTA-TLCA and IJCAR, in the context of the Vienna Summer of Logic.

UNIF is a well-established event with almost three decades of history. UNIF 2014 is the 28th event in a series of international meetings devoted to unification theory and its applications. Previous editions were held at:

Val D'Ajol, France (1987); Val D'Ajol, France (1988); Lambrecht, Germany (1989); Leeds, UK (1990); Barbizon, France (1991); Schloss Dagstuhl, Germany (1992); Boston, USA (1993); Val D'Ajol, France (1994); Sitges, Spain (1995); Herrsching, Germany (1996); Orléans, France (1997); Rome, Italy (1998); Frankfurt, Germany (1999); Pittsburgh, USA (2000); Siena, Italy (2001); Copenhagen, Denmark (2002); Valencia, Spain (2003); Cork, Ireland (2004); Nara, Japan (2005); Seattle, USA (2006); Paris, France (2007); Hagenberg, Austria (2008); Montreal, Canada (2009); Edinburgh, UK (2010); Wroclaw, Poland (2011); Manchester, UK (2012); Eindhoven, The Netherlands (2013).

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.

The Program Committee selected 11 contributions.  In addition, the program included two invited talks given by Jordi Levy, On the Limits of Second-Order Unification, and by Jose Meseguer on Extensible Symbolic System Analysis.

We would like to thank the authors for their contributions and presentations.  We are grateful to the invited speakers for their talks and their contributions to the proceedings. We thank the members of the Program Committee and all the referees for their care and time spent in reviewing the submissions.  We thank the members of the UNIF Steering Committee for their advice and support, and Andrei Voronkov for his EasyChair conference management system.