posted by organizer: et52 || 3123 views || tracked by 6 users: [display]

TGC 2014 : 9th Symposium on Trustworthy Global Computing

FacebookTwitterLinkedInGoogle


Conference Series : Trustworthy Global Computing
 
Link: http://www.cs.le.ac.uk/events/tgc2014/
 
When Sep 5, 2014 - Sep 6, 2014
Where Rome (Italy)
Abstract Registration Due May 2, 2014
Submission Deadline May 9, 2014
Notification Due Jun 27, 2014
Categories    languages   verification   tools   theory
 

Call For Papers

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.


Highlights:
- Parallel submission to CONCUR 2014 allowed (see submission instructions below)
- Keynote speakers: Véronique Cortier (CNRS, France) and Catuscia Palamidessi (INRIA Saclay and LIX, France)
- Deadline for abstract submission: May 2 2014


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: May 2 2014
- Deadline for paper submission: May 9 2014 (STRICT!)
- Notification to authors: June 27 2014




Programme committee


- 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, CISPA, 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)


Submission instructions


Contributions must be in PostScript or PDF format and consist of no more than 15 pages in the Springer's LNCS style. Clearly marked appendixes may include additional details and proofs omitted due to space limitations.


Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere, with the exception of CONCUR. Concurrent submissions to CONCUR 2014 and TGC 2014 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.


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.


The post-proceedings will appear as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series.


PC chairs


- Matteo Maffei (CISPA, Saarland University, Germany)
- Emilio Tuosto (University of Leicester, UK)

Related Resources

ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
CAV 2020   Computer Aided Verification
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
DaKM 2020   5th International Conference on Data Mining & Knowledge Management
Ei-CCESG 2020   2020 3rd International Joint Conference on Clean Energy and Smart Grid(CCESG 2020)
CONCUR 2020   31st International Conference on Concurrency Theory
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)
VPT 2020   Eighth International Workshop on Verification and Program Transformation
EI-ICBICC 2020   2020 2nd International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2020)
CBDCom 2020   The 6th IEEE International Conference on Cloud and Big Data Computing