Busca avançada
Ano de início
Entree

XVII EBL - Encontro Brasileiro de Lógica / XVII - Escola de Lógica

Processo: 14/00915-1
Linha de fomento:Auxílio à Pesquisa - Organização de Reunião Científica
Vigência: 05 de abril de 2014 - 11 de abril de 2014
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Itala Maria Loffredo D'Ottaviano
Beneficiário:Itala Maria Loffredo D'Ottaviano
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Inteligência artificial  Lógicas não clássicas 

Resumo

O XVII Encontro Brasileiro de Lógica (XVII Brazilian Logic Conference - EBL), a realizar-se no Laboratório Nacional de Computação Científica (LNCC), em Petrópolis (RJ), durante o período de 07 a 11 de abril de 2014, será precedido de uma Escola de Lógica (Logic School), constituída por vários mini-cursos (Tutorials) e que ocorrerá no Instituto de Matemática e Estatística da Universidade Federal Fluminense (UFF), em Niterói, nos dias 05 e 06 de abril. Estão previstas 16 conferências plenárias e 96 apresentações de trabalhos, além da Escola de Lógica de dois dias que precederá o evento. Entre os conferencias já confirmados para o XVII EBL, mencionamos Xavier Caicedo (Universidad de los Andes), José Luiz Fiadeiro (University of Leicester), Nick Galatos (University of Denver), Delia Kesner (Université Paris Diderot), Tor Sandqvist (Royal Institute of Technology), Wagner de Campos Sanz (UFG), Jairo José da Silva (UNESP), Gem Stapleton (University of Brighton), Göran Sundhom (Leiden University), Manuel Fidel (Universidad Nacional de Sur, Argentina). (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.