logo

Symposium on Trustworthy Global Computing

Edinburgh, UK, April 7-9, 2005

With the co-sponsorship of IFIP TC-2


The symposium is part of the European Joint Conferences on Theory and Practice of Software (ETAPS 05)


SYMPOSIUM PROGRAMME
CALL FOR PAPERS and PAPER SUBMISSIONS
SCOPE and FORMAT
IFIP and EU GC INITIATIVE
INVITED SPEAKERS
ACCOMMODATION and TRAVEL INFORMATION
IMPORTANT DATES
PROGRAMME COMMITTEE
ORGANISING COMMITTEE
PUBLICATIONS



 
 
CALL FOR PAPERS and PAPER SUBMISSIONS

 
  The call for papers is available in text , pdf , and ps formats.
  Contributions must be in PostScript or PDF and consist of no more than 15 pages in the Springer LNCS style. Proofs omitted due to space limitations may be included in a clearly marked appendix. Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere.
 
  Submissions will be handled through the conference management system .
 
 
SCOPE and FORMAT
 

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


The format we envisage is not that of a classical conference but one structured to leave room for discussions stimulated by a conspicuous number of invited talks and by the papers selected after standard refereeing.

IFIP and EU GC INITIATIVE
 
The initiative stems from the IFIP Working Group (WG) 2.2 . In the past, this WG has organized a general working conference every 4 years. Members felt that the format should change, and the conference should be more focused. TGC'05 is the first thematic conference promoted by the WG. The conference has the co-sponsorship of IFIP TC-2 (Technical Committee 2 "Software: Theory and Practice"), to which WG 2.2 belongs.


The conference also takes place in conjunction with the final event of the the first IST/FET proactive initiative of the European Community on GLOBAL COMPUTING (see here for the web page of the 2004 meeting). The invited talks will thus be an occasion to show what the initiative has achieved, and to see what is being done related to this theme outside the iniative.
Indeed, the conference can be considered as the evolution of the previous Global Computing Workshops held in Trento (see e.g. LNCS 2874) and the workshops on Foundation of Global Computing held as satellite events of ICALP or Concur (ENTCS Vol. 85)  
 
INVITED SPEAKERS
 

The invited speakers have been chosen by the PC members
 
ACCOMMODATION and TRAVEL INFORMATION
 
  See for this the ETAPS'05 main web page.


 
 
IMPORTANT DATES (to be confirmed)

 
(EXTENDED DEADLINE!) Paper submission:
January 24, 2005
Notification of acceptance:
March 7, 2005
Final  versions:
May 15, 2005 
Event :
April 7-9, 2005 
 
  Note: the date for final version of the paper takes into account the fact that the final proceedings will appear after the event (see details below); thus authors will be able to include possible comments and discussions originated by the talk at the conference.

PROGRAMME COMMITTEE
 
The PC include: coordinators of EU GC projects, organisers of past events similar to TGC'05, a few external experts on security and GC  
 
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)  
 
 
ORGANISING COMMITTEE
 
PUBLICATIONS
   


For further information, mail to: Rocco De Nicola (denicola `at' dsi.unifi.it), or Davide Sangiorgi (Davide.Sangiorgi `at' cs.unibo.it)


Last modified: Wed Mar 16 10:20:24 CET 2005