Caros Colegas: tenho a satisfaçao de anunciar que fui convidado a participar como membro do "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/ Estarei ao mesmo tempo participando como representante da Sociedade Brasieira de Lógica e como autor do nosso livro "Computability/ Computabilidade" (com R.L. Epstein) que enaltece a obra de Alan Turing. Conforme convite/sugestão do Advisory Committee, estaremos propondo 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. Gostaria de ouvir a opinião de todos. Atenciosamente, Walter Carnielli na qualidade de Presidente da SBL -- +++++++++++++++++++++++++++++++++++++++++++++++++ Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
