[Prev][Next][Index][Thread]

FGC: Foundations of Global Computing

[-- This announcement may interest the Types reader, as types have
         a relevant role in the development of the subject --        \vs --]

		 FGC: Foundations of Global Computing
			  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 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)