The 30th International Workshop on Unification
is the 30th event in a series of international
meetings devoted to unification theory and its applications.
Unification is concerned with the problem of making two
terms equal, finding solutions for equations, or
making formulas equivalent. It is a fundamental process
used in a number of fields of computer science,
including automated reasoning, term rewriting,
logic programming, natural language processing,
program analysis, types, etc.
The International Workshop on Unification (UNIF) is a yearly
forum for researchers in unification theory and related
fields to meet old and new colleagues, to present recent
(even unfinished) work, and to discuss new ideas and trends.
It is also a good opportunity for young researchers and
scientists working in related areas to get an overview of the
current state of the art in unification theory.
The workshop will be hosted by the 1st International Conference on
Formal Structures for Computation and Deduction (FSCD, Porto, June