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:
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.