Email Gateway (Jun 12 2025 at 17:06): Email Gateway (Jun 12 2025 at 17:06):From: Laurent Vigneron <laurent.vigneron@loria.fr>
[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)
Last updated: Jun 20 2025 at 16:26 UTC