XVIII Encontro Brasileiro de Lógica e Escola de Lógica

• Processo: 17/02121-0
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 08 de maio de 2017
• Data de Término da vigência: 12 de maio de 2017
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Marcelo Esteban Coniglio
• 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): Filosofia da ciência Lógica (filosofia) Inteligência artificial Eventos científicos e de divulgação Reuniões científicas
• 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ógica não-clássicas | Sociedade Brasileira de Lógica | Historia e Filosofia da Lógica

Resumo

Programa da reunião XVIII Encontro Brasileiro de Lógica (XVIII Brazilian Logic Conference - EBL), a realizar- se na Pousada dos Pireneus, em Pirenópolis (GO), durante o período de 08 a 12 de maio de 2018, será em simultâneo com uma Escola de Lógica (Logic School), constituída por vários mini-cursos (Tutorials). Estão previstas 11 conferências plenárias e 86 apresentações de trabalhos, além da Escola de Lógica de dois dias a ser realizada durante o evento. Listamos os conferencistas convidados para o XVIII EBL: Eduardo Barrios (Universidad de Buenos Aires, Argentina), Joan Bagaria (Universidad de Barcelona, Espanha), Torben Brauner (Roskilde University, Dinamarca), Xavier Caicedo (Universidad de los Andes, Colômbia), Eduardo Fermé (Universidade da Madeira, Portugal), Fernando Ferreira (Universidade de Lisboa, Portugal), Edward Haeusler (PUC-Rio), Fairouz Kamareddine (Heriot-Watt University, Escócia), Claudia Nalon (UnB, Brasil), Olivier Rioul (Télécom ParisTech, França), Moshe Vardi (Rice University, EUA). (AU)