XVIEBL-2011

Versão para impressãoVersão para impressão

XVIEBL-2011 - 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.