[Apologies for multiple copies] ======================================================================= CALL FOR PARTICIPATION TO UNIF 2025 The 39th International Workshop on Unification
Birmingham, UK, July 14, 2025 A satellite workshop of FSCD https://cs.newpaltz.edu/unif2025/ ======================================================================= * The International Workshop on Unification (UNIF) is a yearly forum devoted to unification theory and its applications. 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. * A non-exhaustive list of topics of interest includes: syntactic and equational unification algorithms; matching and constraint solving; higher-order unification; unification in modal, temporal, and description logics; admissibility of inference rules; narrowing; disunification; anti-unification; complexity issues; combination methods; implementation techniques; applications. * Invited speakers: David M. Cerna (Dynatrace Research, Czech Academy of Sciences), Oliver Fernández Gil (TU Dresden, Germany). * The list of accepted contributions is available on the webpage. * Registration: visit the FSCD registration webpage at: https://fscd2025.github.io/registration.htm (early registration until June 15)
