Lógica, Provas e Algoritmos

[ Próxima Página ]


English Version 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.