[Caml-list] UNIF 2024 - Call for Participation

[Caml-list] UNIF 2024 - Call for Participation

[Oliver Fernandez Gil]

[Apologies for multiple copies]

      UNIF 2024: CALL FOR PARTICIPATION
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)