CFP: F-WAN: Foundations of Wide Area Network Computing
=09 F-WAN: Foundations of Wide Area Network Computing =09=09 <http://www.cogs.susx.ac.uk/fwan> =09=09 co-located with ICALP2002 =09=09 12-13 July 2002, M=E1laga Spain =09=09First announcement and Call for papers ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aims and Scope 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.=20 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-computingsystems; languages, security and types for global computing.=20 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.=20 Invited Speakers * Mart=EDn Abadi (UC Santa Cruz) * Luca Cardelli (Microsoft) * Matthew Hennessy (Sussex) * Jim Waldo (SUN Microsystems) Programme Committee * C=E9dric Fournet (Microsoft) * Andrew Gordon (Microsoft) * Alan Jeffrey (De Paul, Chicago) * Ugo Montanari (Pisa) * Catuscia Palamidessi (PennState) * Benjamin Pierce (UPenn) * Davide Sangiorgi (INRIA) * Vladimiro Sassone (Sussex, chair) * Peter Sewell (Cambridge) Important Dates Submission 29 Mar 2002 Notification 18 Jun 2002 PreFinal version 1 Jul 2002 Final version 31 Jul 2002 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 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.=20 Simultaneous submission to other meetings with published proceedings is not allowed. =20 Organising Committee * Inmaculada Fortes Ruiz, Llanos Mora, Rafael Morales, Francisco Triguero (M=E1laga)=20 Sponsors The workshop will be held under the auspices of EATCS, the European Association of Theoretical Computer Science.=20
participants (1)
-
Vladimiro Sassone