[ Próxima Página | Página Anterior | Página Principal ]
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.
Argimiro Arratia (Departmento de Matematicas, Universidad Simon Bolívar, Venezuela), falando sobre Finite Model Theory and Descriptive Complexity.
Pavel Pudlák (Mathematics Institute of the Czech Academy of Sciences), falando sobre Bounded Arithmetic.
Última atualização 8 Abril 1998, 17:47:29 EST