BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Automated theorem proving in simplicial topology with ACL2
DTSTART;VALUE=DATE-TIME:20080825T130000Z
DTEND;VALUE=DATE-TIME:20080825T135000Z
DTSTAMP;VALUE=DATE-TIME:20260416T141701Z
UID:indico-contribution-46@ictp.it
DESCRIPTION:Speakers: MIRIAM ANDRÉS (Universidad de La Rioja\, La Rioja\,
  Spain)\n//indico.ictp.it/event/a07167/session/83/contribution/46
LOCATION:Trieste - Italy Adriatico Guest House Kastler Lecture Hall
URL://indico.ictp.it/event/a07167/session/83/contribution/46
END:VEVENT
END:VCALENDAR