Palestras Anteriores Relação das palestras apresentadas entre 2018 à 2021 2021/1 Título: Certifying Termination Proofs - the Evolution of IsaFoR/CeTAPalestrante: René Thiemann - Computational Logic Group University of InnsbruckData: 05/11/2021 Título: A Certified Sound Algorithm for AC-unificationPalestrante: Gabriel Silva PPGINF- UnBData: 29/10/2021 Título: Anti-unification modulo syntactic, associative and commutative equational theoriesPalestrante: Gabriela de Souza Ferreira PPGMAT- UnBData: 22/10/2021 Título: Traduzindo Generalized Algebraic Datatypes (GADTs) de OCaml para CoqPalestrante: Pedro da Costa Abreu Purdue UniversityData: 15/10/2021 Título: Functional Tuple Pairs and Applications to Higher-Order Complexity TheoryPalestrante: Deivid Vale - Radboud University NijmegenData: 24/09/2021 2020/2 Título: Strong call-by-needPalestrante: Thiabaut Balabonsn (Univ. Paris-Saclay, LRI, VALS team)Data: 07/05/2021 Título: Foundations of Nominal TechniquesPalestrante: Ali Khãn Ribeiro (me dostrando - MAT/UnB)Data: 23/04/2021 Título: Quantitative types for pair-patternsPalestrante: Sandra Alves - Instituição: Universidade do Porto, PortugalData: 16/04/2021 2020/1 Título: Unification of Multisets with Multiple Labelled Multiset VariablesPalestrante: Giselle Reis - Carnegie Mellon University (CMU-Qatar)Data: 03/12/2020 Título: A Game Model for Proofs with CostsPalestrante: 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 AlgorithmsPalestrante: Andrew Marshall (University of Mary Washington)Data: 06/11/20 Título: The Spirit of Node ReplicationPalestrante: Loïc Peyrot (Université de Paris, IRIF)Data: 30/10/2020 2019/2 Título: Grupos gerados por autômatosPalestrante: Alex Carrazedo - MAT/UnBData: 18/10/2019 Título: Linearisation of the lambda-calculus and its terminationPalestrante: Sandra Alves (Universidade do Porto, Portugal )Data: 20/09/2019 2019/1 Título: Computations, Paths, Types and ProofsPalestrante: Ruy de Queiroz (UFPE ) Data: 31/05/2019 Título: Formalizing the Dependency Pairs Criterion for Term Rewriting SystemsPalestrante: Ariane Alves Almeida (CIC - UnB )Data: 24/05/2019 2018 Título: Böhm Trees and the separability of λI- calculusPalestrante: Bruno de Assis Delboni (doutorando/MAT)Data: 30/11/2018 Título: Functional Nominal C-UnicationPalestrante: Gabriel Silva (UnB)Data: 23/11/2018 Título: Nominal DisunificationPalestrante: Deivid Vale (mestrando, MAT-UnB)Data: 26/10/2018 Título: Logic: A modal logic for counterfactual reasoningPalestrante: Claudia Nalon CIC/UNBData: 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 PVSPalestrante: Andréia Borges Avelar(UnB - Faculdade de Planaltina)Data: 08/06/18 Título: General Abelian Group UnificationPalestrante: Deivid Vale (UnB)Data: 01/06/18 Título: Nominal C- MatchingPalestrante: Washington Carvalho Segundo (CIC/UnB)Data: 25/05/18 Título: Formalization on the Undecidability of the Halting Problem for a Functional LanguagePalestrante: Thiago Mendonça Ferreira Ramos (CIC/UnB)Data: 18/05/18 Secretaria Fale ConoscoRoteiros e ProcedimentosSolicitaçõesTelefones e e-mail Seminários Álgebra Análise Ensino Geometria Mecânica Sistemas Dinâmicos Teoria da Computação Teoria da Probabilidade Teoria dos Números