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:
With the support of:
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.