2021/1

Título: Certifying Termination Proofs - the Evolution of IsaFoR/CeTA
Palestrante: René Thiemann - Computational Logic Group University of Innsbruck
Data: 05/11/2021

Título: A Certified Sound Algorithm for AC-unification
Palestrante: Gabriel Silva PPGINF- UnB
Data: 29/10/2021 

Título: Anti-unification modulo syntactic, associative and commutative equational theories
Palestrante: Gabriela de Souza Ferreira PPGMAT- UnB
Data: 22/10/2021 

Título: Traduzindo Generalized Algebraic Datatypes (GADTs) de OCaml para Coq
Palestrante: Pedro da Costa Abreu Purdue University
Data: 15/10/2021

Título: Functional Tuple Pairs and Applications to Higher-Order Complexity Theory
Palestrante: Deivid Vale - Radboud University Nijmegen
Data: 24/09/2021

2020/2

Título: Strong call-by-need
Palestrante: Thiabaut Balabonsn (Univ. Paris-Saclay, LRI, VALS team)
Data: 07/05/2021

Título: Foundations of Nominal Techniques
Palestrante: Ali Khãn Ribeiro (me dostrando - MAT/UnB)
Data: 23/04/2021

Título: Quantitative types for pair-patterns
Palestrante: Sandra Alves - Instituição: Universidade do Porto, Portugal
Data: 16/04/2021

2020/1

Título: Unification of Multisets with Multiple Labelled Multiset Variables
Palestrante: Giselle Reis - Carnegie Mellon University (CMU-Qatar)
Data: 03/12/2020 

Título: A Game Model for Proofs with Costs
Palestrante: Profa. Elaine Pimentel (DMAT/UFRN) 
Data: 20/11/2020

Título: On dual-contexts for Modal Logic S4  
Palestrante: Lourdes González Huesca (Instituição: National Autonomous University of Mexico - UNAM) 
Data: 13/11/2020 

Título: Symbolic Methods in the Formal Analysis of Automatically Synthesized Cryptographic Algorithms
Palestrante: Andrew Marshall (University of Mary Washington)
Data: 06/11/20

Título: The Spirit of Node Replication
Palestrante: Loïc Peyrot (Université de Paris, IRIF)
Data: 30/10/2020

2019/2

Título: Grupos gerados por autômatos
Palestrante: Alex Carrazedo - MAT/UnB
Data: 18/10/2019

Título: Linearisation of the lambda-calculus and its termination
Palestrante: Sandra Alves (Universidade do Porto, Portugal )
Data: 20/09/2019

2019/1

Título: Computations, Paths, Types and Proofs
Palestrante: Ruy de Queiroz (UFPE ) 
Data: 31/05/2019

Título: Formalizing the Dependency Pairs Criterion for Term Rewriting Systems
Palestrante: Ariane Alves Almeida (CIC - UnB )
Data: 24/05/2019

2018

Título: Böhm Trees and the separability of λI- calculus
Palestrante: Bruno de Assis Delboni (doutorando/MAT)
Data: 30/11/2018

Título: Functional Nominal C-Unication
Palestrante: Gabriel Silva (UnB)
Data: 23/11/2018

Título: Nominal Disunification
Palestrante: Deivid Vale (mestrando, MAT-UnB)
Data: 26/10/2018

Título: Logic: A modal logic for counterfactual reasoning
Palestrante: Claudia Nalon CIC/UNB
Data: 19/10/2018

Título: A formalisation that the Z property implies Confluence 
Palestrante: Flávio L. C. de Moura (UnB)
Data: 21/09/2018

Título: Correspondence between closed lambda terms and topological graphs combinators 
Palestrante: Bruno de Assis Delboni (UnB)
Data: 15/06/18

Título: Formalizing Ring Theory in PVS
Palestrante: Andréia Borges Avelar(UnB - Faculdade de Planaltina)
Data: 08/06/18

Título: General Abelian Group Unification
Palestrante: Deivid Vale (UnB)
Data: 01/06/18

Título: Nominal C- Matching
Palestrante: Washington Carvalho Segundo (CIC/UnB)
Data: 25/05/18

Título: Formalization on the Undecidability of the Halting Problem for a Functional Language
Palestrante: Thiago Mendonça Ferreira Ramos (CIC/UnB)
Data: 18/05/18