EEF Global Computing Summer School, Edinburgh, Scotland, July 2003

Call for participation

EEF Global Computing Summer School

Edinburgh, Scotland, 7th to 11th July 2003



   The  aim  of  the  EEF  Global  Computing  Summer School is to provide
   researchers  with  insights  into  the  problems  of  the  design  and
   construction  of  global  computing  systems. Global computation is an
   active  field  of  research  which  includes  distributed  and  mobile
   computation  and  addresses the foundational problems in the area such
   as security, access control, resource control, discovery, architecture
   and  decentralised organisation. The fundamental tools used to analyse
   and  build  such systems are type systems, process algebras, modelling
   languages and state-of-the-art programming languages and environments.


   Speakers and topics

        Ian Clarke (provisional)
                The Free Network Project: Peer-to-peer file sharing

        Andrew Gordon
                Secure global computing with XML Web Services: Theory and

        Martin Hofmann
                Type systems for resource control

        Rocco de Nicola
                KLAIM:  a  Kernel  Language  for  Agents  Interaction and
        Davide Sangiorgi
                Process mobility and types

        Martin Wirsing
                UML for global computing


   Who should apply?
          A  number of scholarships are available for participants. These
          are funded by the European Union's IHP program. According to EU
          regulations,   researchers   (aged   35   years  or  under)  on
          postgraduate  or  postdoctorate  level  who are nationals of EU
          member  states  or  associated  states (and who work there) can
          apply  for a scholarship to attend this summer school. The size
          of   the   grants  will  depend  on  the  number  of  qualified
          applicants, and the travel distance.

   How to apply
          Participants who wish to apply to the summer school for funding
          should  complete  the application form available from  the  URL

   Questions about eligibility
          If  you  are unsure if you qualify for funding or would like to
          ask  other  questions about the summer school then please email

   Deadline for applications, including funding applications
          Whether or not they are applying for funding, anyone who wishes
          to attend the summer school must apply using the form available
          Completed forms must be received by Friday 16th May 2003.
   Funding decisions announced
          Decisions  of  the  organisers  of the school on attendance and
          awards of funding will be announced on Friday 23rd May 2003.

   Attendance must be confirmed
          EEF  Summer Schools are usually over-subscribed. Applicants who
          have  been granted a place at the school must confirm that they
          will  be  attending by Friday 30th May 2003 or lose their place
          to another applicant.

   Date of the summer school
          The EEF Global Computing Summer School begins on the morning of
          Monday  7th  July 2003 and ends on the afternoon of Friday 11th
          July 2003.

   Organisers and host institution
          The  EEF  Global  Computing  Summer  School  is  hosted  by the
          Laboratory  for  Foundations  of  Computer  Science,  School of
          Informatics,   The  University  of  Edinburgh.  The  organising
          committee  is David Aspinall, Stephen Gilmore, Dyane Goodchild,
          Monika-Jeannette  Lekuse,  Don Sannella, and Ian Stark. You can
          contact    the   summer   school   organisers   by   email   to

   European Educational Forum
          This  summer  school is an iniative of the European Educational
          Forum  (EEF),  a  consortium  of  7  European  inter-university
          research schools.

          Researchers  who  are  at sites of the EU 5th Framework Program
          APPSEM II  working  group  can  apply  to their site leader for
          APPSEM  funding  to  attend  the  EEF  Global  Computing Summer

   IST FET Pro-active initiative on Global Computing
          This  summer  school  is supported by the IST Future & Emerging
          Technologies   programme   pro-active   initiative   on  Global

   The University of Edinburgh
          The  EEF  Summer School on Global Computing is supported by The
          University of Edinburgh.

   The  EEF Global Computing Summer School will be held in Edinburgh, one
   of the world's most beautiful cities.