Home

The conference is organized by the Centro de Álgebra da Universidade de Lisboa (CAUL).

Date: 21-23 July, 2014
Venue: Instituto de Investigação Interdisciplinar da Universidade de Lisboa

Aims

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.