[TYPES/announce] Second CfP: TGC'15 - The 10th Int'l Symposium on Trustworthy Global Computing

Michele Loreti michele.loreti at unifi.it
Fri Apr 17 03:12:13 EDT 2015


[Apologies for multiple copies.]

                      CALL FOR PAPERS
                           TGC'15
             10th International Symposium on
                   Trustworthy Global Computing

                     Madrid, Spain
                   31 August-1 September 2015

             http://tgc2015.disia.unifi.it/


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: May, 18th

# 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: May, 18th (AoE)
- Deadline for paper submission: May, 25th (AoE)
- Notification to authors: July, 2nd 

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

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



More information about the Types-announce mailing list