6th International Symposium on Trustworthy Global Computing November 8, 2011

The TGC series focuses on providing frameworks, tools, algorithms and protocols for designing open-ended, large-scaled applications and for reasoning about their behaviour and properties in a rigourous way.

Official Website: http://www.di.unipi.it/TGC2011/index.html