BEGIN:VCALENDAR PRODID:-//WikiCFP//sepideha 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170516 DTEND;VALUE=DATE:20170519 SUMMARY:NFM 2017 DESCRIPTION:The 9th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101©ow nerid=99420 UID:cfp667032-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20161128 SUMMARY:NFM 2017 Abstract Due DESCRIPTION:The 9th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101©ow nerid=99420 UID:cfp667032-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20161205 SUMMARY:NFM 2017 Deadline DESCRIPTION:The 9th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101©ow nerid=99420 UID:cfp667032-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170203 SUMMARY:NFM 2017 Notification Due DESCRIPTION:The 9th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101©ow nerid=99420 UID:cfp667032-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170301 SUMMARY:NFM 2017 Final Version Due DESCRIPTION:The 9th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101©ow nerid=99420 UID:cfp667032-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170406 DTEND;VALUE=DATE:20170410 SUMMARY:SCSS 2017 DESCRIPTION:The 8th International Symposium on Symbolic Computation in So ftware Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58027©ow nerid=99420 UID:cfp667033-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20161204 SUMMARY:SCSS 2017 Abstract Due DESCRIPTION:The 8th International Symposium on Symbolic Computation in So ftware Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58027©ow nerid=99420 UID:cfp667033-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20161211 SUMMARY:SCSS 2017 Deadline DESCRIPTION:The 8th International Symposium on Symbolic Computation in So ftware Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58027©ow nerid=99420 UID:cfp667033-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170719 DTEND;VALUE=DATE:20170721 SUMMARY:iFM 2017 DESCRIPTION:11th International Conference on Tests And Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61580©ow nerid=99420 UID:cfp667034-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170217 SUMMARY:iFM 2017 Abstract Due DESCRIPTION:11th International Conference on Tests And Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61580©ow nerid=99420 UID:cfp667034-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170224 SUMMARY:iFM 2017 Deadline DESCRIPTION:11th International Conference on Tests And Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61580©ow nerid=99420 UID:cfp667034-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170407 SUMMARY:iFM 2017 Notification Due DESCRIPTION:11th International Conference on Tests And Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61580©ow nerid=99420 UID:cfp667034-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170721 SUMMARY:iFM 2017 Final Version Due DESCRIPTION:11th International Conference on Tests And Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61580©ow nerid=99420 UID:cfp667034-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20171023 DTEND;VALUE=DATE:20171026 SUMMARY:SETTA 2017 DESCRIPTION: 3rd Symposium on Dependable Software Engineering: Theories\, Tools and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61808©ow nerid=99420 UID:cfp667028-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170421 SUMMARY:SETTA 2017 Abstract Due DESCRIPTION: 3rd Symposium on Dependable Software Engineering: Theories\, Tools and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61808©ow nerid=99420 UID:cfp667028-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170428 SUMMARY:SETTA 2017 Deadline DESCRIPTION: 3rd Symposium on Dependable Software Engineering: Theories\, Tools and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61808©ow nerid=99420 UID:cfp667028-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170703 SUMMARY:SETTA 2017 Notification Due DESCRIPTION: 3rd Symposium on Dependable Software Engineering: Theories\, Tools and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61808©ow nerid=99420 UID:cfp667028-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170728 SUMMARY:SETTA 2017 Final Version Due DESCRIPTION: 3rd Symposium on Dependable Software Engineering: Theories\, Tools and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61808©ow nerid=99420 UID:cfp667028-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20171002 DTEND;VALUE=DATE:20171007 SUMMARY:FMCAD 2017 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=99420 UID:cfp667025-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170501 SUMMARY:FMCAD 2017 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=99420 UID:cfp667025-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170508 SUMMARY:FMCAD 2017 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=99420 UID:cfp667025-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170714 SUMMARY:FMCAD 2017 Notification Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=99420 UID:cfp667025-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170809 SUMMARY:FMCAD 2017 Final Version Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=99420 UID:cfp667025-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170722 DTEND;VALUE=DATE:20170724 SUMMARY:VSTTE 2017 DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools \, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61694©ow nerid=99420 UID:cfp667027-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170501 SUMMARY:VSTTE 2017 Abstract Due DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools \, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61694©ow nerid=99420 UID:cfp667027-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170508 SUMMARY:VSTTE 2017 Deadline DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools \, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61694©ow nerid=99420 UID:cfp667027-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170605 SUMMARY:VSTTE 2017 Notification Due DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools \, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61694©ow nerid=99420 UID:cfp667027-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170821 SUMMARY:VSTTE 2017 Final Version Due DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools \, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61694©ow nerid=99420 UID:cfp667027-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170829 DTEND;VALUE=DATE:20170830 SUMMARY:NSAD 2017 DESCRIPTION:Numerical and Symbolic Abstract Domains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62717©ow nerid=99420 UID:cfp667029-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170510 SUMMARY:NSAD 2017 Abstract Due DESCRIPTION:Numerical and Symbolic Abstract Domains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62717©ow nerid=99420 UID:cfp667029-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170515 SUMMARY:NSAD 2017 Deadline DESCRIPTION:Numerical and Symbolic Abstract Domains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62717©ow nerid=99420 UID:cfp667029-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170626 SUMMARY:NSAD 2017 Notification Due DESCRIPTION:Numerical and Symbolic Abstract Domains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62717©ow nerid=99420 UID:cfp667029-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170710 SUMMARY:NSAD 2017 Final Version Due DESCRIPTION:Numerical and Symbolic Abstract Domains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62717©ow nerid=99420 UID:cfp667029-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20171010 DTEND;VALUE=DATE:20171014 SUMMARY:FACS 2017 DESCRIPTION:14th International Conference on Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61690©ow nerid=99420 UID:cfp667026-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170519 SUMMARY:FACS 2017 Abstract Due DESCRIPTION:14th International Conference on Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61690©ow nerid=99420 UID:cfp667026-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170526 SUMMARY:FACS 2017 Deadline DESCRIPTION:14th International Conference on Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61690©ow nerid=99420 UID:cfp667026-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170717 SUMMARY:FACS 2017 Notification Due DESCRIPTION:14th International Conference on Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61690©ow nerid=99420 UID:cfp667026-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170731 SUMMARY:FACS 2017 Final Version Due DESCRIPTION:14th International Conference on Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61690©ow nerid=99420 UID:cfp667026-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20171113 DTEND;VALUE=DATE:20171116 SUMMARY:HVC 2017 DESCRIPTION:Haifa Verification Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62862©ow nerid=99420 UID:cfp667030-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170721 SUMMARY:HVC 2017 Deadline DESCRIPTION:Haifa Verification Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62862©ow nerid=99420 UID:cfp667030-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170901 SUMMARY:HVC 2017 Notification Due DESCRIPTION:Haifa Verification Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62862©ow nerid=99420 UID:cfp667030-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260412T070930Z DTSTART;VALUE=DATE:20170901 SUMMARY:HVC 2017 Final Version Due DESCRIPTION:Haifa Verification Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62862©ow nerid=99420 UID:cfp667030-N@wikicfp.com END:VEVENT END:VCALENDAR