UNIF 2024: The 38th International Workshop on Unification


July 2, 2024 | Nancy, France


Co-located with IJCAR 2024

Welcome to UNIF 2024!

NEWS: The electronic informal proceedings are now available. Please click here.
NEWS: The scientific program is online.
NEWS: The list of accepted contributions is now online.

UNIF 2024 is the 38th 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: UNIF 2024 is a satellite event of CADE/IJCAR 2024, affiliated with IJCAR 2024.