Título: Substitution in the Presence of Quantification Abstract: Aim of this short talk is to outline the formal treatment of substitution […]
Autor: Breno Riba da Costa Cruz Orientador: Noemi Rodriguez Data e Hora: 04/02/2015 às 10:00 Local: RDC511
Autor: Romulo de Carvalho Magalhaes Orientador: Marco Antonio Casanova Data e Hora: 30/01/2015 às 10:00 Local: RDC511
Autor: Luciano Sampaio Martins de Souza Orientador: Alessandro Fabricio Garcia Data e Hora: 15/01/2015 às 14:00 Local: RDC511
Já estão disponíveis as listas de candidatos aceitos para o Mestrado e para o Doutorado com início em 2015.1.
O projeto Beauty Technology, da nossa pós-doutoranda Katia Vega e do Prof. Hugo Fuks, recebe primeiro lugar no prêmio NUMA […]
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, […]