coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] UNIF 2023 Call for Participation

From: Christophe Ringeissen <christophe.ringeissen AT loria.fr>
To: types-announce AT lists.seas.upenn.edu, rewriting AT ens-lyon.fr, maude-users AT cs.uiuc.edu, coq-club AT inria.fr, ProofTheory AT lists.bath.ac.uk, cl-isabelle-users AT lists.cam.ac.uk, theory-logic AT cs.cmu.edu, fscd.conference AT dcc.fc.up.pt, fm-announcements AT lists.nasa.gov, lfcs-interest AT dcs.ed.ac.uk, pvs AT csl.sri.com, theorem-provers AT ai.mit.edu
Subject: [Coq-Club] UNIF 2023 Call for Participation
Date: Sat, 27 May 2023 15:14:34 +0200
Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none

[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://project.inria.fr/unif2023
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://easyconferences.eu/fscd2023
(early registration until May 31)

[Coq-Club] UNIF 2023 Call for Participation, Christophe Ringeissen, 05/27/2023