BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: International Conference on Abstract State Machines\
 , Alloy\, B\, TLA\, VDM\, and Z
END:VCALENDAR