UNIF 2025 is the 39th 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.
Topics of interest of the workshop include, but are not limited to: