Lógica para Concorrência e Sincronização
(LOCUS)
(Projeto ProTeM-CC/CNPq 680067/95-7)
Segundo Encontro
18 a 20 de Novembro de 1998
Departamento de Informática (DI)
Universidade Federal de Pernambuco (UFPE)
Recife, Brazil
Relatórios de Progresso:
Mario Benevides (COPPE/Sistemas, Univ. Federal do Rio de Janeiro) (abstract)
Felipe França (COPPE/Sistemas, Univ. Federal do Rio de Janeiro) (abstract)
Vânia Costa (COPPE/Sistemas, Univ. Federal do Rio de Janeiro) (abstract)
Raimundo Macedo (Lab. de Sistemas Distribuídos, Univ. Federal da Bahia (abstract)
George Lima (Lab. de Sistemas Distribuídos, Univ. Federal da Bahia (abstract)
Lorena Santiago (Lab. de Sistemas Distribuídos, Univ. Federal da Bahia (abstract)
Eliana Almeida (Depto. de Ciência da Computação, Universidade Federal de Alagoas) (abstract)
Ruy de Queiroz (Departamento de Informática, Universidade Federal de Pernambuco)
Anjolina Grisi de Oliveira (Departamento de Informática, Univ. Federal de Pernambuco) (abstract)
Palestrantes Convidados:
Colin Stirling (Department of Computer Science, Edinburgh University, Scotland)
Playing Games and Proving Properties of Concurrent Systems (Tutorial)
(abstract)
Bisimulation and Modal mu-Calculus
(abstract)
Mads Dam (Swedish Institute of Computer Science)
Temporal Verification of Reactive and Mobile Systems: An Introduction (Tutorial)
(abstract)
Compositional Verification of Reactive Systems
(abstract)
Verification of Erlang Programs
(abstract)
Luiz Carlos Pereira (Departamento de Filosofia, PUC-Rio)
Multiple-Conclusion Natural Deduction (abstract)
Formato do Encontro:
Além dos relatórios de progresso (apresentados pelos
participantes do projeto), cada palestrante convidado apresentará:
(i) um tutorial de 2hs de duração sobre o estado-da-arte
na sua especialidade, mais (ii) duas ou três palestras
avançadas em temas de sua pesquisa recente na área.
Programa
Última modificação: 16 de Novembro de 1998, 11:35:19 GMT-0300.