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)
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<[email protected]>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/RO2PR80MB7445C3092BAAF190388B2190C9CB2%40RO2PR80MB7445.lamprd80.prod.outlook.com.
