Overview

UNIF 2026 is the 40th edition of the annual international workshop on Unification. Previous editions have taken place mostly in Europe, but also in the USA and Japan. For more information about previous editions, please visit the UNIF homepage.

Unification is concerned with the problem of making two given terms equal, either syntactically or modulo an equational theory. It is a fundamental process used in various areas of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, knowledge representation, types, etc.

The International Workshop on Unification (UNIF) is a forum for researchers in unification theory and related fields to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for students, young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.

UNIF 2026 is a workshop at FLoC 2026, affiliated with FSCD 2026 and IJCAR 2026.