UNIF 2024 - Call for Participation
Mauricio Ayala Rincon
The 38th International Workshop on Unification
Nancy, France, July 2, 2024
A satellite workshop of CADE/IJCAR, affiliated with IJCAR
Website: https://lat.inf.tu-dresden.de/unif2024
* 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: George Metcalfe
(University of Bern),
Daniele Nantes-Sobrinho
(Universidade de Brasília, Imperial College London)
* The details of the invited talks, list of accepted contributions and
the schedule of technical program are available on the webpage.
* Registration: visit the IJCAR registration webpage at:
https://merz.gitlabpages.inria.fr/2024-ijcar/page/registration/
(registration possible until June 24)