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\, Carn
 egie Mellon University — Qatar Campus
DTSTART:20110719T100000Z
DTEND:20110719T110000Z
UID:TALK32122@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
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 mana
 ge the two main forms of distributed computation found on the web: remote 
 procedure calls (code executed on a server on behalf of a client) and mobi
 le code (server code executed on a client). We use it to express interacti
 on patterns commonly found on the Web as well more sophisticated forms tha
 t are beyond current web technologies.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR