[TYPES/announce] Call for participation to UNIF 2025

[Laurent Vigneron]

[Apologies for multiple copies]

=======================================================================
                  CALL FOR PARTICIPATION TO UNIF 2025
             The 39th International Workshop on Unification

                     Birmingham, UK, July 14, 2025
                      A satellite workshop of FSCD
                   https://urldefense.com/v3/__https://cs.newpaltz.edu/unif2025/__;!!IBzWLUs!XhsqQU_i1njC9-8ODCMXOH6m-f21-5TmHdLKndo3yI-x2z2c4VXyB0XR7sLkNpbJw1U8MyHngtNZA4mzbrE4DGTEgOxNcLOkbfqKEL2kn6U$ 
=======================================================================

* 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: David M. Cerna (Dynatrace Research, Czech Academy
   of Sciences), Oliver Fernández Gil (TU Dresden, Germany).

* The list of accepted contributions is available on the webpage.

* Registration: visit the FSCD registration webpage at:
   https://urldefense.com/v3/__https://fscd2025.github.io/registration.htm__;!!IBzWLUs!XhsqQU_i1njC9-8ODCMXOH6m-f21-5TmHdLKndo3yI-x2z2c4VXyB0XR7sLkNpbJw1U8MyHngtNZA4mzbrE4DGTEgOxNcLOkbfqKmTFx7_o$ 
   (early registration until June 15)