BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: Kurt Gödel Colloquium on Computational Logic and Pr
 oof Theory
END:VCALENDAR