Lógica, Provas e Algoritmos
[ Próxima Página |
Página Anterior |
Página Principal ]
Contexto
Uma dicotomia em Teoria da Computação está bastante
evidenciada na divisão do Handbook of Theoretical Computer Science, publicado em 1994 pela Elsevier
Publishers. O Volume A foi concebido como uma
referência na área de Algoritmos e
Complexidade, enquanto que o Volume B trata de
Modelos Formais e Semântica. Teoria da Computação
nos Estados Unidos é predominantemente Volume A, enquanto que
Teoria da Computação na Europa é essencialmente
Volume B. Um dos objetivos de um projeto recente do
Center for Discrete Mathematics and Theoretical Computer
Science (DIMACS),
Rutgers University, USA, com o chamado Special Year on Logic and
Algorithms foi o de tentar aproximar as duas subáreas,
procurando focalizar nas principais áreas fronteiriças, a saber:
Computer-Aided Verification, Finite-Model Theory, e
Proof Complexity. Todas as três áreas são
consideradas áreas emergentes em termos do crescimento do número
de pesquisadores envolvidos mundialmente, além de se situar
perfeitamente no `interstício' entre o Volume A e o
Volume B.
DIMACS é um Centro de Ciência e Tecnologia financiado
pela National Science Foundation, cujas instituições
participantes são: Rutgers University,
Princeton University, AT&T Labs, Bellcore, e Bell Laboratories. Endereco na Internet:
http://dimacs.rutgers.edu/.