Computing technology has become ubiquitous, from global applications to
miniscule embedded devices. Trust in computing is vital to help protect
public safety, national security, and economic prosperity. A new area of
research, known as global computing, has recently emerged that aims at
defining new models of computation based on code and data mobility on
networks with highly dynamic topologies, and that aims at providing
infrastructures to support coordination and control of components
originated from different, possibly untrusted, sources. Trustworthy
Global Computing aims at guaranteeing safe and reliable network usage
The symposium will analyze foundational aspects of global computing and
security and deal with the issues of
Luca Cardelli
(Microsoft Cambridge, UK) |
Mogens Nielsen
(Aarhus, Denmark) |
Giuseppe Castagna
(ENS Paris, France) |
Flemming Nielson
(Lyngby, Denmark) |
Adriana Compagnoni
(Stevens Institute, USA) |
Joachim Parrow
(Uppsala, Sweden)
|
Rocco De Nicola
(Florence, Italy, co-chair) |
Corrado Priami
(Trento, Italy)
|
José Luiz Fiadeiro
(Leicester, UK) |
Julian Rathke
(Sussex, UK)
|
Roberto Gorrieri
(Bologna, Italy) |
Davide
Sangiorgi (University of Bologna, Italy,
co-chair) |
Vladimiro Sassone
(Sussex, UK)
|
Don Sannella
(Edinburgh, UK)
|
Jean-Jacques Levy
(Inria, France) |
Jean-Bernard Stefani
(Inria, France)
|
Huimin Lin
(Chinese Academy of Sciences) |
Martin Wirsing
(Munich, Germany)
|
Eugenio Moggi
(Genova, Italy) |