Lógica Provas e Algoritmos (LPA'98)

São Paulo[1]

, 15 a 19 de Abril de 1998
(Em associaçäo com o LATIN'98, mesmo local)

Constituindo-se essencialmente de uma série de 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 objetivo do LPA é contribuir para a interação de pesquisadores nas áreas emergentes entre Lógica Matemática e Teoria da Complexidade Computacional, estimulando também 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 areas ‘fronteiriças’ entre "Teoria A" e "Teoria B", contribuindo assim para a consolidação do nível de excelência da pesquisa nas áreas teórico-fundamentais da Ciência da Computação.

SUBMISSÕES

Resumos (600 palavras) em inglês devem ser enviados a lpa98@di.ufpe.br até 15/1/98. O comitêde programa se encarregará de divulgar as comunicações selecionadas antes de 28/2/98.

FORMATO

Cada palestrante convidado dará uma aula expositiva ("tutorial") de 2 horas para apresentar o "estado-da-arte" de seu tópico de pesquisa, além de duas ou três apresentações de 1h de duração sob forma de "palestras avançadas" sobre resultados, desenvolvimentos recentes e problemas em aberto em sua área.
CONTRIBUIÇÕES: Haverá espaço para a apresentação de um pequeno número de comunicações (30min) selecionadas pelo comitê de programa.

PALESTRANTES CONVIDADOS