TGC: Trustworthy Global Computing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2016 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TGC 2015 Symposium on Trustworthy Global Computing
Aug 31, 2015 - Sep 1, 2015 Madrid Jun 8, 2015 (Jun 1, 2015)
TGC 2014 9th Symposium on Trustworthy Global Computing
Sep 5, 2014 - Sep 6, 2014 Rome (Italy) May 9, 2014 (May 2, 2014)
TGC 2013 8th International Symposium on Trustworthy Global Computing
Aug 30, 2013 - Aug 31, 2013 Buenos Aires Apr 22, 2013 (Apr 15, 2013)
TGC 2011 6th International Symposium on Trustworthy Global Computing
Sep 9, 2011 - Sep 10, 2011 Aachen, Germany Jun 5, 2011 (May 30, 2011)
TGC 2010 5th Intl. Symposium on Trustworthy Global Computing
Feb 24, 2010 - Feb 26, 2010 Munich, Germany Jan 8, 2010
 
 

Present CFP : 2015

The Symposium on Trustworthy Global Computing (TGC) is an international 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.

# Highlights:
- Co-located with CONCUR 2015 (Madrid, Spain) from August, 31st to September, 1st
- Parallel submission to CONCUR 2015 allowed
- Keynote speakers:
* Gianluigi Zavattaro from the University of Bologna, Italy (joint with CONCUR),
* Andrey Rybalchenko from Microsoft Research Cambridge, UK.

- Deadline for abstract submission: *June, 1st*
- Deadline for paper submission: *June, 8th*

# Topic
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.

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

# Important dates
- Deadline for abstract submission: June, 1st (AoE)
- Deadline for paper submission: June, 8th (AoE)
- Notification to authors: July, 16th

# Programme committee
- Myrto Arapinis, University of Birmingham, UK
- Alessandro Armando, DIBRIS, Universita' di Genova, Italy
- Laura Bocchi, University of Kent, UK
- Luis Caires, Departamento de Informatica, Universidade Nova de Lisboa, Portugal
- Marco Carbone, IT University of Copenhagen, Denmark
- Ilaria Castellani, INRIA Sophia Antipolis, France
- Pedro R. D'Argenio, Universidad Nacional de Córdoba - CONICET, Argentina
- Giorgio Delzanno, DIBRIS, Universita' di Genova, Italy
- Fabio Gadducci, Dipartimento di Informatica, Università di Pisa, Italy
- Pierre Ganty, IMDEA Software Institute, Spain (co-chair)
- Rolf Hennicker, Ludwig-Maximilians-Universität München, Germany
- Christos Kaklamanis, University of Patras and CTI, Greece
- Steve Kremer, INRIA Nancy - Grand Est
- Alberto Lluch Lafuente, Technical University of Denmark
- Michele Loreti, Universita' degli Studi di Firenze, Italy (co-chair)
- Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA
- Matteo Maffei, CISPA, Saarland University, Germany
- Gennaro Parlato, University of Southampton
- Michael Rusinowitch, LORIA, INRIA Nancy, France
- Davide Sangiorgi, Universita' di Bologna, Italy
- Emilio Tuosto, Department of Computer Science, University of Leicester, UK

# Submission instructions
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.

As usual, for an accepted paper one of the authors must commit to presenting the paper
at the conference.

Submitted papers must describe work unpublished in refereed venues, and not submitted for
publication elsewhere, with the exception of CONCUR. Concurrent submissions to CONCUR 2015
and TGC 2015 are allowed, and in fact encouraged, for those papers that may potentially
enhance both conferences. Authors of such double submissions should flag 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 and TGC. CONCUR's timeline is ahead of TGC's; submissions accepted by CONCUR
will be considered automatically withdrawn from TGC.

Contributions will be published in post-proceedings shortly after the conference. The aim
is to give authors the opportunity to take into account discussions and suggestions at the
conference. As in all previous editions of TGC, the post-proceedings will appear as a
volume in Springer’s Lecture Notes in Computer Science (LNCS) series.

# PC chairs
- Pierre Ganty (IMDEA Software Institute, Madrid, Spain)
- Michele Loreti (Università degli Studi di Firenze, Italy)
 

Related Resources

UbiComp 2017   2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ParCo 2017   Parallel Computing Conference
PACT 2017   International Conference on Parallel Architectures and Compilation Techniques
ACII 2017   Affective Computing and Intelligent Interaction
BDCloud 2017   The 7th IEEE International Conference on Big Data and Cloud Computing
ScalCom 2017   ScalCom 2017 : The 17h IEEE International Conference on Scalable Computing and Communications
Elsevier JOCS NCP&BD 2017   Elsevier Journal of Computational Science (SCI IF=1.078) Special Issue on The Convergence of New Computing Paradigms and Big Data Analytics Methodologies for Online Social Networks
DL-U-TC@HICSS 2017   Deep learning, Ubiquitous and Toy Computing Minitrack @ HICSS-50
ICCT-IEEE 2017   17th IEEE International Conference on Communication Technology(ICCT 2017)