BEGIN:VCALENDAR PRODID:-//WikiCFP//gmezzetti 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180414 DTEND;VALUE=DATE:20180422 SUMMARY:FASE 2018 DESCRIPTION:21st International Conference on Fundamental Approaches to So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66517©ow nerid=86014 UID:cfp685859-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20150112 DTEND;VALUE=DATE:20150115 SUMMARY:VMCAI 2015 DESCRIPTION:16th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=38923©ow nerid=86014 UID:cfp684033-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20140905 SUMMARY:VMCAI 2015 Abstract Due DESCRIPTION:16th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=38923©ow nerid=86014 UID:cfp684033-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20140912 SUMMARY:VMCAI 2015 Deadline DESCRIPTION:16th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=38923©ow nerid=86014 UID:cfp684033-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20141010 SUMMARY:VMCAI 2015 Notification Due DESCRIPTION:16th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=38923©ow nerid=86014 UID:cfp684033-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20141031 SUMMARY:VMCAI 2015 Final Version Due DESCRIPTION:16th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=38923©ow nerid=86014 UID:cfp684033-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160402 DTEND;VALUE=DATE:20160409 SUMMARY:FoSSaCS 2016 DESCRIPTION:19th International Conference on Foundations of Software Scie nce and Computation Structures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46080©ow nerid=86014 UID:cfp684031-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151009 SUMMARY:FoSSaCS 2016 Abstract Due DESCRIPTION:19th International Conference on Foundations of Software Scie nce and Computation Structures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46080©ow nerid=86014 UID:cfp684031-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151016 SUMMARY:FoSSaCS 2016 Deadline DESCRIPTION:19th International Conference on Foundations of Software Scie nce and Computation Structures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46080©ow nerid=86014 UID:cfp684031-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151218 SUMMARY:FoSSaCS 2016 Notification Due DESCRIPTION:19th International Conference on Foundations of Software Scie nce and Computation Structures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46080©ow nerid=86014 UID:cfp684031-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160108 SUMMARY:FoSSaCS 2016 Final Version Due DESCRIPTION:19th International Conference on Foundations of Software Scie nce and Computation Structures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46080©ow nerid=86014 UID:cfp684031-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160402 DTEND;VALUE=DATE:20160409 SUMMARY:TACAS 2016 DESCRIPTION:22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46091©ow nerid=86014 UID:cfp684030-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151009 SUMMARY:TACAS 2016 Abstract Due DESCRIPTION:22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46091©ow nerid=86014 UID:cfp684030-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151016 SUMMARY:TACAS 2016 Deadline DESCRIPTION:22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46091©ow nerid=86014 UID:cfp684030-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151218 SUMMARY:TACAS 2016 Notification Due DESCRIPTION:22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46091©ow nerid=86014 UID:cfp684030-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160108 SUMMARY:TACAS 2016 Final Version Due DESCRIPTION:22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=46091©ow nerid=86014 UID:cfp684030-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160601 DTEND;VALUE=DATE:20160604 SUMMARY:iFM 2016 DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=86014 UID:cfp684032-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20151221 SUMMARY:iFM 2016 Abstract Due DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=86014 UID:cfp684032-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160106 SUMMARY:iFM 2016 Deadline DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=86014 UID:cfp684032-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160229 SUMMARY:iFM 2016 Notification Due DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=86014 UID:cfp684032-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160314 SUMMARY:iFM 2016 Final Version Due DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=86014 UID:cfp684032-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160717 DTEND;VALUE=DATE:20160724 SUMMARY:CAV 2016 DESCRIPTION:International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833©ow nerid=86014 UID:cfp684029-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160124 SUMMARY:CAV 2016 Abstract Due DESCRIPTION:International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833©ow nerid=86014 UID:cfp684029-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160129 SUMMARY:CAV 2016 Deadline DESCRIPTION:International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833©ow nerid=86014 UID:cfp684029-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160415 SUMMARY:CAV 2016 Notification Due DESCRIPTION:International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833©ow nerid=86014 UID:cfp684029-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160704 DTEND;VALUE=DATE:20160709 SUMMARY:SEFM 2016 DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=86014 UID:cfp684028-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160222 SUMMARY:SEFM 2016 Abstract Due DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=86014 UID:cfp684028-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160229 SUMMARY:SEFM 2016 Deadline DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=86014 UID:cfp684028-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160413 SUMMARY:SEFM 2016 Notification Due DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=86014 UID:cfp684028-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160422 SUMMARY:SEFM 2016 Final Version Due DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=86014 UID:cfp684028-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160907 DTEND;VALUE=DATE:20160910 SUMMARY:V&V track @ QUATIC 2016 DESCRIPTION:Quality Aspects in Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52470©ow nerid=86014 UID:cfp585548-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160515 SUMMARY:V&V track @ QUATIC 2016 Deadline DESCRIPTION:Quality Aspects in Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52470©ow nerid=86014 UID:cfp585548-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160612 SUMMARY:V&V track @ QUATIC 2016 Notification Due DESCRIPTION:Quality Aspects in Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52470©ow nerid=86014 UID:cfp585548-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160626 SUMMARY:V&V track @ QUATIC 2016 Final Version Due DESCRIPTION:Quality Aspects in Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52470©ow nerid=86014 UID:cfp585548-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170118 DTEND;VALUE=DATE:20170121 SUMMARY:POPL 2017 DESCRIPTION:44th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52652©ow nerid=86014 UID:cfp684024-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160701 SUMMARY:POPL 2017 Abstract Due DESCRIPTION:44th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52652©ow nerid=86014 UID:cfp684024-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160706 SUMMARY:POPL 2017 Deadline DESCRIPTION:44th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52652©ow nerid=86014 UID:cfp684024-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20161003 SUMMARY:POPL 2017 Notification Due DESCRIPTION:44th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52652©ow nerid=86014 UID:cfp684024-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20161107 SUMMARY:POPL 2017 Final Version Due DESCRIPTION:44th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52652©ow nerid=86014 UID:cfp684024-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20161114 DTEND;VALUE=DATE:20161116 SUMMARY:FTSCS 2016 DESCRIPTION:Fifth International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54061©ow nerid=86014 UID:cfp684027-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160911 SUMMARY:FTSCS 2016 Deadline DESCRIPTION:Fifth International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54061©ow nerid=86014 UID:cfp684027-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20161007 SUMMARY:FTSCS 2016 Notification Due DESCRIPTION:Fifth International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54061©ow nerid=86014 UID:cfp684027-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170313 DTEND;VALUE=DATE:20170319 SUMMARY:ICST 2017 DESCRIPTION:IEEE International Conference on Software Testing\, Verificat ion and Validation (ICST) 2017 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=55156©ow nerid=86014 UID:cfp684021-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20160923 SUMMARY:ICST 2017 Deadline DESCRIPTION:IEEE International Conference on Software Testing\, Verificat ion and Validation (ICST) 2017 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=55156©ow nerid=86014 UID:cfp684021-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20161119 SUMMARY:ICST 2017 Notification Due DESCRIPTION:IEEE International Conference on Software Testing\, Verificat ion and Validation (ICST) 2017 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=55156©ow nerid=86014 UID:cfp684021-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170619 DTEND;VALUE=DATE:20170624 SUMMARY:PLDI 2017 DESCRIPTION:ACM SIGPLAN Symposium on Programming Language Design &Impleme ntation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56258©ow nerid=86014 UID:cfp684017-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20161115 SUMMARY:PLDI 2017 Deadline DESCRIPTION:ACM SIGPLAN Symposium on Programming Language Design &Impleme ntation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56258©ow nerid=86014 UID:cfp684017-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170412 SUMMARY:PLDI 2017 Notification Due DESCRIPTION:ACM SIGPLAN Symposium on Programming Language Design &Impleme ntation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56258©ow nerid=86014 UID:cfp684017-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170619 DTEND;VALUE=DATE:20170624 SUMMARY:ECOOP 2017 DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56259©ow nerid=86014 UID:cfp685857-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170107 SUMMARY:ECOOP 2017 Abstract Due DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56259©ow nerid=86014 UID:cfp685857-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170113 SUMMARY:ECOOP 2017 Deadline DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56259©ow nerid=86014 UID:cfp685857-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170412 SUMMARY:ECOOP 2017 Notification Due DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56259©ow nerid=86014 UID:cfp685857-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170722 DTEND;VALUE=DATE:20170729 SUMMARY:CAV 2017 DESCRIPTION:29th International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57891©ow nerid=86014 UID:cfp684025-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170124 SUMMARY:CAV 2017 Deadline DESCRIPTION:29th International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57891©ow nerid=86014 UID:cfp684025-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170412 SUMMARY:CAV 2017 Notification Due DESCRIPTION:29th International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57891©ow nerid=86014 UID:cfp684025-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171022 DTEND;VALUE=DATE:20171028 SUMMARY:SPLASH 2017 DESCRIPTION:ACM SIGPLAN conference on Systems\, Programming\, Languages a nd Applications: Software for Humanity URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59017©ow nerid=86014 UID:cfp684020-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170413 SUMMARY:SPLASH 2017 Abstract Due DESCRIPTION:ACM SIGPLAN conference on Systems\, Programming\, Languages a nd Applications: Software for Humanity URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59017©ow nerid=86014 UID:cfp684020-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170417 SUMMARY:SPLASH 2017 Deadline DESCRIPTION:ACM SIGPLAN conference on Systems\, Programming\, Languages a nd Applications: Software for Humanity URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59017©ow nerid=86014 UID:cfp684020-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170621 SUMMARY:SPLASH 2017 Notification Due DESCRIPTION:ACM SIGPLAN conference on Systems\, Programming\, Languages a nd Applications: Software for Humanity URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59017©ow nerid=86014 UID:cfp684020-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170828 SUMMARY:SPLASH 2017 Final Version Due DESCRIPTION:ACM SIGPLAN conference on Systems\, Programming\, Languages a nd Applications: Software for Humanity URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59017©ow nerid=86014 UID:cfp684020-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171025 DTEND;VALUE=DATE:20171028 SUMMARY:OOPSLA 2017 DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \, and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59381©ow nerid=86014 UID:cfp684018-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170413 SUMMARY:OOPSLA 2017 Abstract Due DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \, and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59381©ow nerid=86014 UID:cfp684018-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170417 SUMMARY:OOPSLA 2017 Deadline DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \, and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59381©ow nerid=86014 UID:cfp684018-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170811 SUMMARY:OOPSLA 2017 Notification Due DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \, and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59381©ow nerid=86014 UID:cfp684018-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170828 SUMMARY:OOPSLA 2017 Final Version Due DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \, and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59381©ow nerid=86014 UID:cfp684018-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170830 DTEND;VALUE=DATE:20170902 SUMMARY:SAS 2017 DESCRIPTION:24th Static Analysis Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61200©ow nerid=86014 UID:cfp684023-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170414 SUMMARY:SAS 2017 Abstract Due DESCRIPTION:24th Static Analysis Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61200©ow nerid=86014 UID:cfp684023-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170420 SUMMARY:SAS 2017 Deadline DESCRIPTION:24th Static Analysis Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61200©ow nerid=86014 UID:cfp684023-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170612 SUMMARY:SAS 2017 Notification Due DESCRIPTION:24th Static Analysis Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61200©ow nerid=86014 UID:cfp684023-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170705 SUMMARY:SAS 2017 Final Version Due DESCRIPTION:24th Static Analysis Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=61200©ow nerid=86014 UID:cfp684023-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171113 DTEND;VALUE=DATE:20171118 SUMMARY:ICFEM 2017 DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=86014 UID:cfp684022-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170430 SUMMARY:ICFEM 2017 Abstract Due DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=86014 UID:cfp684022-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170507 SUMMARY:ICFEM 2017 Deadline DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=86014 UID:cfp684022-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170629 SUMMARY:ICFEM 2017 Notification Due DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=86014 UID:cfp684022-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20170729 SUMMARY:ICFEM 2017 Final Version Due DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=86014 UID:cfp684022-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z 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=86014 UID:cfp686903-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z 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=86014 UID:cfp686903-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z 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=86014 UID:cfp686903-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z 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=86014 UID:cfp686903-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z 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=86014 UID:cfp686903-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180527 DTEND;VALUE=DATE:20180604 SUMMARY:ICSE 2018 DESCRIPTION:International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63197©ow nerid=86014 UID:cfp684026-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171010 SUMMARY:ICSE 2018 Deadline DESCRIPTION:International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63197©ow nerid=86014 UID:cfp684026-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171120 SUMMARY:ICSE 2018 Notification Due DESCRIPTION:International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63197©ow nerid=86014 UID:cfp684026-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20181130 SUMMARY:ICSE 2018 Final Version Due DESCRIPTION:International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63197©ow nerid=86014 UID:cfp684026-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180409 DTEND;VALUE=DATE:20180414 SUMMARY:ICST 2018 DESCRIPTION:The 11th IEEE International Conference on Software Testing\, Verification\, and Validation (ICST 2018) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65910©ow nerid=86014 UID:cfp685855-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171005 SUMMARY:ICST 2018 Abstract Due DESCRIPTION:The 11th IEEE International Conference on Software Testing\, Verification\, and Validation (ICST 2018) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65910©ow nerid=86014 UID:cfp685855-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171012 SUMMARY:ICST 2018 Deadline DESCRIPTION:The 11th IEEE International Conference on Software Testing\, Verification\, and Validation (ICST 2018) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65910©ow nerid=86014 UID:cfp685855-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171218 SUMMARY:ICST 2018 Notification Due DESCRIPTION:The 11th IEEE International Conference on Software Testing\, Verification\, and Validation (ICST 2018) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65910©ow nerid=86014 UID:cfp685855-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180620 DTEND;VALUE=DATE:20180623 SUMMARY:PLDI 2018 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=67776©ow nerid=86014 UID:cfp685852-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20171116 SUMMARY:PLDI 2018 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=67776©ow nerid=86014 UID:cfp685852-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180213 SUMMARY:PLDI 2018 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=67776©ow nerid=86014 UID:cfp685852-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180430 DTEND;VALUE=DATE:20180505 SUMMARY:ICSA 2018 DESCRIPTION:International Conference on Software Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63338©ow nerid=86014 UID:cfp685853-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180118 SUMMARY:ICSA 2018 Abstract Due DESCRIPTION:International Conference on Software Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63338©ow nerid=86014 UID:cfp685853-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180125 SUMMARY:ICSA 2018 Deadline DESCRIPTION:International Conference on Software Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63338©ow nerid=86014 UID:cfp685853-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180301 SUMMARY:ICSA 2018 Notification Due DESCRIPTION:International Conference on Software Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63338©ow nerid=86014 UID:cfp685853-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180322 SUMMARY:ICSA 2018 Final Version Due DESCRIPTION:International Conference on Software Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63338©ow nerid=86014 UID:cfp685853-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180716 DTEND;VALUE=DATE:20180723 SUMMARY:ISSTA 2018 DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66465©ow nerid=86014 UID:cfp684019-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180129 SUMMARY:ISSTA 2018 Deadline DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66465©ow nerid=86014 UID:cfp684019-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180502 SUMMARY:ISSTA 2018 Notification Due DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66465©ow nerid=86014 UID:cfp684019-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260623T062537Z DTSTART;VALUE=DATE:20180608 SUMMARY:ISSTA 2018 Final Version Due DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66465©ow nerid=86014 UID:cfp684019-N@wikicfp.com END:VEVENT END:VCALENDAR