[Caml-list] UNIF 2024 - Call for Participation

[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)