FGC: Foundations of Global Computing
Vladimiro Sassone
2nd EATCS Workshop
<http://www.cogs.susx.ac.uk/users/vs/fgc>
co-located with ICALP2003
28-29 June 2003, Eindhoven, The Netherlands
Announcement and Call for papers
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aims and Scope
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:
* calculi, models, and semantic theories of concurrent,
distributed, mobile, global-computing systems;
* languages, security, types, protocols and algorithms for global
computing.
Further points of specific interest are grid computing, peer-to-peer
systems, game-theoretic approaches, protocol analysis, trust
management, language-based security, ...
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.
Invited Speakers
Cédric Fournet (Microsoft Research)
Robert Harper (CMU)
Martin Hofmann (LMU Munich)
Li Gong (SUN Microsystems) (joint speaker with twin SecCo`03)
Programme Committee
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)
Important Dates
Submission 27 Apr 2003 (midnight GMT-11 -- Samoa time)
Notification 2 Jun 2003
PreFinal version 15 Jun 2003
Final version 31 Jul 2003
Submissions
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 f...@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.
Organising Committee
* Erik de Vink (Eindhoven)