terça-feira, 27 de novembro de 2012

Seminário especial Prof. Barry Cooper, 6/12


ATENÇÃO:
O seminário será transmitido pela IPTV, no link:  http://iptv.usp.br/portal/home.jsp?tipo=1&_EntityIdentifier=uspHgJlCp9ybX1FdLZwRN8XjYbwehhfPHA8CfC96WQbh-U.&


Na semana que vem, dia 6/12, teremos um seminário especial do LIAMF, patrocinado pelo Conselho Britânico através da Parceria Brasil-Reino Unido em Ciência e Inovação.
O seminário é de interesse geral e não exige conhecimento prévio.

Como muitos sabem, este ano foi comemorado o centenário do nascimento de Alan Turing.
Tivemos no IME alguns seminários sobre o legado de Turing e para encerrar o ano, contaremos com o Prof. Barry Cooper, chair do comitê que organizou o Turing Year.

--------------------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
--------------------------------------------------------------------------------------


Data: 6/12/2012
Horário: 14hs
Local: Auditório Jacy Monteiro (IME, bloco B)


Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the World

Prof. Barry Cooper - School of Mathematics, University of Leeds

Alan Turing did an amazing amount during his short life - a short list of what makes him remembered includes:


  •     How at the age of 23, he came up with the idea of the "stored program" universal computing machine, basically the blueprint for every computer in existence today;
  •     His leading role in breaking the German Enigma code at the secret decoding centre at Bletchley Park, helping shorten the 2nd World War by two years with his ground-breaking involvement in building and fully exploiting decoding machines;
  •     And the innovative and original work in bringing mathematics to bear on important problems in biology and medicine.

In this talk we look at Turing's ideas and enduring impact on academic research, the IT industry and the wider world we live in.

And we outline some of his visionary insights which point to a new generation of "intelligent" computers. We assume no specialist knowledge, but be prepared to be challenged!


Prof. Barry Cooper: COLLOQUIUM LOGICAE, CLE- UNICAMP 05 de dezembro, 15h


COLLOQUIUM LOGICAE- CLE- UNICAMP- 05 de dezembro, 15h

Em conexão com o Ano Alan Turing,  receberemos o Prof. Barry Cooper no
Colloquium Logicae no CLE dia 05 de dezembro, 15h (a sessão acontecerá
na  sala PE11 da  FEEC, UNICAMP)

http://seminarioscle.blogspot.com.br/2012/11/0512-colloquium-logicae-barry-cooper.html?m=1Abstract:

Barry Cooper  é professor de Lógica  Matemática da University of
Leeds. Autor de  "Computability Theory"(Chapman & Hall/CRC. 2004 ) e
co-autor de  "Incomputability in Nature" (Cooper, S. B.; Odifreddi, P.
(2003), e  coordenador do comitê organizador do Turing Year.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Title: Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the
World

Alan Turing did an amazing amount during his short life - a short list
of what makes him remembered includes:
How at the age of 23, he came up with the idea of the "stored program"
universal computing machine, basically the blueprint for every
computer in existence today;
His leading role in breaking the German Enigma code at the secret
decoding centre at Bletchley Park, helping shorten the 2nd World War
by two years with his ground-breaking involvement in building and
fully exploiting decoding machines; And the innovative and original
work in bringing mathematics to bear on important problems in biology
and medicine. In this talk we look at Turing's ideas and enduring
impact on academic research, the IT industry and the wider world we
live in and we outline some of his visionary insights which point to a
new generation of "intelligent" computers. We assume no specialist
knowledge, but be prepared to be challenged!
- - - - - - - - - - - - - - - - - - - - - -

Estão todos convidados!
Walter

-----------------------------------------------
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Fax: (+55) (19) 3289-3269
Institutional e-mail: walter.carnielli@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

terça-feira, 20 de novembro de 2012

quinta-feira, 1 de novembro de 2012