No próximo dia 8 de Outubro de 2019, pelas 11h00 na sala S4 (FC6-1.46) do DCC, o Professor Maurício Ayala-Rincón irá dar uma palestra intitulada "Nominal Equational Reasoning".
A palestra é organizada pelo DCC-FCUP e pelo grupo de investigação CRACS-INESCTEC e é aberta a todos os interessados.
Short Bio
Maurício Ayala-Rincón received his BSs in "Ingeniería de Sistemas y Computación” and in “Matemáticas" from Universidad de Los Andes (Bogotá, Colombia) in 1985 and 1987, respectively. He received his PhD in Theory of Computation from Fachbereich Informatik, Universität Kaiserslautern (Germany) in 1993. Currently he is a Full Professor in Computer Science at UnB (Universidade de Brasília, Brazil). He is a researcher and advisor of CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico). Member of the Editorial Board of "Revista Colombiana de Computación", editor of special issues for the Journal of Automated Reasoning, Mathematical Structures in Computer Sciences, Theoretical Computer Science, among others. He has chaired the Steering Committee of the International School on Rewriting in 2014-15, having been a member from 2009 to 2015. Member of the Steering Committee of the International Conference Rewriting Techniques and Applications (2012-15) and currently member of the Steering Committee of the International Conference on Formal Structures for Computation and Deduction (2018-21). Over the years, he has participated in the organisation of a vast number of scientific events, most relevantly, having been Conference Chair for the Federated Conference on Rewriting, Deduction and Programming - RDP 2009, and PC co-chair of the 8th Interactive Theorem Proving (ITP 2017).
Title
"Nominal equational reasoning"
Abstract
This talk will present current advances on formalisation of nominal equational techniques. Specifications of procedures and algorithms for nominal equality check, matching and unification-modulo will be discussed.