Lógica, Provas e Algoritmos
[ Próxima Página ]
Resumo
Constituindo-se essencialmente de uma série de Tutoriais,
Mini-Cursos e/ou Encontros com periodicidade anual e dentro
de um espírito semelhante ao
Special Year on Logic and Algorithms (e seu sucessor SYLA - One Year Later)
do Center for Discrete Mathematics and Theoretical Computer Science
(DIMACS), Rutgers University,
o projeto tem como objetivo buscar parceiros para o desenvolvimento de pesquisa
de ponta nas áreas emergentes entre Lógica Matemática
e Teoria da Complexidade Computacional (ver, por exemplo,
o Projeto Complexidade de Provas em Sistemas Dedutivos Rotulados), e, ao mesmo tempo,
estimular uma melhor interação entre pesquisadores nas duas
subáreas da Teoria da Computação: Algoritmos
e Complexidade (Teoria A)
e Modelos Formais e Semântica (Teoria B).
No contexto da comunidade brasileira de Ciência da
Computação, o objetivo maior é impulsionar o
desenvolvimento de infra-estrutura científica, na medida em que procura
atrair novos pesquisadores a se engajar nas áreas
fronteiriças entre Teoria A (Algoritmos e
Complexidade) e Teoria B (Modelos Formais e Semântica),
contribuindo assim para a consolidação do nível de
excelência da pesquisa nas áreas mais teorico-fundamentais
da Ciência da Computação realizada no país.
Contexto
Uma Breve Descrição das Áreas Identificadas como Fronteiriças
Intenções
Histórico
Anuj Dawar: Finite Model Theory and Complexity Theory
Peter Clote: Proof Length for Propositional Logic Systems
Próximos Encontros: Lógica, Provas e Algoritmos '98
Tutela Científica: IGPL e EATCS
Comitês de Programa e de Organização
Última atualização 6 Abril 1998, 18:02:47 EST.
Visita número desde 6/Maio/1997.