9th International Symposium on Trustworthy Global Computing
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.
Topics
- 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
Important Dates
Deadline for abstract submission: May 9 2014
Deadline for paper submission: May 16 2014
Notification to authors: June 27 2014
Invited speakers
- Véronique Cortier (CNRS, France)
- Catuscia Palamidessi (INRIA Saclay and LIX, France)
Steering committee
- Gilles Barthe (IMDEA Software, Madrid, Spain)
- Rocco De Nicola (IMT Institute for Advanced Studies Lucca, Italy)
- Christos Kaklamanis (University of Patras, Greece)
- Ugo Montanari (University of Pisa, Italy)
- Davide Sangiorgi (University of Bologna, Italy)
- Don Sannella (University of Edinburgh, Scotland)
- Vladimiro Sassone (University of Southampton, UK)
- Martin Wirsing (LMU University of Munich, Germany)
Programme chairs
- Matteo Maffei (Saarland University, Germany)
- Emilio Tuosto (University of Leicester, UK)
Programme committee
- Stephen Chong (Harvard University, USA)
- Stephanie Delaune (CNRS and LSV, France)
- Anupam Datta (Carnegie Mellon University, USA)
- Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
- Fabio Gadducci (Università di Pisa, Italy)
- Dan Ghica (University of Birmingham, UK)
- Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)
- Joshua Guttman (Worcester Polytechnic Institute, USA)
- Christos Kaklamanis (University of Patras and CTI, Greece)
- Daniel Hirschkoff (ENS Lyon, France)
- Boris Köpf (IMDEA Software Institute, Spain)
- Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
- Michele Loreti (Università degli Studi di Firenze, Italy)
- Matteo Maffei (co-chair, Saarland University, Germany)
- Hernan Melgratti (Universidad de Buenos Aires, Argentina)
- António Ravara (Universidade Nova de Lisboa, Portugal)
- Alejandro Russo (Chalmers University of Technology, Sweden)
- Andrey Rybalchenko (TU München, Germany)
- Emilio Tuosto (co-chair) (co-chair, University of Leicester, UK)
- Björn Victor (Uppsala University, Sweden)
- Roberto Zunino (Università degli Studi di Trento, Italy)
Submitted by Anonymous
on
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.
Topics
- 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
Important Dates
Deadline for abstract submission: May 9 2014
Deadline for paper submission: May 16 2014
Notification to authors: June 27 2014
Invited speakers
- Véronique Cortier (CNRS, France)
- Catuscia Palamidessi (INRIA Saclay and LIX, France)
Steering committee
- Gilles Barthe (IMDEA Software, Madrid, Spain)
- Rocco De Nicola (IMT Institute for Advanced Studies Lucca, Italy)
- Christos Kaklamanis (University of Patras, Greece)
- Ugo Montanari (University of Pisa, Italy)
- Davide Sangiorgi (University of Bologna, Italy)
- Don Sannella (University of Edinburgh, Scotland)
- Vladimiro Sassone (University of Southampton, UK)
- Martin Wirsing (LMU University of Munich, Germany)
Programme chairs
- Matteo Maffei (Saarland University, Germany)
- Emilio Tuosto (University of Leicester, UK)
Programme committee
- Stephen Chong (Harvard University, USA)
- Stephanie Delaune (CNRS and LSV, France)
- Anupam Datta (Carnegie Mellon University, USA)
- Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
- Fabio Gadducci (Università di Pisa, Italy)
- Dan Ghica (University of Birmingham, UK)
- Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)
- Joshua Guttman (Worcester Polytechnic Institute, USA)
- Christos Kaklamanis (University of Patras and CTI, Greece)
- Daniel Hirschkoff (ENS Lyon, France)
- Boris Köpf (IMDEA Software Institute, Spain)
- Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
- Michele Loreti (Università degli Studi di Firenze, Italy)
- Matteo Maffei (co-chair, Saarland University, Germany)
- Hernan Melgratti (Universidad de Buenos Aires, Argentina)
- António Ravara (Universidade Nova de Lisboa, Portugal)
- Alejandro Russo (Chalmers University of Technology, Sweden)
- Andrey Rybalchenko (TU München, Germany)
- Emilio Tuosto (co-chair) (co-chair, University of Leicester, UK)
- Björn Victor (Uppsala University, Sweden)
- Roberto Zunino (Università degli Studi di Trento, Italy)