BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20090615T113000Z
DTEND:20090615T123000Z
DCREATED:20090602T124601Z
UID:ATEvent-ff29de812c08a71701814f90a59d6b3a
SEQUENCE:0
LAST-MODIFIED:20091105T225529Z
SUMMARY:RISC Forum
DESCRIPTION:Salvador Lucas: From functions to numeric interpretations:
  mechanizing proofs of termination using numeric algebras
LOCATION:RISC seminar room
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR