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

• Processo: 14/00915-1
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 05 de abril de 2014
• Data de Término da vigência: 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
• Palavra(s)-Chave do Pesquisador: Filosofia das Ciências Formais | História e Filosofia da Lógica | Informática e Computação | Inteligência Artificial | Lógica | Lógicas não-clássicas | Sociedade Brasileira de Lógica | Lógica

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)