Lógica para Concorrência e Sincronização
(LOCUS)
(Projeto ProTeM-CC/CNPq 680067/95-7)
Primeiro Encontro
4 a 6 de Março de 1998 (NOVAS DATAS!)
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)
Marcelo Sihman (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)
Adolfo G. Serra Sêca Neto (Departamento de Ciência da Computação, Univ. Federal de Alagoas)
Ruy de Queiroz (Departamento de Informática, Universidade Federal de Pernambuco)
Anjolina Grisi de Oliveira (Departamento de Informática, Univ. Federal de Pernambuco) (abstract)
Murilo Marinho de Souza (Departamento de Informática, Univ. Federal de Pernambuco) (abstract)
Palestrantes Convidados:
Gianluigi Bellin (Facoltà di Scienze, Università degli Studi di Verona, Italia)
Proofs as Processes (Tutorial)
(abstract)
Proof-Recognition as a Parallel Process
(abstract)
Two Paradigms of Logical Computation in Affine Logic
(abstract)
Planar and Braided Proof-Nets
(abstract)
Discussion: Processes as Proofs?
(abstract)
David Déharbe (Depto. de Inform. e Matem. Aplicada, Univ. Fed. do Rio Grande do Norte)
Model Checking (abstract)
Alexandre Cabral Mota (DI-UFPE)
Model-Checking CSP-Z (abstract)
Edward Hermann Haeusler (Depto. Informática, Pontif. Univ. Católica do Rio de Janeiro)
(to be announced)
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: 9 Abril 1998, 10:52:47 EST.