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

maintained by Schloss Dagstuhl LZI at University of Trier