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

Second Workshop
November 18-20, 1998

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)
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)

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

    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.
    Time will also be allocated to contributions in the form of 2-page abstracts, which will be refereed by the project coordinators. Deadline: October 15th, 1998.

    Programme

    Last modified: November 16, 1998, 11:35:30 GMT-0300.