No próximo dia 8 de Novembro, pelas 15h00 na sala FC6 006 do DCC FCUP, Santiago Escobar irá dar uma palestra intitulada "Maude: a rewriting logic framework".
A palestra é organizada pelo DCC-FCUP.
Short Bio
Santiago is a Full Professor at Universitàd Politécnica de València. He is also a member of the Valencian Research Institute for Artificial Intelligence (VRAIN) and a collaborator of the Formal Methods and Declarative Languages research group at UIllinois (USA). He is also the director of the Cátedra INCIBE-UPV de la Universitat Politècnica de València and a subdirector of the Cátedra STADLER de la Universitat Politècnica de València. His main research topics are term rewriting (in particular narrowing), abstract interpretation, program transformation and optimization, and security and model checking.
Title
Maude: a rewriting logic framework
Abstract
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. In this talk, I will present the theoretical background Maude is based on starting from equational theories to term rewriting and narrowing, as well as some of its main features and applications.