BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Language for Type-Safe Web Programming - Cervesato Iliano
DTSTART:20110719T100000Z
DTEND:20110719T110000Z
UID:TALK32144@talks.cam.ac.uk
CONTACT:Robin Message
DESCRIPTION:Web applications (webapps) are very popular because they are e
 asy to deploy and they can invoke data and programs supplied by third part
 ies\, as building blocks. Yet\, writing web applications is complex becaus
 e developers are required to reason about distributed computation and to w
 rite code using heterogeneous languages\, often not originally designed wi
 th distributed computing in mind. Testing is the common way to catch bugs 
 as current technologies provide limited support. There are doubts this can
  scale up to meet the expectations of more sophisticated web applications.
  QWeSST is a type-safe language that provides abstract primitives to manag
 e the two main forms of distributed computation found on the web: remote p
 rocedure calls (code executed on a server on behalf of a client) and mobil
 e code (server code executed on a client). We use it to express interactio
 n patterns commonly found on the Web as well more sophisticated forms that
  are beyond current web technologies.\n\n
LOCATION:Small Lecture Room
END:VEVENT
END:VCALENDAR