Prof. Kalinowski Local: FPLF 13º andar Data/Horário: 12 de novembro de 2014, 16:00 – 18:00 Apresentação 1: “Building Empirical Software […]
Palestrante: Prof. Liam Bannon — University of Limerick and Aarhus University Título: Towards a more human-centred informatics? Data e hora: […]
Antonio L. Furtado, Professor Emérito do Departamento de Informática da PUC-Rio, é o ganhador do Peter Chen Award 2014 pelas […]
O aluno Willian Oizumi, mestrando do DI sob orientação do Prof. Alessandro Garcia, recebeu duas premiações na Conferência Brasileira de […]
Prof. Gregory Chaitin [1,2] (ministrado em português) Abstract: We add a new (valid) strong propositional substitution rule (SUB) : $\frac{\Gamma}{\theta(\Gamma)}$ […]
Profa. Valeria de Paiva Abstract: Se nós conseguirmos produzir fórmulas lógicas a partir de textos objetivos em Português, muitas aplicações, […]
Palestra do Prof. Alejandro C. Frery Abstract: Veremos conexões interessantes entre Processamento de Imagens, Teoria da Informação e Estatística. A […]
Consulte aqui o horário da graduação em 2014.2 (PDF, 205 KB).
Neste período, o processo de seleção foi extremamente competitivo. Seguem abaixo as relações de candidatos aceitos para o Mestrado e […]
Palestra: “Cut-elimination and the decidability of reachability in alternating pushdown systems” Palestrante: Prof. Gilles Dowek (INRIA) Data e horário: 7/jul […]
Autor: BRUNO LEONARDO KMITA DE O PASSOS Orientador: Eduardo Sany Laber Data e Hora: 16/06/2014 às 09:00 Local: RDC511
Autor: Marcio Ricardo Rosemberg Orientador: Marcus Vinicius Soledade Poggi de Aragão Data: 16/06/2014 às 11:30 Local: RDC418