Vincenzo Marra (Università degli Studi di Milano, Italy)
26/03/2012 Segunda-feira, 26 de Março de 2012, 10:00-12:00, Sala 6.2.38, FCUL 
Faculdade de Ciências da Universidade de Lisboa
Course "Unification and Duality: a fruitful interaction" - Talk 1: Introduction. Unification module theories
This is a series of talks on the interaction between apparently unrelated topics – unification modulo equational theories, and topological dualities for varieties of algebras. I will cover the basics of unification theory, and will give a cursory introduction to duality theory. I will then advance the claim that the latter is a useful tool in the context of the former, and support it by a detailed analysis of a few case studies. I will conclude the series with a discussion of notable open problems in the field. The level of the exposition will be aimed at an audience of colleagues.
© 2010 CAUL