Eventos > Encontros Científicos

Workshop on Computational Algebra 2014


Instituto para a Investigação Interdisciplinar da Universidade de Lisboa, July 21-23 July, 2014



The aim of this workshop is to deepen the existing interactions between abstract algebra, symbolic computation and automated reasoning, and to contribute to their strengthening.
The conference will be organized by the Centro de Álgebra da Universidade de Lisboa (CAUL), with the participation of Faculdade de Ciências da UL, Faculdade de Ciências e Tecnologia da UNL and Universidade Aberta.


Alan Cain (New University of Lisbon, Portugal)
Peter Cameron (University of St. Andrews, UK)
Catarina Carvalho (University of Hertfordshire, UK)
Timothy Gowers (University of Cambridge, UK) ***
Michael Kinyon (University of Denver, USA)
James D. Mitchell (University of Andrews, UK)
Pedro Silva (University of Porto, Portugal)
Mikhail Volkov (Ural Federal University, Russia)

*** To be confirmed


Gracinda Gomes, CAUL, DM-FCUL
João Araújo, CAUL, Universidade Aberta
António Malheiro, CAUL, FCT-UNL.