Logic for Concurrency and Synchronisation
(LOCUS)
(Projeto ProTeM-CC/CNPq 680067/95-7)

First Workshop
March 4-6, 1998 (NEW DATES!)

Departamento de Informática (DI)
Universidade Federal de Pernambuco (UFPE)
Recife, Brazil
Progress Reports:
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)

Guest Speakers:
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)

    Format:
    Apart from the progress reports presented by the project participants, each guest speaker will give: (i) a 2-hour tutorial on the state-of-the-art of his/her topic of expertise, plus (ii) two or three advanced lectures on themes of his/her recent research in the area.

    Programme

    Last modified: April 9, 1998, 10:52:47 EST.