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.
From Thursday 17 to Saturday 19 December 2009 (three
days) the International Conference "MODEL-BASED REASONING IN SCIENCE
AND TECHNOLOGY" will be held at the State University of Campinas -
UNICAMP in the town of Campinas, Brazil.
Program
The conference will deal with the logical,
epistemological, and cognitive aspects of modeling practices employed
in science and cognitive science, including logical and computational
models of such practices. We solicit papers that examine the role of
abduction, visualization, simulation, etc. in model-based reasoning
from philosophical, historical, sociological, psychological, or
computational perspectives. The conference is also devoted to examine
the impact of Model-Based Reasoning research in the enhancement of
various kinds of human cognitive skills, mental, hybrid, manipulatory,
etc.
SCIENCE, TRUTH AND CONSISTENCY CLE / AIPS Event Centre
for Logic, Epistemology and the History of Science Académie
Internationale de Philosophie des Sciences
August 23th - 28th 2009
Dedicated to Newton da Costa's 80th Anniversary
Institute of Mathematics, Statistics and Scientific
Computation Unicamp - Campinas, SP - Brazil
CLE30 - 30th Anniversary of the Centre for Logic,
Epistemology and the History of Science, UNICAMP"
XV EBL - 15th Brazilian Logic Conference
XIV SLALM - 14th Latin-American Symposium on Mathematical Logic"
