TGC 2013
Date: Aug 30, 2013 1:00 am – Aug 31, 2013 7:15 pm
Location: Buenos Aires, Argentina
8th International Symposium on
Trustworthy Global Computing (TGC 2013)
Buenos Aires, 30-31 August 2013
(co-located with CONCUR, QEST & FORMATS 2013)
co-located with CONCUR, QEST & FORMATS 2013
Important dates
Deadline for abstract submission:
15 April 2013 22 April 2013 (AoE)
Deadline for paper submission:
22 April 2013 29 April 2013 (AoE)
Notification to authors:
10 June 2013
Symposium:
30-31 August 2013
Scope
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.
Topics
We solicit papers in all areas of global computing, including (but not limited to):
- theories, languages, models and algorithms;
- language concepts and abstraction mechanisms;
- security, trust, privacy and reliability;
- resource usage and information flow policies;
- software development and software principles;
- model checkers, theorem provers and static analyzers.
Collaboration with CONCUR 2013
Exceptionally, however, concurrent submissions to CONCUR 2013 and TGC 2013 are allowed, and in fact encouraged for those paper that may potentially enhance both conferences. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the “Regular Paper submitted to CONCUR” paper category). Reviews may be shared between CONCUR 2013 and TGC 2013. CONCUR’s timeline is ahead of TGC’s; submissions accepted by CONCUR will be considered automatically withdrawn from TGC.
Collaboration with EXPRESS/SOS 2013
Authors interested in submitting their papers to SOS 2013 as well should contact the Program Chairs of TGC 2013 and SOS 2013 at the time of submission. Submissions accepted by TGC 2013 will be considered automatically withdrawn from SOS 2013.
Proceedings
We plan to publish post-proceedings shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference.
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
- Martín Abadi (Microsoft Research and UC Santa Cruz, USA)
- Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
Programme committee
- Gul Agha (University of Illinois at Urbana-Champaign, USA)
- Myrto Arapinis (University of Birmingham, UK)
- Rocco De Nicola (IMT Lucca, Italy)
- Luis Caires (Universidade Nova de Lisboa, Portugal)
- José Luiz Fiadeiro (Royal Holloway University of London, UK)
- Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)
- Radha Jagadeesan (DePaul University, USA)
- Sergio Maffeis (Imperial College London, UK)
- Matteo Maffei (Saarland University, Germany)
- Catuscia Palamidessi (INRIA & École Polytechnique, France)
- Frank Pfenning (Carnegie Mellon University, USA)
- Sriram Rajamani (Microsoft Research, India)
- Tamara Rezk (INRIA, France)
- Alejandro Russo (Chalmers University of Technology, Sweden)
- Davide Sangiorgi (University of Bologna, Italy)
- Carolyn Talcott (SRI International, USA)
- Emilio Tuosto (University of Leicester, UK)
- Sebastián Uchitel (University of Buenos Aires, Argentina and Imperial College London, UK)
- Martin Wirsing (LMU University of Munich, Germany)
Submitted by Anonymous
on
8th International Symposium on
Trustworthy Global Computing (TGC 2013) Buenos Aires, 30-31 August 2013 (co-located with CONCUR, QEST & FORMATS 2013)
co-located with CONCUR, QEST & FORMATS 2013
Important dates
| Deadline for abstract submission: | 15 April 2013 22 April 2013 (AoE) |
| Deadline for paper submission: | 22 April 2013 29 April 2013 (AoE) |
| Notification to authors: | 10 June 2013 |
| Symposium: | 30-31 August 2013 |
Scope
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.
Topics
We solicit papers in all areas of global computing, including (but not limited to):
- theories, languages, models and algorithms;
- language concepts and abstraction mechanisms;
- security, trust, privacy and reliability;
- resource usage and information flow policies;
- software development and software principles;
- model checkers, theorem provers and static analyzers.
Collaboration with CONCUR 2013
Exceptionally, however, concurrent submissions to CONCUR 2013 and TGC 2013 are allowed, and in fact encouraged for those paper that may potentially enhance both conferences. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the “Regular Paper submitted to CONCUR” paper category). Reviews may be shared between CONCUR 2013 and TGC 2013. CONCUR’s timeline is ahead of TGC’s; submissions accepted by CONCUR will be considered automatically withdrawn from TGC.
Collaboration with EXPRESS/SOS 2013
Authors interested in submitting their papers to SOS 2013 as well should contact the Program Chairs of TGC 2013 and SOS 2013 at the time of submission. Submissions accepted by TGC 2013 will be considered automatically withdrawn from SOS 2013.
Proceedings
We plan to publish post-proceedings shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference.
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
- Martín Abadi (Microsoft Research and UC Santa Cruz, USA)
- Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
Programme committee
- Gul Agha (University of Illinois at Urbana-Champaign, USA)
- Myrto Arapinis (University of Birmingham, UK)
- Rocco De Nicola (IMT Lucca, Italy)
- Luis Caires (Universidade Nova de Lisboa, Portugal)
- José Luiz Fiadeiro (Royal Holloway University of London, UK)
- Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)
- Radha Jagadeesan (DePaul University, USA)
- Sergio Maffeis (Imperial College London, UK)
- Matteo Maffei (Saarland University, Germany)
- Catuscia Palamidessi (INRIA & École Polytechnique, France)
- Frank Pfenning (Carnegie Mellon University, USA)
- Sriram Rajamani (Microsoft Research, India)
- Tamara Rezk (INRIA, France)
- Alejandro Russo (Chalmers University of Technology, Sweden)
- Davide Sangiorgi (University of Bologna, Italy)
- Carolyn Talcott (SRI International, USA)
- Emilio Tuosto (University of Leicester, UK)
- Sebastián Uchitel (University of Buenos Aires, Argentina and Imperial College London, UK)
- Martin Wirsing (LMU University of Munich, Germany)