UNIF 2013: Editor's Preface

This volume contains the papers presented at UNIF 2013: 27th International Workshop on Unification held on June 26, 2013 in Eindhoven.

UNIF 2013 is the 27th event in a series of international meetings devoted to unification theory and its applications.

The aim of UNIF 2013, as that of the previous meetings, is to bring together researchers interested in unification theory and related topics, to present recent (even unfinished) work, and discuss new ideas and trends in this and related fields.

This year UNIF is a satellite event of the International Conference on Rewriting, Deduction, and Programming (RDP 2013). There were 6 submissions. Each submission was reviewed by at least 3 Program Committee members and all 6 submissions were accepted to UNIF 2013. This volume also includes short abstracts by two invited speakers:

  • Santiago Escobar, Universitat Politècnica de València
  • Temur Kutsia, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria.

We would like to thank invited speakers for having accepted our invitation. We would also like to thank Program Committee members and all additional reviewers for their careful work in the review process.

Finally, we express our gratitude to all members of the local organization of RDP 2013. We thank EasyChair for providing friendly environment for handling submissions and creating this proceedings.


Barbara Morawska
Konstantin Korovin
June 9, 2013
Manchester