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
09月03日
2017
会议日期
初稿截稿日期
初稿录用通知日期
注册截止日期
留言