BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: International Workshop on Automated Reasoning: Chall
 enges\, Applications\, Directions\, Exemplary Achievements (ARCADE)
END:VCALENDAR