[GAP Forum] Conference in Computational Algebra

[Joao Araujo]

*** Apologies if you receive multiple copies of this message ***

  WORKSHOP ON COMPUTATIONAL ALGEBRA 2014

21-23 JULY 2014
CENTRO DE ÁLGEBRA DA UNIVERSIDADE DE LISBOA, PORTUGAL
https://sites.google.com/site/compalg2014/
<https://webmail.fc.ul.pt/owa/redir.aspx?C=aOLUxfbJFkeQfXG6biW2QIdT_qf2UdFI2EqzXRz0Do3f2Mvbv3OVedeOfOVPtWotWJADp7lvFGE.&URL=https%3a%2f%2fsites.google.com%2fsite%2fcompalg2014%2f>

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.

PROGRAM

The planned program includes 50 minutes lectures by the invited speakers
and 20 minutes contributed talks by the participants.

REGISTRATION

If you wish to participate in the workshop, please fill in the Registration
Form . To present a communication, select that option in the form and send
a title and an abstract to ca2014 at fc.ul.pt before the 1st of July.

The registration fee is 35 euros. After finalizing your registration,
proceed to payment. See the conditions on the website.
For logistic reasons, the number of participants is limited, so please do
register as soon as possible.

TRAVEL INFORMATION

We recommend to everyone coming from abroad flying to Lisbon's airport.
Travel information, including information on accommodation, will be
available on the conference website.