Overview

This conference aims at bringing together mathematicians, computer scientists and other scientists from Portugal (but also elsewhere) with interest in Logic. It is specially directed to graduate students.

The 2012 edition will be specially dedicated to Alan Turing's life and scientific achievements, on the occasion of the centenary of his birth.

This event is organized by:

• • Sandra Alves, Dept. Computer Science and LIACC, University of Porto;

  • Mário Jorge Edmundo, DCeT, University Aberta and CMAF - University of Lisbon;

  • Reinhard Kahle, DM, New University of Lisbon and CENTRIA;

  • Imme van den Berg, CIMA, University of Évora.

With the support of:

• • CENTRIA - New University of Lisbon;

  • CIMA - University of Évora;

  • CMAF - University of Lisbon;

  • LIACC, University of Porto;

and the FCT funded projects:

• • DiFoS - Dialogical Foundations of Semantics, LogICCC/0001/2007;

  • Hilbert's Legacy in the Philosophy of Mathematics, PTDC/FIL-FCI/109991/2009.