BEGIN:VCALENDAR
PRODID:-//WikiCFP//wahl 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090224
DTEND;VALUE=DATE:20090227
SUMMARY:DVCon 2009
DESCRIPTION:Design & Verification conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3544&copyown
 erid=2967
UID:cfp23653-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20080919
SUMMARY:DVCon 2009 Abstract Due
DESCRIPTION:Design & Verification conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3544&copyown
 erid=2967
UID:cfp23653-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20081208
SUMMARY:DVCon 2009 Deadline
DESCRIPTION:Design & Verification conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3544&copyown
 erid=2967
UID:cfp23653-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20081029
SUMMARY:DVCon 2009 Notification Due
DESCRIPTION:Design & Verification conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3544&copyown
 erid=2967
UID:cfp23653-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090108
SUMMARY:DVCon 2009 Final Version Due
DESCRIPTION:Design & Verification conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3544&copyown
 erid=2967
UID:cfp23653-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090626
DTEND;VALUE=DATE:20090703
SUMMARY:CAV 2009
DESCRIPTION:Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4301&copyown
 erid=2967
UID:cfp23657-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090118
SUMMARY:CAV 2009 Abstract Due
DESCRIPTION:Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4301&copyown
 erid=2967
UID:cfp23657-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090125
SUMMARY:CAV 2009 Deadline
DESCRIPTION:Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4301&copyown
 erid=2967
UID:cfp23657-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090323
SUMMARY:CAV 2009 Notification Due
DESCRIPTION:Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4301&copyown
 erid=2967
UID:cfp23657-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090417
SUMMARY:CAV 2009 Final Version Due
DESCRIPTION:Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4301&copyown
 erid=2967
UID:cfp23657-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090717
DTEND;VALUE=DATE:20090718
SUMMARY:WWV 2009
DESCRIPTION:5th International Workshop on Automated Specification and Ver
 ification of Web Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4111&copyown
 erid=2967
UID:cfp23655-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090202
SUMMARY:WWV 2009 Abstract Due
DESCRIPTION:5th International Workshop on Automated Specification and Ver
 ification of Web Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4111&copyown
 erid=2967
UID:cfp23655-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090209
SUMMARY:WWV 2009 Deadline
DESCRIPTION:5th International Workshop on Automated Specification and Ver
 ification of Web Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4111&copyown
 erid=2967
UID:cfp23655-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090420
SUMMARY:WWV 2009 Notification Due
DESCRIPTION:5th International Workshop on Automated Specification and Ver
 ification of Web Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4111&copyown
 erid=2967
UID:cfp23655-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090601
SUMMARY:WWV 2009 Final Version Due
DESCRIPTION:5th International Workshop on Automated Specification and Ver
 ification of Web Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4111&copyown
 erid=2967
UID:cfp23655-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090708
DTEND;VALUE=DATE:20090711
SUMMARY:IEEE/SIES 2009
DESCRIPTION:4th IEEE Symposium on Industrial Embedded Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4469&copyown
 erid=2967
UID:cfp23656-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090320
SUMMARY:IEEE/SIES 2009 Deadline
DESCRIPTION:4th IEEE Symposium on Industrial Embedded Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4469&copyown
 erid=2967
UID:cfp23656-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090522
SUMMARY:IEEE/SIES 2009 Notification Due
DESCRIPTION:4th IEEE Symposium on Industrial Embedded Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4469&copyown
 erid=2967
UID:cfp23656-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090612
SUMMARY:IEEE/SIES 2009 Final Version Due
DESCRIPTION:4th IEEE Symposium on Industrial Embedded Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4469&copyown
 erid=2967
UID:cfp23656-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20091102
DTEND;VALUE=DATE:20091104
SUMMARY:FMICS 2009
DESCRIPTION:14th International Workshop on Formal Methods for Industrial 
 Critical Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4004&copyown
 erid=2967
UID:cfp23654-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090401
SUMMARY:FMICS 2009 Abstract Due
DESCRIPTION:14th International Workshop on Formal Methods for Industrial 
 Critical Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4004&copyown
 erid=2967
UID:cfp23654-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090407
SUMMARY:FMICS 2009 Deadline
DESCRIPTION:14th International Workshop on Formal Methods for Industrial 
 Critical Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4004&copyown
 erid=2967
UID:cfp23654-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090615
SUMMARY:FMICS 2009 Notification Due
DESCRIPTION:14th International Workshop on Formal Methods for Industrial 
 Critical Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4004&copyown
 erid=2967
UID:cfp23654-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260405T064951Z
DTSTART;VALUE=DATE:20090715
SUMMARY:FMICS 2009 Final Version Due
DESCRIPTION:14th International Workshop on Formal Methods for Industrial 
 Critical Systems 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4004&copyown
 erid=2967
UID:cfp23654-N@wikicfp.com
END:VEVENT
END:VCALENDAR