[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Reply via email to