BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Merging the procedural and declarative proof styles
DTSTART;VALUE=DATE-TIME:20080825T120000Z
DTEND;VALUE=DATE-TIME:20080825T125000Z
DTSTAMP;VALUE=DATE-TIME:20260410T145927Z
UID:indico-contribution-45@ictp.it
DESCRIPTION:Speakers: FREEK WIEDIJK (Nijmegen\, Holland)\n//indico.ictp.it
 /event/a07167/session/81/contribution/45
LOCATION:Trieste - Italy Adriatico Guest House Kastler Lecture Hall
URL://indico.ictp.it/event/a07167/session/81/contribution/45
END:VEVENT
END:VCALENDAR