BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Multiparty session types and their application in large distribute
 d systems - Raymond Hu and Nobuko Yoshida\, Imperial College
DTSTART:20130517T150000Z
DTEND:20130517T160000Z
UID:TALK44946@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:We give a summary of our recent research developments on multi
 party session types\, and our collaborations with industry partners and a 
 major\, long-term\, NSF-funded project (Ocean Observatories Initiatives) t
 o provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 year
 s of sustained ocean measurements to study climate variability\, ocean cir
 culation and ecosystem dynamics.\n\n\nWe shall first talk how Robin Milner
 \, Kohei Honda and Yoshida started collaborations with industry to develop
  a web service protocol description language called Scribble and discovere
 d the theory of multiparty session types through the collaborations.  We t
 hen talk about the recent developments in Scribble and the runtime session
  monitoring framework currently used in the OOI CI.\n
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR