BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Constructive logic
DTSTART;VALUE=DATE-TIME:20080821T120000Z
DTEND;VALUE=DATE-TIME:20080821T130000Z
DTSTAMP;VALUE=DATE-TIME:20260413T182440Z
UID:indico-contribution-37@ictp.it
DESCRIPTION:Speakers: THIERRY COQUAND (Chalmers University\, Gothenberg\, 
 Sweden)\n//indico.ictp.it/event/a07167/session/67/contribution/37
LOCATION:Trieste - Italy Leonardo da Vinci Building Main Lecture Hall
URL://indico.ictp.it/event/a07167/session/67/contribution/37
END:VEVENT
END:VCALENDAR