The 10th edition of the Trustworthy Global Computing (TGC 2015) symposium will take place in Madrid, Spain, from August 31 to September 1. This year TGC will be co-located with CONCUR, QEST and FORMATS.
The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe 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 designing open-ended, large-scaled applications and for reasoning about their behaviour and properties in a rigorous way. The related models of computation incorporate code and data mobility over distributed networks that connect heterogeneous devices and have dynamically changing topologies.
We solicit papers in all areas of global computing, including (but not limited to):
- languages, semantic models, and abstractions
- security, trust, and reliability
- privacy and information flow policies
- algorithms and protocols
- resource management
- model checking, theorem proving, and static analysis
- tool support
- Deadline for abstract submission:
May, 18th (AoE)June, 1st (AoE)
- Deadline for paper submission:
May, 25th (AoE)June, 8th (AoE)
- Notification to authors:
July, 2ndJuly, 16th
- Final version for pre-proceedings: July, 31st
TGC follows the instructions of CONCUR: submissions will be in electronic form via EasyChair. The usage of pdflatex and the LIPIcs style file are mandatory: no changes to font size, page geometry, etc. are permitted. Authors are invited to submit a draft of at most 13 pages including references. Submissions not in the correct format or submitted after the deadline will not be considered.
If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee and the reviewers.
The post-proceedings will appear as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series.