Grids and Applied Language Theory (GALT'03) 

Date: 16 October 10:00AM - 17 October 4:00PM , 2003
Venue: e-Science Institute, 15, South College Street, Edinburgh, Scotland
Organiser: Dave Berry (National e-Science Centre)

[Return to Event Page] [Return to Programme List]

Day One - Thursday 16th October 2003
10:30Registration and Coffee
11:00Welcome & Overview - Dave Berry
11:15Session 1: Security 1
    Chair: Dave Berry
    11:15 David Chadwick -- The UK e-Science Grid Security RoadMap
    11:45 Andy Gordon -- Language-Based Reasoning about WS-Security Protocols
    12:15 Bob Harper -- Trustless Grid Computing in ConCert
12:45Lunch
13:45Session 2: Security 2
    Chair: Philippa Gardner
    13:45 David Chadwick -- Distributed Programmable Authorisation
    14:00 Stephen Gilmore -- Mobile Resource Guarantees for Grid Applications
    14:30 Discussion
15.00Malcolm Atkinson -- Data-driven Demands for Better Languages
15:30Beverages & Biscuits
16:00Session 3: XML and semi-structured data
    Chair: Val Tannen
    16:00 Phil Wadler -- The Essence of XML
    16:30 Giorgio Ghelli -- Architecture of a GRID-distributed semi-structured database
    17:00 Giuseppe Castagna -- CDuce: a typeful and efficient language for XML
17:30Close
19:30Workshop Dinner

 

Day Two - Friday 17th October 2003
09:30Session 4: Distributed and Dynamic Data
    Chair: Peter Buneman
    09:30 Alvaro Fernandes -- Service-Based Distributed Query Processing on the Grid
    10:00 Val Tannen -- Languages for Distributed Information
    10:30 Philippa Gardner -- Modelling Dynamic Web data
11:00Break
11:30Session 5: Distributed Programming
    Chair: Dave Berry
    11:30 Ben Butchart -- OGSA and BPEL: Orchestration of an OGSI-enabled scientific application using the Business Process Execution Language
    12:00 Nick Benton -- Polyphonic C#
    12:30 Paul Anderson -- Specification Languages for Fabric Configuration
13:00Lunch
14:00Discussion
15:00The way ahead
15:30Close