<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><h2 dir="ltr" style="line-height: 1.15; margin-top: 10pt; margin-bottom: 0pt;"><span style="font-size: 19px; font-family: 'Trebuchet MS'; vertical-align: baseline; white-space: pre-wrap;">Last call for Papers</span></h2><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">TGC 2014 </span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">9th Symposium on Trustworthy Global Computing </span></div><div><br></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"><a href="http://www.cs.le.ac.uk/events/tgc2014/">http://www.cs.le.ac.uk/events/tgc2014/</a></span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">5-6 September, 2014</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Rome, Italy (co-located with Concur 2014)</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">*****************************************************************************</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">The Symposium on Trustworthy Global Computing is an international annual venue dedicated to secure and reliable computation in the so-called global computing, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems, and cloud computing.</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; font-weight: bold; vertical-align: baseline; white-space: pre-wrap;">Highlights</span><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">:</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-family: Arial; font-size: 15px; white-space: pre-wrap; line-height: 1.15;">- Keynote speakers: Véronique Cortier (CNRS, France) and Catuscia Palamidessi (INRIA Saclay and LIX, France)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Deadline for abstract submission: May 2 2014</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">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.</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">We solicit papers in all areas of global computing, including (but not limited to):</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- languages, semantic models, and abstractions</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- security, trust, and reliability</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- privacy and information flow policies</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- algorithms and protocols</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- resource management</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- model checking, theorem proving, and static analysis</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- tool support</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Important dates</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Deadline for abstract submission: May 2 2014</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Deadline for paper submission: May 9 2014 (STRICT!)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Notification to authors: June 27 2014</span></div><br><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Programme committee</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Stephanie Delaune (CNRS and LSV, France)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Anupam Datta (Carnegie Mellon University, USA)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Fabio Gadducci (Università di Pisa, Italy)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Dan Ghica (University of Birmingham, UK)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Joshua Guttman (Worcester Polytechnic Institute, USA)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Christos Kaklamanis (University of Patras and CTI, Greece)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Daniel Hirschkoff (ENS Lyon, France)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Boris Köpf (IMDEA Software Institute, Spain)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Michele Loreti (Università degli Studi di Firenze, Italy)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Matteo Maffei (co-chair, CISPA, Saarland University, Germany)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Hernan Melgratti (Universidad de Buenos Aires, Argentina)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- António Ravara (Universidade Nova de Lisboa, Portugal)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Alejandro Russo (Chalmers University of Technology, Sweden)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Andrey Rybalchenko (TU München, Germany)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Emilio Tuosto (co-chair) (co-chair, University of Leicester, UK)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Björn Victor (Uppsala University, Sweden)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Roberto Zunino (Università degli Studi di Trento, Italy)</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Submission instructions</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Contributions must be in PostScript or PDF format and consist of no more than 15 pages in the Springer's LNCS style. Clearly marked appendices may include additional details and proofs omitted due to space limitations.</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">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.</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">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.</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">The post-proceedings will appear as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series.</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">PC chairs</span></div><br><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Matteo Maffei (CISPA, Saarland University, Germany)</span></div><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- Emilio Tuosto (University of Leicester, UK)</span></div></body></html>