Email Gateway (May 29 2023 at 07:52): Email Gateway (May 29 2023 at 07:52):From: Christophe Ringeissen <christophe.ringeissen@loria.fr>
[Apologies for multiple copies]
UNIF 2023: 37th INTERNATIONAL WORKSHOP ON UNIFICATION
July 2, 2023, Rome, Italy
A satellite workshop of CADE/FSCD 2023, affiliated to FSCD 2023
https://project.inria.fr/unif2023
CALL FOR PARTICIPATION
The International Workshop on Unification (UNIF) is a yearly forum
devoted to unification theory and its applications. Unification is
concerned with the problem of identifying terms, finding solutions
for equations, or making formulas equivalent. It is a fundamental
process used in a number of fields of computer science, including
automated reasoning, term rewriting, logic programming, natural
language processing, program analysis, types, etc.
A non-exhaustive list of topics of interest includes: syntactic and
equational unification; matching; constraint solving; unification in
modal, temporal, and description logics; narrowing; disunification;
anti-unification; semi-unification; higher-order unification;
complexity issues; implementation techniques; applications.
Invited speakers: Mauricio Ayala-Rincon (Universidade de Brasilia),
Deepak Kapur (UNM, Albuquerque)
List of accepted contributions available on the webpage
Last updated: Apr 24 2024 at 16:18 UTC