FGC: Foundations of Global Computing
co-located with ICALP2003
28-29 June 2003, Eindhoven, The Netherlands
speakers | committee | dates | submissions
The growing diffusion of internet services and applications is promoting global computing as an emerging model of computation. Based on mobility of code and computation on networks with highly dynamic topologies, the model needs effective infrastructures to support the coordination and control of components loaded at runtime from untrusted sources, as well as semantic frameworks to reason on the behaviour and properties of applications.
Foundations of Global Computing focuses on foundational aspects of global computing, and invites submissions of original scientific work thereof. A non-exclusive list of topics includes:
The workshop proceedings will be published in the ENTCS series and a selection of papers will appear in a special issue of a leading Computer Science journal. It will be held as a ICALP2003 satellite event under the auspices of the EATCS. FGC evolves out two previous events, ConCoord (2001) and F-WAN (2002), recorded in forthcoming volumes of Mathematical Structures in Computer Science and Theoretical Computer Science.
| Cédric Fournet | (Microsoft Research) |
| Andrew D. Gordon | (Microsoft Research) |
| Robert Harper | (CMU) |
| Martin Hofmann | (LMU Munich) |
| TBA | () |
| Saturday 28 | |
|---|---|
| 14:00 -- 15:00 | Invited Presentation: Martin Hofmann (LMU, Munich), Mobile Resource Guarantees |
| 15:00 -- 15:30 | Break |
| 15:30 -- 16:00 | Lennart
Beringer, Kenneth
MacKenzie and Ian
Stark (Edinburgh), Grail: A Functional Form for Imperative Mobile Code |
| 16:00 -- 16:30 | David
Teller (ENS Lyon), Formalisms for mobile resource control |
| 16:30 -- 17:30 | Invited Presentation:
Andrew D. Gordon
(Microsoft Resarch, Cambridge), Formal Tools for Securing Web Services |
| Sunday 29 | |
| 9:00 -- 10:00 | Invited Presentation: Robert Harper (CMU, Pittsburgh), Trustless Grid Computing in ConCert |
| 10:00 -- 10:30 | Break |
| 10:30 -- 11:00 | Taolue
Chen, Jian Lu,
Tingting Han (Nanjing), Intensionality of Modal Logic for Robust Ambient Calculus Computation |
| 11:00 -- 11:30 | David de
Frutos Escrig and Olga
Marroquin Alonso
(Universidad Complutense de Madrid), Ambient Petri Nets |
| 11:30 -- 12:30 | Invited Presentation:
TBA
( ), TBA |
| 12:30 -- 14:00 | Lunch |
| 14:00 -- 15:00 | Invited Presentation: Cédric Fournet (Microsoft Resarch, Cambridge), Private Authentication |
| 15:00 -- 15:30 | Break |
| 15:30 -- 16:00 | Jean-Bernard Stefani (INRIA Rhône-Alpes), A Calculus of Kells |
| 16:00 -- 16:30 | Antonio
Ravara (Lisbon),
Ana G. Matos (INRIA Sophia-Antipolis),
Vasco T. Vasconcelos
(Lisbon),
Luis Lopez (Porto), Lexically Scoping Distribution: What you see is what you get |
| 16:30 -- 17:00 | Xudong
Guan (INRIA Sophia-Antipolis), Towards a Tree of Channels |
| 17:00 | CLOSING |
| Luca Cardelli | (Microsoft) | Rocco De Nicola | (Florence) | ||
| Andrew D. Gordon | (Microsoft) | Jan van Leeuwen | (Utrecht) | ||
| John C. Mitchell | (Stanford) | Eugenio Moggi | (Genoa) | ||
| Ugo Montanari | (Pisa) | Greg Morrisett | (Cornell) | ||
| Mogens Nielsen | (Aarhus) | Don Sannella | (Edinburgh) | ||
| Vladimiro Sassone | (Sussex) | Vasco T. Vasconcelos | (Lisbon) | ||
| Martin Wirsing | (LMU Munich) |
| Submission | 27 Apr 2003 (midnight GMT-11 -- Samoa time) |
| Notification | 2 Jun 2003 |
| PreFinal version | 15 Jun 2003 |
| Final version | 31 Jul 2003 |
Authors are invited to submit an extended abstract of their papers, presenting original contributions to the workshop themes. Submissions should be in English and not exceed 15 standard pages. They should be sent as PS or PDF files to fgc@cogs.susx.ac.uk and be accompanied by a text-only message containing: title, abstract and keywords, the authors' full names, and address and e-mail for correspondence. Simultaneous submission to other meetings with published proceedings is not allowed.
The workshop will be held under the auspices of EATCS, the European Association of Theoretical Computer Science.