[TYPES] TGC: final programme
Davide Sangiorgi
Davide.Sangiorgi at cs.unibo.it
Fri Mar 18 15:09:51 EST 2005
--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)
More information about the Types-list
mailing list