TGC 2006: Lucca, Italy

FP6 Project Overviews

Keynote Speakers

Types to Discipline Interactions

Calculi for Distributed Systems

Flexible Modeling

Algorithms and Systems for Global Computing

Security, Anonymity and Type Safety