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