Ciclo de palestras
A obra de Alan Turing foi de fundamental importância no estabelecimento da computação e do computador como conhecemos hoje. O ciclo de palestras comemorando o centenário de Alan Turing objetiva apresentar ao publico em geral a vida e o trabalho deste importante cientista britânico. As palestras serão apresentadas por especialistas nos diversos aspectos da vida e obra de Alan Turing.
organização - prof. Marcelo Walter



Prof. Dr. Luis da Cunha Lamb 
Doutorado em Ciência da Computação (Imperial College London, Londres, Inglaterra, 2000). Atualmente é Diretor Pró-tempore do Instituto de Informática da UFRGS.
Título: Alan Mathison Turing and the Turing Award Winners:
A short journey through the history of Computer Science

Dra. Sue Black 
Sue Black é Pesquisadora Associada Sênior do Grupo de Engenharia de Sistemas de Software no Departamento de Ciência da Computação na University College London. Ela fundou a campanha "Salve o Parque Bletchley". Dr. Black tem sensibilizado a opinião pública para a situação do Parque Bletchley, o local onde os decifradores de códigos, como Alan Turing trabalharam durante a Segunda Guerra Mundial. Título:

Prof. Dr. Barry Cooper 
Professor Cooper é professor na Escola de Matemática da Universidade de Leeds. Ele também é o Presidente do Comitê Consultivo do Centenário de Turing, coordenando uma enorme gama de atividades de Centenário de Turing, e é Presidente da Associação Européia de Computabilidade. Apresenta palestras e escreve sobre computabilidade clássica, o trabalho seminal de Turing, incluindo seu trabalho relacionado com incomputabilidade e suas consequências para a forma como computadores reais funcionam.Título:

Profa. Dra. Leila Ribeiro 
Mestre em Ciências da Computação pela UFRGS (1991) com doutorado em Informática - Technische Universitat Berlin (1996). Pesquisadora nível 2 do CNPq e profa. associada da UFRGS. IFIP Working Group 1,3 (Foundations of System Specification). Ênfase em em Métodos Formais, atuando principalmente em especificação e semântica formal, bioinformática, verificação formal e modelos de computação. Título: O que é Computação? Da Máquina de Turing ao Pensamento ComputacionalEndereço:
- País: Brasil
- Cidade: Porto Alegre
- Instituto de Informática
- Campus do Vale
- Caixa Postal 15064
- Fone +55 (51) 3308 6168
- Fax +55 (51) 3308 7308
- Email:alanturing@ufrgs.br







