EEF Global Computing Summer School

Edinburgh, Scotland, 7th to 11th July 2003
    Poster (PDF)
    Poster (PS)
    Announcement (Text)
    Application form (PDF)
    Application form (PS)



Speakers and topics
    Ian Clarke (slides)
    Andrew Gordon (slides)
    Brigitte Hasewend (slides)
    Martin Hofmann (abstract)
    Rocco de Nicola (slides 1, 2 & 3)
    Davide Sangiorgi (slides 1 & 2)
    Martin Wirsing (slides 1,  2,  3 & 4)

    Who should apply
    How to apply
    Questions about eligibility

Important dates
    Deadline for applications
    Funding decisions announced
    Confirmation of attendance due
    Dates of the summer school

About the summer school     Organisers and host institution

    European educational forum
    EU IST FET initiative
    The University of Edinburgh


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

Edinburgh has a wealth of both architectural and natural beauty.

Edinburgh castle
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.
Summer school programme
Schedule of talks each day
Photographs from the school
Speakers and topics
Ian Clarke
The Free Network Project: Peer-to-peer file sharing (slides)
Andrew Gordon
Secure global computing with XML Web Services: Theory and practice (slides)
Brigitte Hasewend
European Commission (EC Mobility Policies for Researchers and the Marie Curie Programme) (slides)
Martin Hofmann
Type systems for resource control
Rocco de Nicola
KLAIM: a Kernel Language for Agents Interaction and Mobility (slides 1, 2, and 3)
Davide Sangiorgi
Process mobility and types (slides 1 and 2)
Martin Wirsing
UML for global computing (slides 1, 2, 3, and 4)
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 (PS, PDF).
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 provided (PS, PDF). Completed forms must be received by Friday 16th May 2003. This deadline has now passed, and applications have closed.
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 using this registration form. University accommodation for those attending the school can be booked online through Edinburgh First.
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 School.
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 Computing.
The University of Edinburgh
The EEF Summer School on Global Computing is supported by The University of Edinburgh.
This page maintained by Stephen Gilmore
Last modified: Fri Sep 5 09:34:58 BST 2003