Title: Formal Languages for Grid and Web Services
Date: 7 July 10:00AM - 8 July 3:30PM , 2003
Venue: e-Science Institute, 15, South College Street, Edinburgh, Scotland
Organiser: Alan Bundy <[log in to unmask]> & Bin Yang <[log in to unmask]>
(University of Edinburgh)
In order to provide dependable, rapidly customisable and autonomic Grid and Web
applications it will be necessary formally to represent and to reason about
them. Researchers from a diverse range of disciplines: computer architectures,
databases, theoretical computer science, artificial intelligence, etc, have all
been addressing this problem using a range of different tools and techniques.
This workshop will promote the interaction of these various communities and try
to find common ground on languages which can meet their diverse needs.
The workshop is targeted at researchers from all areas of computing research who
are interested in formal models of the Grid and Web.
If you would like to attend, please apply for this event using the link below
for On-line Application:
The event will be hosted by the e-Science Institute in Edinburgh which is a
centre for education and research for e-Science, and provides new state-of-the
art facilities including an Access Grid system.
The e-Science Institute is less than 15 minutes walk from Waverley rail station,
and from St Andrews square bus stations. It is approximately 20 minutes by taxi
from Edinburgh airport (40 minutes by bus). Please see NeSC web site for a map
of the area. www.nesc.ac.uk
New Postal Address: School of Informatics, University of Edinburgh,
Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK.
Telephone Number: +44-131-650-2716,
Email: [log in to unmask]
New Web Page: http://homepages.inf.ed.ac.uk/bundy/