BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Computing with Real Numbers - Arno Pauly (University of Cambridge)
DTSTART:20110121T160000Z
DTEND:20110121T170000Z
UID:TALK28400@talks.cam.ac.uk
CONTACT:Nishanth Sastry
DESCRIPTION:How can real numbers be represented in order to compute with t
 hem? Floating point numbers offer only finite precision\, and this can hav
 e a devastating impact in some applications. Exact real number computation
  is possible\, however\, using lazy lists. Some examples are given that de
 monstrate the principles of corresponding algorithms\, and the limits of c
 omputability in this regard.
LOCATION:LT1\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR