Talks

This list does not include presentations of conference publications.
  1. A Model-Theoretic Semantics for Distributed Object System with Modules, Logic Lunch, Computer Science Laboratory, SRI International, Menlo Park, California, USA, 18.11.1999.
    2.  
  2. Going beyond Object-Orientation: Fundamentals of a Logic Approach for Describing System Dynamics, 15th British Colloquium for Theoretical Computer Science (BCTCS15) Keele University, UK, 14.04.1999.
    3.  
  3. On a Modular Logic for In-the-large Distributed Object Systems, Joint ASPIRE/FIREworks Workshop, Université d'Évry, France, 08.04.1999.
    4.  
  4. Category-Theoretic Semantics of Modular Concepts, Dagstuhl-Seminar 9807 "Information Systems as Reactive Systems", Castle Dagstuhl, Wadern, 19.02.1998.
    5.  
  5. Providing semantics for parameterised Modules, ASPIRE 1st Joint Subgroup Meeting, Lisbon, Portugal, 19.9.1997.
    6.  
  6. Category-based Composition of Concurrent Objects. Colloquium, Departamento de Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, 06.12.96.

    7.  
Back to main  page of the cv
Juliana Küster Filipe