Lógica, Provas e Algoritmos
[ Próxima Página |
Página Anterior |
Página Principal ]
Intenções
Constituindo-se essencialmente de uma série de
Tutoriais, Mini-Cursos e/ou Encontros organizada
anualmente dentro de um
espírito semelhante ao Special Year on Logic and Algorithms do DIMACS/Rutgers, o projeto
tem como objetivo 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 em pesquisa nas áreas mais teorico-fundamentais
da Ciência da Computação realizada no país.
Em continuidade aos encontros já realizados em 1996, pretende-se
organizar mais uma série de Tutoriais em Lógica, Provas e
Algoritmos, possivelmente em Abril de 1998, contando com a
participação de 3(três) especialistas
nas áreas consideradas fronteiriças entre Teoria A e
Teoria B.