[TYPES/announce] UNIF 2023 Call for Participation

[Christophe Ringeissen]

[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://urldefense.com/v3/__https://project.inria.fr/unif2023__;!!IBzWLUs!RE6W-VlHKbb5iM46DhBanBrw4ST6sq0xHMpenN5tW5U2HfgTpG8lMwTkEj9fZW8s0-wPQfNunE0v2AS5x_bIxdJMXaSb14c-g6u5upxtwrc$ 
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
* Registration: see https://urldefense.com/v3/__https://easyconferences.eu/fscd2023__;!!IBzWLUs!RE6W-VlHKbb5iM46DhBanBrw4ST6sq0xHMpenN5tW5U2HfgTpG8lMwTkEj9fZW8s0-wPQfNunE0v2AS5x_bIxdJMXaSb14c-g6u5pIMPyuw$ 
  (early registration until May 31)