Colloquium Logicae

Computability and Logic: celebrating the Alan Turing Year in Brazil

September 12th 2012


Special session of the Colloquium Logicae

Organized  by:
the Centre for Logic, Epistemology and the History of Science – CLE at the State University of Campinas – UNICAMP

Sponsored by:
Science and Innovation Sector - British Consulate, São Paulo and FAPESP
 


Venue


The event will be held at the University of Campinas, Brazil (more information here)

Schedule

September 12th 2012

14:00 - Opening and presentations

14:20 -15:40 - Round  Table: Turing and the  faces of  a  Machine
Next activity (December 2012)

As  a planned next activity (scheduled for December 2012) we will receive at CLE- UNICAMP  Prof. Dr. Barry Cooper, professor in the School of Mathematics of University of Leeds. Professor Cooper is the Chair of the Turing Centenary Advisory Committee, coordinating a huge range of Turing Centenary activities, and President of the Association Computability in Europe.



Subpáginas (2): Abstracts Venue