BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Programming Languages\, Treated Formally - Steffen Loesch (Compute
 r Lab)
DTSTART:20130224T150000Z
DTEND:20130224T153000Z
UID:TALK43560@talks.cam.ac.uk
CONTACT:Mary Fortune
DESCRIPTION:Ever since the first computer programs were written\, programm
 ing errors have been a fundamental problem for developers as well as users
 . They cause computers to crash\, medical equipment to malfunction and roc
 kets to explode. To make sure that a program is free of error\, one can ru
 n it to test if it behaves correctly. In practice however\, programs have 
 infinitely many possible inputs and behaviours. Alternatively one can try 
 to formally verify by rigorous mathematics that a program is correct. To g
 ive this a sound basis\, one has to formally define what a program (of a c
 ertain programming language) is and what it actually does. In my talk I wi
 ll explain how this can be done and give an overview of the general resear
 ch area.
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR