Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
TGC 2015 - 10th International Symposium on Trustworthy Global Computing
Topics/Call fo Papers
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
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
Other CFPs
- 26th International Conference on Concurrency Theory
- 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015)
- 12th International Conference on Integrated Formal Methods
- 12th International Symposium on Formal Aspects of Component Software (FACS 2015)
- 10th International Federated Conference on Distributed Computing Techniques
Last modified: 2014-09-20 09:23:53