XVI EBL - Encontro Brasileiro de Lógica - 9 a 13 de maio

Escola de Lógica - 7 e 8 de maio de 2011

Laboratório Nacional de Computação Científica – Petrópolis (RJ)

Instituto de Matemática/UFF – Niterói (RJ)

Histórico

O Encontro Brasileiro de Lógica é um evento que ocorre tradicionalmente, destinado a pesquisadores. O EBL faz parte da agenda de eventos de vários e destacados pesquisadores do Brasil e da América Latina, nas áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial, Lógica e Matemática. É importante salientar que várias agências de fomento, nacionais e internacionais (FAPESP, CNPq, FINEP, ASL-USA) e também o FAEPEX têm apoiado regularmente a realização dos Encontros Brasileiros de Lógica.

O objetivo dos Encontros Brasileiros de Lógica é estimular a divulgação e a discussão dos trabalhos de pesquisa na área de Lógica e suas interconexões com as áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial, Matemática.

Realização/Realization:
Centro de Lógica, Epistemologia e História da Ciência - CLE

Apoio/Sponsorship:
Sociedade Brasileira de Lógica - SBL
Association for Symbolic Logic - ASL
Academia Brasileira de Ciências - Regional São Paulo / Brazilian Academy of Sciences - São Paulo Chapter

Acesse a página oficial do XVI EBL - Encontro Brasileiro de Lógica