[ecoop-info] TGC 2014: deadlines extended

[Emilio Tuosto]

TGC 2014 Call for Papers

9th Symposium on Trustworthy Global Computing


http://www.cs.le.ac.uk/events/tgc2014/

5-6 September, 2014

Rome, Italy (co-located with Concur 2014)


*******************************************************************************************


Due to several requests, the deadlines have been extended by one week.


*******************************************************************************************



Highlights:

- Deadlines extended:

abstract submission:     May 9 2014

paper submission:     May 16 2014

- Keynote speakers:

Véronique Cortier (CNRS, France)

Catuscia Palamidessi (INRIA Saclay and LIX, France)



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.


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 9 2014

- Deadline for paper submission: May 16 2014

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




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140503/fc406df5/attachment.html>