Workshop on Computational Algebra 2014

https://sites.google.com/site/compalg2014/

SUMMARY

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.

INVITED SPEAKERS

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

ORGANIZING COMMITTEE

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