BEGIN:VCALENDAR
PRODID:-//WikiCFP//gesges 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20140119
DTEND;VALUE=DATE:20140122
SUMMARY:VMCAI 2014
DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340&copyow
 nerid=52306
UID:cfp367027-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20130911
SUMMARY:VMCAI 2014 Abstract Due
DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340&copyow
 nerid=52306
UID:cfp367027-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20130918
SUMMARY:VMCAI 2014 Deadline
DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340&copyow
 nerid=52306
UID:cfp367027-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20131025
SUMMARY:VMCAI 2014 Notification Due
DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340&copyow
 nerid=52306
UID:cfp367027-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20131115
SUMMARY:VMCAI 2014 Final Version Due
DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340&copyow
 nerid=52306
UID:cfp367027-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20140305
DTEND;VALUE=DATE:20140309
SUMMARY:STACS 2014
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52306
UID:cfp367026-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20130920
SUMMARY:STACS 2014 Deadline
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52306
UID:cfp367026-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20131206
SUMMARY:STACS 2014 Notification Due
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52306
UID:cfp367026-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260424T213211Z
DTSTART;VALUE=DATE:20140108
SUMMARY:STACS 2014 Final Version Due
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52306
UID:cfp367026-N@wikicfp.com
END:VEVENT
END:VCALENDAR