International Symposium on
Thrustworthy Global Computing
   April 7-9, 2005



*** Thursday, April 7 ***


  9.00 - 10.00  Invited Talk ETAPS (A. Myers) 
 10.00 - 10.30 Coffee Break 

SESSION 1

10.30 - 10.45  R. De Nicola, D. Sangiorgi 
	       TGC Opening  
10.45 - 11.15  Kurt Geihs 
	       Global Computing Today: Main Achievement of EU IST-FET funded projects on Global Computing 
11.15 - 12.15  Global Computing Tomorrow: Presentation of forthcoming EU IST-FET Global Computing 2 Projects 
12.15 - 12.30  F. Sestini  
	       Future Perspectives in IST-FET

12.30 - 14.30 Lunch (do it yourself)
14.30 - 15.30 Invited ETAPS (K.L. McMillan) 
15.30 - 15.45 Move to new building

SESSION 2

15.45 - 16.30 Invited talk 1: Benjamin Pierce 
	      Harmony, the Art of Reconciliation

16.45 - 17.15 Coffee Break

SESSION 3

17.15 - 17.45 Contributed Paper 1: S. Crafa, S. Rossi 
	      A Theory of Noninterference for the pi-calculus
17.45 - 18.30 Invited Talk 2: M. Bugliesi
	      Typed Access Control in Untyped Contexts


** Friday, April 8 **


 9.00 - 10.00  Invited ETAPS (T. Henzinger) 
10.00 - 10.30  Coffee Break

SESSION 4

10.30 - 11.15 Invited Talk 3: W. Schulte 
	      Model-based Testing of Cryptographic Protocols
11.15 - 11.45 Contributed Paper 2: M. Boreale, M.G. Buscemi, U. Montanari 
 	      A general name binding mechanism
11.45 - 12.30 Invited Talk 4: M. Hennessy  
	      A calculus for mobile agents

12.30 - 14.30 Lunch (do it yourself)

SESSION 5

14.30 - 15.15 Invited Talk 5: Elsa Gunter 
	      Types for Security in a Mobile World 
15.15 - 15.45 Contributed Paper 3: F. Martins, V. Vasconcelos 
	      History-based access control for distributed processes
15.45 - 16.30 Invited Talk 6: J. Guttman 
	      Trust coordination using cryptographic protocols 

16.30 - 17.00 Coffee Break

SESSION 6

17.00 - 17.30 Contributed Paper 4: K. Chatzikokolakis, C. Palamidessi 
	      A Framework to Analyze Probabilistic Protocols and its Application to the Partial Secrets Exchange
17.30 - 18.00 Contributed Paper 5: S. Briais, U.Nestmann  
	      A Formal Semantics For Protocol Narrations
18.00 - 18.30 Contributed Paper 6: C. Laneve, G. Zavattaro 
	      Webpi at work

EVENING
 
19:30	TGC Conference Dinner 



** Saturday, April 9 **


SESSION 7

 9.15 - 10.00 Invited Talk 7: M. Miller 
	      Promise Pipelining - Distributed Concurrency Control Under Mutual Suspicion
10.00 - 10.30 Contributed Paper 7: W. Simmonds, T. Hawkins  
	      The Modelling and Analysis of OceanStore elements using the CSP Dependability Library

10.30 - 11.00  Coffee Break

SESSION 8

11.00 - 11.45 Invited Talk 8: P. Van Roy 
	      A Practical Formal Model for Safety Analysis in Capability-Based Systems
11.45 - 12.15 Contributed Paper 8: D. Ancona, S. Fagorzi, E. Zucca 
	      Mixin modules for dynamic rebinding
12.15 - 12.45 Contributed Paper 9: M. Dezani-Ciancaglini, N. Yoshida, A. Ahern, S. Drossopoulou 
      	      A Distributed Object-Oriented Language with Session Types

12.45 - 14,30 Lunch (offered by organizers)

SESSION 9

14.30 - 15.00 Contributed Paper 10: J. Skene, W. Emmerich 
	      Engineering Runtime Requirements-Monitoring Systems using MDA Technologies
15.00 - 15.30 Contributed Paper 11: M. Buchholtz 
	      Automated Analysis of Infinite Scenarios

15.30 - 16.00  Coffee Break

16.00 - 16.45 Invited Talk 9: L. Caires 
	      Proof Techniques for Distributed Resources and Behaviors using Spatial Logics
16.45 - 17,30 Invited Talk 10: S. Weerawarana 
	      <To be announced>  
17.30 - 18.15 Invited Talk 11: P. Spirakis 
	      Algorithmic issues and models for smart dust networks