| Coffee |
|
| Session 2 10:30 - 12:30 |
Opening
R. De Nicola, D. Sangiorgi Global Computing Today: Main Achievement of EU
IST-FET
funded projects on Global Computing
Kurt Geihs Global Computing Tomorrow: Presentation of
forthcoming EU IST-FET Global Computing 2
Projects
Future Perspectives in IST-FET
F. Sestini |
| Lunch |
|
| Session 3 15:45 - 16:45 |
Invited talk 1: Harmony, the Art of
Reconciliation
Benjamin Pierce |
| Coffee |
|
| Session 4 17:15 - 18:45 |
A Theory of Noninterference for the
pi-calculus
S. Crafa, S. Rossi Invited talk 2: Typed Access Control in
Untyped Contexts
M. Bugliesi |
| Coffee |
|
| Session 2 10:30 - 12:30 |
Invited Talk 3: Model-based Testing of
Cryptographic Protocols
W. Schulte A general name binding mechanism
M. Boreale, M.G. Buscemi, U. Montanari Invited Talk 4: A calculus for mobile agents
M. Hennessy |
| Lunch |
|
| Session 3 14:30 - 16:30 |
Invited Talk 5: Types for Security in a Mobile
World
Elsa Gunter History-based access control for distributed
processes
F. Martins, V. Vasconcelos Invited Talk 6: Trust coordination using
cryptographic protocols
J. Guttman |
| Coffee |
|
| Session 4 17:00 - 18:30 |
A Framework to Analyze Probabilistic Protocols
and its
Application to the Partial Secrets Exchange
K. Chatzikokolakis, C. Palamidessi A Formal Semantics For Protocol Narrations
S. Briais, U.Nestmann Webpi at work
C. Laneve, G. Zavattaro |
| Evening 19:30 |
Dinner TGC Conference Dinner
|
| Session 1 9:00 - 10:30 |
Invited Talk 7: Promise Pipelining -
Distributed Concurrency Control Under Mutual Suspicion
M. Miller The Modelling and Analysis of OceanStore
elements using the CSP
Dependability Library
W. Simmonds, T. Hawkins |
| Coffee |
|
| Session 2 11:00 - 12:45 |
Invited Talk 8: A Practical Formal Model for
Safety Analysis in Capability-Based
Systems
P. Van Roy Mixin modules for dynamic rebinding
D. Ancona, S. Fagorzi, E. Zucca A Distributed Object-Oriented
Language with Session Types
M. Dezani-Ciancaglini, N. Yoshida, A. Ahern, S. Drossopoulou |
| Lunch |
|
| Session 3 14:30 - 15:30 |
Engineering Runtime Requirements-Monitoring
Systems using MDA
Technologies
J. Skene, W. Emmerich Automated Analysis of Infinite Scenarios
M. Buchholtz |
| Coffee |
|
| Session 4 16:00 - 18:15 |
Invited Talk 9:
Proof Techniques for Distributed Resources and Behaviors using Spatial
Logics
L. Caires Invited Talk 10: Title to be announced
S. Weerawarana Invited Talk 11: Algorithmic issues and models
for smart dust networks
P. Spirakis |