BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T112320Z
CREATED:20090602T124601Z
UID:ATEvent-ff29de812c08a71701814f90a59d6b3a
LAST-MODIFIED:20091105T225529Z
SUMMARY:RISC Forum
DTSTART:20090615T113000Z
DTEND:20090615T123000Z
DESCRIPTION:Salvador Lucas: From functions to numeric interpretations:
  mechanizing proofs of termination using numeric algebras
LOCATION:RISC seminar room
CATEGORIES:Meeting, Talk
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR