News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

18 July 2021, 35th International Workshop on Unification (UNIF 2021), Virtual

Date: Sunday 18 July 2021
Location: Virtual
Deadline: Friday 16 April 2021

Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.

UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as it predecessors', the purpose of UNIF 2021 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-sided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It will provide a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event.

Following the tradition of UNIF, we call for submissions of extended abstracts (5 pages) in EasyChair style. Topics of interest of the workshop include syntactic and equational unification algorithms, matching and constraint solving, unification in modal, temporal, and description logics, higher-order unification, narrowing, disunification, anti-unification, complexity issues, combination methods, implementation techniques, and applications. We also allow submission of work presented/submitted in/to another conference.

For more information, see

Please note that this newsitem has been archived, and may contain outdated information or links.