Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Palestra: Impugning Randomness, Convincingly'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Monday, April 08, 2013 At 12:00
Duração: 2 Horas

Na segunda dia 8/04 receberemos na UFRJ o Prof. Yuri Gurevich, Professor Emérito da Universidade de Michigan e "Principal Researcher" do Centro de Pesquisa da Microsoft em Redmont. Gostariamos de convidar a todos para sua palestra, detalhes a seguir.

Prof. Yuri Gurevich tem importantes contribuições em Lógica aplicada a Computação, principalmente Complexidade, recentemnete ele tem publicado na área de segurança e autentificação usando Lógica. Para maiores detalhes ver sua página em http://research.microsoft.com/en-us/um/people/gurevich/

Todos são muito benvindos.

Local: PESC-COPPE, sala H-324B
Data: 08/04 Hora: 12:00

Título: Impugning Randomness, Convincingly

Resumo: John organized a state lottery and his wife won the main prize. You may feel that the event of her winning wasn't particularly random, but how would you argue that in a fair court of law? Traditional probability theory does not even have the notion of random events. Algorithmic information theory does, but it is not applicable to real-world scenarios like the lottery one. We attempt to rectify that. For more details see item 206 on http://research.microsoft.com/en-us/um/people/gurevich/annotated.htm.


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)