UNIF 2024 - Call for Participation
Oliver Fernandez Gil <[email protected]>
| Newsgroups | gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.isabelle.user |
|---|---|
| Message-ID | <[email protected]> |
[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)