Por Samir Gorsky
"Turing Centenary Advisory Committee" do "The Alan Turing Year A
Centenary Celebration of the Life and Work of Alan Turing":
http://www.mathcomp.leeds.ac.uk/turing2012/
Conforme convite/sugestão do Advisory Committee, há proposta
de uma sessão sobre Alan Turing no XVI Encontro Brasileiro de Lógica
que será organizado em 2011. A referida sessão atuaria como preparação
ao centenário do nascimento de Alan Turing em 2012.
Site Pessoal
