O grupo de Teoria e Fundamentos Lógicos da Computação do CIn/UFPE é um
grupo pequeno, porém bastante atuante, haja visto o número
de teses defendidas por alunos desta área,
o volume de publicações
e a quantidade de eventos
(inclusive internacionais) que o grupo tem organizado.
Recentemente (desde 1996) o grupo tem procurado promover uma maior interação
entre as duas subáreas da Teoria da Computação, não
somente através da pesquisa propriamente dita, mas procurando a
consolidação da área no país e no contexto
internacional através da organização de um evento
internacional: o encontro denominado Lógica, Provas e Algoritmos:
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.
Última atualização em 24 de Setembro de 2001, 11:30hs