posted by user: albertolluch || 7323 views || tracked by 10 users: [display]

TGC 2013 : 8th International Symposium on Trustworthy Global Computing


Conference Series : Trustworthy Global Computing
When Aug 30, 2013 - Aug 31, 2013
Where Buenos Aires
Abstract Registration Due Apr 15, 2013
Submission Deadline Apr 22, 2013
Notification Due Jun 10, 2013
Categories    formal methods   security   trust   concurrency

Call For Papers

== CALL FOR PAPERS ===================================================
8th International Symposium on Trustworthy Global Computing (TGC 2013)
Buenos Aires, 30-31 August 2013
(co-located with CONCUR, QEST & FORMATS 2013)
Call for Papers

Important dates
15 April 2013 Deadline for abstract submission
22 April 2013 Deadline for paper submission
10 June 2013 Notification to authors
30-31 August 2013 Symposium

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):

* 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.

Submission details
Papers are to be submitted through EasyChair.

Contributions must be in PDF format and consist of no more than 15 pages in the Springer LNCS style. Additional details and proofs omitted due to space limitations may be included in a clearly marked appendix.

Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere.

Collaboration with CONCUR
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.

We plan to publish Springer LNCS post-proceedings shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference.

Pre-proceedings with the accepted papers will be made available 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)
Davide Sangiorgi (University of Bologna, Italy)
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)
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)

Contact information

Related Resources

AI4DE - 2021   Trustworthy AI for Digital Engineering Transformation - Special Issue of JIDPS - Trans. SDPS
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
IJCIS 2021   International Journal on Cryptography and Information Security
IoT Edge Computing AI 2021   Edge Computing Optimization Using Artificial Intelligence Methods
IJCCSA 2021   International Journal on Cloud Computing: Services and Architecture
ICoIV 2021 - Ei Compendex & Scopus 2021   2021 International Conference on Intelligent Vehicles (ICoIV 2021)
SPTM 2021   9th International Conference of Security, Privacy and Trust Management
EMER 2022   4th Global Conference on Emergency Nursing and Trauma Care
CAV 2021   33rd International Conference on Computer-Aided Verification