BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: Artificial Intelligence and fOrmal VERification\, Lo
 gic\, Automata\, and sYnthesis (OVERLAY)
END:VCALENDAR