BEGIN:VCALENDAR PRODID:-//WikiCFP//dxp 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260417T105854Z 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©own erid=16289 UID:cfp111207-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z 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©own erid=16289 UID:cfp111207-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z 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©own erid=16289 UID:cfp111207-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z 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©own erid=16289 UID:cfp111207-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z 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©own erid=16289 UID:cfp111207-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20091014 DTEND;VALUE=DATE:20091017 SUMMARY:ATVA 2009 DESCRIPTION:7th International Symposium on Automated Technology for Verif ication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4898©own erid=16289 UID:cfp111208-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090501 SUMMARY:ATVA 2009 Deadline DESCRIPTION:7th International Symposium on Automated Technology for Verif ication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4898©own erid=16289 UID:cfp111208-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090615 SUMMARY:ATVA 2009 Notification Due DESCRIPTION:7th International Symposium on Automated Technology for Verif ication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4898©own erid=16289 UID:cfp111208-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090629 SUMMARY:ATVA 2009 Final Version Due DESCRIPTION:7th International Symposium on Automated Technology for Verif ication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4898©own erid=16289 UID:cfp111208-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20091201 DTEND;VALUE=DATE:20091205 SUMMARY:RTSS 2009 DESCRIPTION:30th IEEE Real-Time Systems Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=5432©own erid=16289 UID:cfp111209-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090524 SUMMARY:RTSS 2009 Deadline DESCRIPTION:30th IEEE Real-Time Systems Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=5432©own erid=16289 UID:cfp111209-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090823 SUMMARY:RTSS 2009 Notification Due DESCRIPTION:30th IEEE Real-Time Systems Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=5432©own erid=16289 UID:cfp111209-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090911 SUMMARY:RTSS 2009 Final Version Due DESCRIPTION:30th IEEE Real-Time Systems Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=5432©own erid=16289 UID:cfp111209-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100308 DTEND;VALUE=DATE:20100313 SUMMARY:DATE 2010 DESCRIPTION:Design\, Automation and Test in Europe\, Simulation and Valid ation Track URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6511©own erid=16289 UID:cfp111210-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20090906 SUMMARY:DATE 2010 Deadline DESCRIPTION:Design\, Automation and Test in Europe\, Simulation and Valid ation Track URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6511©own erid=16289 UID:cfp111210-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100705 DTEND;VALUE=DATE:20100713 SUMMARY:ICALP 2010 DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6322©own erid=16289 UID:cfp111220-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100210 SUMMARY:ICALP 2010 Deadline DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6322©own erid=16289 UID:cfp111220-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100406 SUMMARY:ICALP 2010 Notification Due DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6322©own erid=16289 UID:cfp111220-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100901 DTEND;VALUE=DATE:20100904 SUMMARY:ICTAC 2010 DESCRIPTION:7th International Colloquium on Theoretical Aspects of Comput ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6995©own erid=16289 UID:cfp111221-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100308 SUMMARY:ICTAC 2010 Deadline DESCRIPTION:7th International Colloquium on Theoretical Aspects of Comput ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6995©own erid=16289 UID:cfp111221-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100430 SUMMARY:ICTAC 2010 Notification Due DESCRIPTION:7th International Colloquium on Theoretical Aspects of Comput ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6995©own erid=16289 UID:cfp111221-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100516 SUMMARY:ICTAC 2010 Final Version Due DESCRIPTION:7th International Colloquium on Theoretical Aspects of Comput ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6995©own erid=16289 UID:cfp111221-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101018 DTEND;VALUE=DATE:20101021 SUMMARY:ISOLA 2010 DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=16289 UID:cfp111212-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100328 SUMMARY:ISOLA 2010 Deadline DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=16289 UID:cfp111212-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100516 SUMMARY:ISOLA 2010 Notification Due DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=16289 UID:cfp111212-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100627 SUMMARY:ISOLA 2010 Final Version Due DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=16289 UID:cfp111212-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100915 DTEND;VALUE=DATE:20100920 SUMMARY:QEST 2010 DESCRIPTION:7th International Conference on Quantitative Evaluation of Sy sTems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7336©own erid=16289 UID:cfp111224-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100322 SUMMARY:QEST 2010 Abstract Due DESCRIPTION:7th International Conference on Quantitative Evaluation of Sy sTems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7336©own erid=16289 UID:cfp111224-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100329 SUMMARY:QEST 2010 Deadline DESCRIPTION:7th International Conference on Quantitative Evaluation of Sy sTems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7336©own erid=16289 UID:cfp111224-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100524 SUMMARY:QEST 2010 Notification Due DESCRIPTION:7th International Conference on Quantitative Evaluation of Sy sTems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7336©own erid=16289 UID:cfp111224-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100614 SUMMARY:QEST 2010 Final Version Due DESCRIPTION:7th International Conference on Quantitative Evaluation of Sy sTems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7336©own erid=16289 UID:cfp111224-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100720 DTEND;VALUE=DATE:20100722 SUMMARY:VERIFY 2010 DESCRIPTION:6th International Verification Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9191©own erid=16289 UID:cfp111213-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100407 SUMMARY:VERIFY 2010 Abstract Due DESCRIPTION:6th International Verification Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9191©own erid=16289 UID:cfp111213-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100411 SUMMARY:VERIFY 2010 Deadline DESCRIPTION:6th International Verification Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9191©own erid=16289 UID:cfp111213-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100429 SUMMARY:VERIFY 2010 Notification Due DESCRIPTION:6th International Verification Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9191©own erid=16289 UID:cfp111213-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100517 SUMMARY:VERIFY 2010 Final Version Due DESCRIPTION:6th International Verification Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9191©own erid=16289 UID:cfp111213-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101020 DTEND;VALUE=DATE:20101024 SUMMARY:FMCAD 2010 DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175©own erid=16289 UID:cfp111211-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100505 SUMMARY:FMCAD 2010 Deadline DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175©own erid=16289 UID:cfp111211-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100707 SUMMARY:FMCAD 2010 Notification Due DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175©own erid=16289 UID:cfp111211-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100728 SUMMARY:FMCAD 2010 Final Version Due DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175©own erid=16289 UID:cfp111211-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101101 DTEND;VALUE=DATE:20101105 SUMMARY:RV 2010 DESCRIPTION:International Conference on Runtime Verification (RV 2010) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9321©own erid=16289 UID:cfp111214-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100608 SUMMARY:RV 2010 Deadline DESCRIPTION:International Conference on Runtime Verification (RV 2010) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9321©own erid=16289 UID:cfp111214-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100713 SUMMARY:RV 2010 Notification Due DESCRIPTION:International Conference on Runtime Verification (RV 2010) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9321©own erid=16289 UID:cfp111214-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100817 SUMMARY:RV 2010 Final Version Due DESCRIPTION:International Conference on Runtime Verification (RV 2010) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=9321©own erid=16289 UID:cfp111214-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110123 DTEND;VALUE=DATE:20110126 SUMMARY:VMCAI 2011 DESCRIPTION:12th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10404©ow nerid=16289 UID:cfp111215-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100822 SUMMARY:VMCAI 2011 Abstract Due DESCRIPTION:12th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10404©ow nerid=16289 UID:cfp111215-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100829 SUMMARY:VMCAI 2011 Deadline DESCRIPTION:12th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10404©ow nerid=16289 UID:cfp111215-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101010 SUMMARY:VMCAI 2011 Notification Due DESCRIPTION:12th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10404©ow nerid=16289 UID:cfp111215-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101103 SUMMARY:VMCAI 2011 Final Version Due DESCRIPTION:12th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10404©ow nerid=16289 UID:cfp111215-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110314 DTEND;VALUE=DATE:20110319 SUMMARY:DATE 2011 DESCRIPTION:Design\, Automation & Test in Europe URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11050©ow nerid=16289 UID:cfp111217-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20100905 SUMMARY:DATE 2011 Deadline DESCRIPTION:Design\, Automation & Test in Europe URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11050©ow nerid=16289 UID:cfp111217-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101107 SUMMARY:DATE 2011 Notification Due DESCRIPTION:Design\, Automation & Test in Europe URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11050©ow nerid=16289 UID:cfp111217-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101206 SUMMARY:DATE 2011 Final Version Due DESCRIPTION:Design\, Automation & Test in Europe URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11050©ow nerid=16289 UID:cfp111217-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110326 DTEND;VALUE=DATE:20110404 SUMMARY:TACAS 2011 DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11171©ow nerid=16289 UID:cfp111218-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101001 SUMMARY:TACAS 2011 Abstract Due DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11171©ow nerid=16289 UID:cfp111218-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101008 SUMMARY:TACAS 2011 Deadline DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11171©ow nerid=16289 UID:cfp111218-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101210 SUMMARY:TACAS 2011 Notification Due DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11171©ow nerid=16289 UID:cfp111218-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110103 SUMMARY:TACAS 2011 Final Version Due DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11171©ow nerid=16289 UID:cfp111218-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110412 DTEND;VALUE=DATE:20110415 SUMMARY:HSCC 2011 DESCRIPTION:International Conference on Hybrid Systems: Computation and C ontrol URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11616©ow nerid=16289 UID:cfp111219-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101010 SUMMARY:HSCC 2011 Deadline DESCRIPTION:International Conference on Hybrid Systems: Computation and C ontrol URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11616©ow nerid=16289 UID:cfp111219-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101130 SUMMARY:HSCC 2011 Notification Due DESCRIPTION:International Conference on Hybrid Systems: Computation and C ontrol URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11616©ow nerid=16289 UID:cfp111219-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110109 SUMMARY:HSCC 2011 Final Version Due DESCRIPTION:International Conference on Hybrid Systems: Computation and C ontrol URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11616©ow nerid=16289 UID:cfp111219-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110418 DTEND;VALUE=DATE:20110421 SUMMARY:NFM 2011 DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=16289 UID:cfp111216-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20101226 SUMMARY:NFM 2011 Deadline DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=16289 UID:cfp111216-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110128 SUMMARY:NFM 2011 Notification Due DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=16289 UID:cfp111216-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110218 SUMMARY:NFM 2011 Final Version Due DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=16289 UID:cfp111216-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110620 DTEND;VALUE=DATE:20110625 SUMMARY:FM 2011 DESCRIPTION:17th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10713©ow nerid=16289 UID:cfp111222-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110110 SUMMARY:FM 2011 Deadline DESCRIPTION:17th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10713©ow nerid=16289 UID:cfp111222-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110308 SUMMARY:FM 2011 Notification Due DESCRIPTION:17th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10713©ow nerid=16289 UID:cfp111222-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110714 DTEND;VALUE=DATE:20110721 SUMMARY:CAV 2011 DESCRIPTION:23rd International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317©ow nerid=16289 UID:cfp111223-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110114 SUMMARY:CAV 2011 Abstract Due DESCRIPTION:23rd International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317©ow nerid=16289 UID:cfp111223-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110121 SUMMARY:CAV 2011 Deadline DESCRIPTION:23rd International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317©ow nerid=16289 UID:cfp111223-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110319 SUMMARY:CAV 2011 Notification Due DESCRIPTION:23rd International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317©ow nerid=16289 UID:cfp111223-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260417T105854Z DTSTART;VALUE=DATE:20110419 SUMMARY:CAV 2011 Final Version Due DESCRIPTION:23rd International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317©ow nerid=16289 UID:cfp111223-N@wikicfp.com END:VEVENT END:VCALENDAR