Palestrantes convidados do UNIF 2023 (The 37th International Workshop on Unification is a satellite event of CADE/FSCD 2023):

- Mauricio Ayala-Rincón (Universidade de Brasília - Brasil)

- Deepak Kapur (University of New Mexico - USA)

Foram apresentados resultados em formalização de raciocínio equacional obtidos na última década por membros do Grupo de Teoria da Computação da UnB, que envolvem participação de alunos e ex-alunos de Mestrado e Doutorado do PPG Informática e do PPG Matemática.

Material disponível em: https://project.inria.fr/unif2023/program/