DAIS-FMOODS    2003     PROGRAM  AT  A  GLANCE
TUESDAY 18 NOVEMBER 2003 -  WORKSHOP &  TUTORIALS
Tutorial A Tutorial B   Workshop on Adaptable Service Provision

PhD Workshop

Lunch
Turtoial C Tutorial D   Workshop on Adaptable Service Provision

Workshop on Communication Abstractions for Distributed Systems

"Global Computing II. Follow-up Proactive initiative in 2004 of FET 
(Future and Emerging Technologies)"
Leonardo Flores
Welcome Cocktail
DAIS                 CONFERENCE PROGRAMS             FMOODS
WEDNESDAY     19 NOVEMBER 2003
Can concurrency and distribution become easy ? Bertrand Meyer

Adaptation - Separation of Concerns

Models

Lunch
Deployment Java's Integral Type in PVS  Bart Jacobs
Security - Transactions Logic and Verification
THURSDAY    20 NOVEMBER 2003
Middleware? Muddleware!  Andrew Herbert
Replication Calculi
Lunch
Research Challenges of Autonomic Computing    David Chambliss
Networking and routing Java and .NET
FRIDAY    21 NOVEMBER 2003
Domain Specific Languages: Components in a Semantic Framework  Alan Cameron Wills
Discovery - Context-awareness - Ontology UML
Lunch
Asynchronous Messenging Composition and Verification