*** 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 ca2...@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. _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
