Lógica, Provas e Algoritmos

[ Próxima Página | Página Anterior | Página Principal ]



English Version

Próximos Encontros

Tutela Científica:
Interest Group in Pure and Applied Logics
European Association of Theoretical Computer Science

Em continuidade ao projeto Lógica, Provas e Algoritmos, estamos organizando mais uma série de Tutoriais em Lógica, Provas e Algoritmos, de 15 a 18 de Abril de 1998, (ou seja, imediatamente anterior, no mesmo local: Campus da Univ. Estadual de Campinas (UNICAMP), e em associação com o LATIN'98) onde cada especialista apresentará uma aula tutorial (introdutória) de duração aproximada de 2hs, e mais 2(duas) ou 3(três) palestras avançadas de 1h de duração sobre resultados recentes em sua especialidade.

Contaremos com a participação de 3(três) especialistas de renome internacional:

Alessandra Carbone (Department of Mathematics and Computer Science, University of Paris 12), falando sobre Proof Complexity.

  • Título e Resumo das Palestras

    Argimiro Arratia (Departmento de Matematicas, Universidad Simon Bolívar, Venezuela), falando sobre Finite Model Theory and Descriptive Complexity.

  • Título e Resumo das Palestras

    Pavel Pudlák (Mathematics Institute of the Czech Academy of Sciences), falando sobre Bounded Arithmetic.

  • Título e Resumo das Palestras

    Submissão de contribuições

    Resumos (600 palavras) em inglês devem ser enviados ao endereço lpa98 at di ufpe br

    Programa Final

    Informações Gerais

  • Inscrições (Obs.: Inscritos no LATIN'98 têm desconto especial)
  • Acomodação: ver instruções na página LATIN'98 Registration and Other Useful Information.

    Última atualização 8 Abril 1998, 17:47:29 EST