UNIF 2018 - 32nd International Workshop on Unification

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, Formalisation of unification, Applications of unification