[TYPES] TGC: final programme

[Davide Sangiorgi]

--text follows this line--


TGC: International Symposium on Trustworthy Global Computing
    Edinburgh, UK, April 7-9, 2005 
   http://www.cs.unibo.it/~sangio/TGC05/

Please find below the final programme for TGC '05.
TGC 05 is co-located with ETAPS 2005
(http://www.etaps05.inf.ed.ac.uk/). 

We recall that the initiative stems from the IFIP Working Group 2.2.
The symposium also takes place in conjunction with the final event of
the first IST/FET proactive initiative of the European Community
on GLOBAL COMPUTING. Half of the presentations are invited talks,
which will be an occasion to show what the initiative has achieved,
and to see what is being done related to this theme outside the
initiative. 
The proceedings of the symposium will be published by Springer
Verlag. 

   -- The TGC organising committee

=========================================


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


** 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
	      (to be confirmed)