categories - Category Theory list
 help / color / mirror / Atom feed
From: Vladimiro Sassone <vs@susx.ac.uk>
To: categories@mta.ca
Subject: cfp: FGC: Foundations of Global Computing
Date: Wed, 2 Apr 2003 10:09:35 +0100	[thread overview]
Message-ID: <200304020909.h3299Zi06981@calaf.crn.cogs.susx.ac.uk> (raw)

=09=09 FGC: Foundations of Global Computing
=09=09=09  2nd EATCS Workshop

=09      <http://www.cogs.susx.ac.uk/users/vs/fgc>

=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)






                 reply	other threads:[~2003-04-02  9:09 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=200304020909.h3299Zi06981@calaf.crn.cogs.susx.ac.uk \
    --to=vs@susx.ac.uk \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).