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

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

Veena Ravishanka, Kimberly Gero, Paliath Narendran

Asymmetric Unification and Disunification

Asymmetric Unification and Disunification

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Non-Disjoint Combination with Forward-Closed Theories

Non-Disjoint Combination with Forward-Closed Theories

Pavlos Marantidis, Franz Baader

Language equations for approximate matching in the Description Logic FL0

Language equations for approximate matching in the Description Logic FL0

**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)

- 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)