BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20100411T220000Z
DTEND:20100920T220000Z
DCREATED:20100813T063019Z
UID:ATEvent-3e90b05fa4016eb4e428c77fba43033b
SEQUENCE:0
LAST-MODIFIED:20100813T063027Z
SUMMARY:APRIL 12\, 2010 - ATVA 2010 (8th International Symposium on Automated Technology for Verification and Analysis)
DESCRIPTION:ATVA 2010 Call for Papers\n8th International Symposium on\
 nAutomated Technology for Verification and Analysis\n21 – 24 Septemb
 er 2010\,\nNational University of Singapore\, Singapore
LOCATION:Singapore
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR