First announcement and call for participation EEF Global Computing Summer School Edinburgh, Scotland, 7th to 11th July 2003 http://www.lfcs.informatics.ed.ac.uk/events/global-computing/ DESCRIPTION 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. PROGRAMME Speakers and topics Ian Clarke The Free Network Project: Peer-to-peer file sharing Andrew Gordon Secure global computing with XML Web Services: Theory and practice Martin Hofmann Type systems for resource control Rocco de Nicola KLAIM: a Kernel Language for Agents Interaction and Mobility Davide Sangiorgi Process mobility and types Martin Wirsing UML for global computing SCHOLARSHIPS 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 http://www.lfcs.informatics.ed.ac.uk/events/global-computing/ 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 gc-summerschool@inf.ed.ac.uk IMPORTANT DATES 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 (http://www.lfcs.informatics.ed.ac.uk/events/global-computing/) 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. ABOUT THE SUMMER SCHOOL 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 gc-summerschool@inf.ed.ac.uk SPONSORS European Educational Forum This summer school is an iniative of the European Educational Forum (EEF), a consortium of 7 European inter-university research schools. APPSEM 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. LOCATION The EEF Global Computing Summer School will be held in Edinburgh, one of the world's most beautiful cities. WEB SITE http://www.lfcs.informatics.ed.ac.uk/events/global-computing/