F-WAN: Foundations of Wide Area Network Computing
co-located with ICALP2002
12-13 July 2002, Málaga Spain
speakers| programme | registration | 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 Wide Area Network Computing focuses on semantics aspects of global computing, and invites submissions of original scientific work thereof. A non-exclusive list of topics includes: calculi, models, and semantic theories of concurrent, distributed, mobile, global-computing systems; languages, security and types for global computing.
The workshop proceedings will be published in the ENTCS series and a selection of papers will appear in a special issue of the Journal of Theoretical Computer Science. It will be held as a ICALP2002 satellite event under the auspices of the EATCS.
| Friday 12 | |
|---|---|
| 9:00 -- 10:00 | Invited Presentation: Luca Cardelli (Microsoft Research, Cambridge), Spatial Logics for Distributed Systems |
| 10:00 -- 10:45 | Joachim
Gabarró (UPC,
Barcelona), Alan
Stewart,
and Maurice Clint (Queen's U, Belfast), Grab and Go Systems: a CPO approach to concurrent web and grid-based computation |
| 10:45 -- 11:15 | Coffee |
| 11:15 -- 12:00 | Nadia
Busi and Gianluigi Zavattaro (Bologna), On the Expressiveness of Movement in Pure Mobile Ambients |
| 12:00 -- 12:45 | Maria Grazia
Vigliotti and Iain
Phillips (Imperial,
London), Barbs and Congruences for Safe Mobile Ambients |
| 13:00 -- 15:00 | Lunch |
| 15:00 -- 16:00 | Invited Presentation (joint with
FMICS): Andrew D. Gordon
(Microsoft Resarch, Cambridge), Authenticity Types for Cryptographic Protocols |
| 16:00 -- 16:45 | Gianluigi
Ferrari (Pisa), Eugenio Moggi (Genova) and Rosario Pugliese (Florence), Guardians for Ambient-based Monitoring |
| 16:50 -- 17:10 | Coffee |
| 17:10 -- 17:55 | Silvia
Crafa, Michele Bugliesi
(Venice), and Giuseppe Castagna (ENS, Paris), Information Flow Security for Boxed Ambients |
| Saturday 13 | |
| 9:00 -- 10:00 | Invited Presentation: Martín Abadi (U. C. Santa Cruz), Some Recent Security Protocols |
| 10:00 -- 10:45 | Viviana
Bono, Ferruccio Damiani,
Paola Giannini (Torino), A Calculus for "Environment-Aware" Computation |
| 10:45 -- 11:15 | Coffee |
| 11:15 -- 12:00 | Dominic
Duggan (Stevens Institute,
NJ), Abstractions for Fault-Tolerant Global Computing |
| 12:00 -- 12:45 | Florence
Germain, Marc Lacoste (France Telecom), and Jean-Bernard Stefani (INRIA Rhône-Alpes), An Abstract Machine for a Higher-Order Distributed Process Calculus |
| 13:00 -- 15:00 | Lunch |
| 15:00 -- 16:00 | Invited Presentation: Matthew Hennessy (U. Sussex), Behavioural Equivalences for Distributed Agents |
| 16:00 -- 16:45 | José-Luis
Vivas (Hewlett-Packard
Labs, Bristol) and
Nobuko Yoshida (Leicester), Dynamic Channel Screening in the Higher Order pi-Calculus |
| 16:45 -- 16:50 | CLOSING |
| 16:50 -- 17:10 | Coffee |
| Submission | 29 Mar 2002 --- extended 9 Apr 2002 |
| Notification | 18 Jun 2002 |
| PreFinal version | 1 Jul 2002 |
| Final version | 31 Jul 2002 |
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 fwan@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.