[TYPES/announce] TGC 2013: Call for Participation

Alberto Lluch Lafuente albertolluch at gmail.com
Tue Jul 9 05:15:38 EDT 2013

== CALL FOR PARTICIPATION ============================================
8th International Symposium on Trustworthy Global Computing (TGC 2013)
Buenos Aires, 30-31 August 2013
(co-located with CONCUR, QEST & FORMATS 2013)

Important dates
20 July 2013 Early Registration Deadline
30-31 August 2013 Symposium

The Symposium on Trustworthy Global Computing is an international annual
venue dedicated to safe 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. The TGC series focuses on providing frameworks, tools,
algorithms and protocols for designing open-ended, large-scaled
applications and for reasoning about their behaviour and properties in a
rigorous way. The related models of computation incorporate code and data
mobility over distributed networks that connect heterogeneous devices and
have dynamically changing topologies.

Invited speakers
Luca de Alfaro (UC Santa Cruz, USA)
Nobuko Yoshida (Imperial College London, UK)
Jane Hillston (University of Edinburgh, UK)

Accepted papers
The list of accepted papers can be found at:

The program of TGC and co-located events can be found at:


Please visit: http://concur-conferences.org/concur2013/registration.php

For registration-related queries, including any visa letter requirements,
please visit http://www.concur-conferences.org/concur2013/travel.php or
contact: concur2013 at cs.famaf.unc.edu.ar

Co-located events
- 24th International Conference on Concurrency Theory (CONCUR 2013)
- 10th Intl. Conference on Quantitative Evaluation of SysTems (QEST 2013)
- 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems
(FORMATS 2013)

Affiliated pre-conference events (August 26)
- Combined 20th International Workshop on Expressiveness in Concurrency and
  10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013)
- 9th International Workshop on Developments in Computational Models (DCM
- Latin American Workshop on Formal Methods (LAFM 2013)
- QEST Tutorials

Affiliated post-conference events (August 31)
- IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2013)
- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2013)
- MEALS Momentum Gathering

Steering committee
Gilles Barthe (IMDEA Software, Madrid, Spain)
Rocco De Nicola (IMT Institute for Advanced Studies Lucca, Italy)
Christos Kaklamanis (University of Patras, Greece)
Ugo Montanari(University of Pisa, Italy)
Davide Sangiorgi (University of Bologna, Italy)
Don Sannella (University of Edinburgh, Scotland)
Vladimiro Sassone (University of Southampton, UK)
Martin Wirsing (LMU University of Munich, Germany)

Programme chairs
Martín Abadi (Microsoft Research and UC Santa Cruz, USA)
Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)

Programme committee
Gul Agha (University of Illinois at Urbana-Champaign, USA)
Myrto Arapinis (University of Birmingham, UK)
Rocco De Nicola (IMT Lucca, Italy)
Luis Caires (Universidade Nova de Lisboa, Portugal)
José Luiz Fiadeiro (Royal Holloway University of London, UK)
Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)
Radha Jagadeesan (DePaul University, USA)
Sergio Maffeis (Imperial College London, UK)
Matteo Maffei (Saarland University, Germany)
Davide Sangiorgi (University of Bologna, Italy)
Catuscia Palamidessi (INRIA & École Polytechnique, France)
Frank Pfenning (Carnegie Mellon University, USA)
Sriram Rajamani (Microsoft Research, India)
Tamara Rezk (INRIA, France)
Alejandro Russo (Chalmers University of Technology, Sweden)
Carolyn Talcott (SRI International, USA)
Emilio Tuosto (University of Leicester, UK)
Sebastián Uchitel (University of Buenos Aires, Argentina and Imperial
College London, UK)
Martin Wirsing (LMU University of Munich, Germany)

Contact information
tgc2013 at easychair.org

Alberto Lluch Lafuente
Assistant Professor @ IMT Lucca
albertolluch at gmail.com; alberto.lluch at imtlucca.it
+39 3334186635; +39 05834326594
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130709/59cb6bc0/attachment.html>

More information about the Types-announce mailing list