Pesquisa e Pós-Graduação
em Ciência da Computação

Área de TEORIA DA COMPUTAÇÃO

Histórico

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.

Página em construção

Última atualização em 24 de Setembro de 2001, 11:30hs