[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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)