From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2233 Path: news.gmane.org!not-for-mail From: Vladimiro Sassone Newsgroups: gmane.science.mathematics.categories Subject: cfp: FGC: Foundations of Global Computing Date: Wed, 2 Apr 2003 10:09:35 +0100 Message-ID: <200304020909.h3299Zi06981@calaf.crn.cogs.susx.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018514 3167 80.91.229.2 (29 Apr 2009 15:21:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:21:54 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Apr 2 12:57:04 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 02 Apr 2003 12:57:04 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 190lRm-0000D6-00 for categories-list@mta.ca; Wed, 02 Apr 2003 12:50:46 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 1 Original-Lines: 73 Xref: news.gmane.org gmane.science.mathematics.categories:2233 Archived-At: =09=09 FGC: Foundations of Global Computing =09=09=09 2nd EATCS Workshop =09 =09=09 co-located with ICALP2003 =09 28-29 June 2003, Eindhoven, The Netherlands =09=09 Call for papers =09=09 ^^^^^^^^^^^^^^^^^ 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=E9dric 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=09(Utrecht) John C. Mitchell (Stanford) Eugenio Moggi=09(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 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. Organising Committee * Erik de Vink (Eindhoven)