<a name="scope">The Symposium on Trustworthy Global Computing is an international annual venue dedicated to secure and reliable computation in the so–called global computers, i.e., those computational abstractions emerging in large–scale infrastructures such as service–oriented architectures, autonomic systems, and cloud computing. The TGC series focuses on providing frameworks, tools, algorithms, and protocols for rigorously designing, verifying, and implementing open–ended, large–scaled applications. The related models of computation incorporate code and data mobility over distributed networks that connect heterogeneous devices and have dynamically changing topologies.<br></a><a name="topics"><p> We solicit papers in all areas of global computing, including (but not limited to):<br></p><p>– languages, semantic models, and abstractions<br></p><p>– security, trust, and reliabilityprivacy and information flow policies</p><p>– algorithms and protocols<br></p><p>– resource management<br></p><p>– model checking, theorem proving, and static analysis<br></p><p>– tool support</p></a><a name="scope"><br></a>
Abbrevation
TGC
City
Rome
Country
Italy
Deadline Paper
Start Date
End Date
Abstract