Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] UNIF 2021: second call for papers

view this post on Zulip Email Gateway (Apr 01 2021 at 09:26):

From: Alexander Baumgartner via Cl-isabelle-users <>
UNIF 2021 - 35th International Workshop on Unification
18th of July 2021, Buenos Aires, Argentina


UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event.


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

UNIF 2021 is the 35th in a series of annual workshops on unification
and related topics. Just as its 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.

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.


Paper submission: April 16, 2021
Notification of acceptance: May 21, 2021
Final version of accepted papers: June 18, 2021
Workshop dates: July 18, 2021


Following the tradition of UNIF, we call for submissions of extended
abstracts (5 pages) in EasyChair style, to be submitted electronically
as PDF through the EasyChair submission site:

Abstracts will be evaluated by the Program Committee (if necessary
with support from external reviewers) regarding their significance for
the workshop. We also allow submission of work presented/submitted
in/to another conference.

Accepted abstracts will be presented at the workshop and made
available at the Web-page of UNIF 2021.

Depending on the number and quality of submitted papers, a special
issue of a journal is planned after the workshop, with full versions
of the papers going through the reviewing process according to the
standards of the chosen journal (e.g., AMAI, JAR, JLC, MSCS).

Last updated: Sep 25 2021 at 09:17 UTC