BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Research Institute in Automated Program Analysis and Verification - ECPv5.16.1.1//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:Research Institute in Automated Program Analysis and Verification X-ORIGINAL-URL:http://verificationinstitute.org X-WR-CALDESC:Events for Research Institute in Automated Program Analysis and Verification BEGIN:VTIMEZONE TZID:UTC BEGIN:STANDARD TZOFFSETFROM:+0000 TZOFFSETTO:+0000 TZNAME:UTC DTSTART:20140101T000000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;VALUE=DATE:20140122 DTEND;VALUE=DATE:20140125 DTSTAMP:20240328T105320 CREATED:20140221T093809Z LAST-MODIFIED:20140221T094533Z UID:208-1390348800-1390607999@verificationinstitute.org SUMMARY:Concurrency Verification Workshop at POPL 2014 DESCRIPTION:The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014. URL:http://verificationinstitute.org/event/concurrency-verification-workshop-at-popl-2014/ LOCATION:Unnamed Venue\, San Diego\, United States END:VEVENT END:VCALENDAR