BEGIN:VCALENDAR PRODID:-//WikiCFP//sarswat 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20100322 DTEND;VALUE=DATE:20100327 SUMMARY:ESOP 2010 DESCRIPTION:19th European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6662©own erid=159567 UID:cfp814997-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20091001 SUMMARY:ESOP 2010 Abstract Due DESCRIPTION:19th European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6662©own erid=159567 UID:cfp814997-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20091008 SUMMARY:ESOP 2010 Deadline DESCRIPTION:19th European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6662©own erid=159567 UID:cfp814997-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20091211 SUMMARY:ESOP 2010 Notification Due DESCRIPTION:19th European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6662©own erid=159567 UID:cfp814997-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20100104 SUMMARY:ESOP 2010 Final Version Due DESCRIPTION:19th European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6662©own erid=159567 UID:cfp814997-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20140512 DTEND;VALUE=DATE:20140516 SUMMARY:TYPES 2014 DESCRIPTION:Types for Proofs and Programs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34913©ow nerid=159567 UID:cfp814991-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20140221 SUMMARY:TYPES 2014 Abstract Due DESCRIPTION:Types for Proofs and Programs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34913©ow nerid=159567 UID:cfp814991-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20140228 SUMMARY:TYPES 2014 Deadline DESCRIPTION:Types for Proofs and Programs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34913©ow nerid=159567 UID:cfp814991-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20140317 SUMMARY:TYPES 2014 Notification Due DESCRIPTION:Types for Proofs and Programs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34913©ow nerid=159567 UID:cfp814991-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20140411 SUMMARY:TYPES 2014 Final Version Due DESCRIPTION:Types for Proofs and Programs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34913©ow nerid=159567 UID:cfp814991-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20150824 DTEND;VALUE=DATE:20150828 SUMMARY:ITP 2015 DESCRIPTION:interactive theorem proving URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43233©ow nerid=159567 UID:cfp814994-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20150309 SUMMARY:ITP 2015 Abstract Due DESCRIPTION:interactive theorem proving URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43233©ow nerid=159567 UID:cfp814994-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20150312 SUMMARY:ITP 2015 Deadline DESCRIPTION:interactive theorem proving URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43233©ow nerid=159567 UID:cfp814994-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20150515 SUMMARY:ITP 2015 Notification Due DESCRIPTION:interactive theorem proving URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43233©ow nerid=159567 UID:cfp814994-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20150605 SUMMARY:ITP 2015 Final Version Due DESCRIPTION:interactive theorem proving URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43233©ow nerid=159567 UID:cfp814994-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z 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=159567 UID:cfp814995-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z 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=159567 UID:cfp814995-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z 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=159567 UID:cfp814995-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z 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=159567 UID:cfp814995-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z 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=159567 UID:cfp814995-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20160829 DTEND;VALUE=DATE:20160902 SUMMARY:CSL 2016 DESCRIPTION:25th EACSL Annual Conference on Computer Science Logic URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52148©ow nerid=159567 UID:cfp825260-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20160408 SUMMARY:CSL 2016 Abstract Due DESCRIPTION:25th EACSL Annual Conference on Computer Science Logic URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52148©ow nerid=159567 UID:cfp825260-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20160415 SUMMARY:CSL 2016 Deadline DESCRIPTION:25th EACSL Annual Conference on Computer Science Logic URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52148©ow nerid=159567 UID:cfp825260-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20160611 SUMMARY:CSL 2016 Notification Due DESCRIPTION:25th EACSL Annual Conference on Computer Science Logic URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52148©ow nerid=159567 UID:cfp825260-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180414 DTEND;VALUE=DATE:20180422 SUMMARY:ETAPS 2018 DESCRIPTION:ETAPS 2018: European Joint Conferences on Theory and Practice of Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66746©ow nerid=159567 UID:cfp814989-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20171013 SUMMARY:ETAPS 2018 Abstract Due DESCRIPTION:ETAPS 2018: European Joint Conferences on Theory and Practice of Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66746©ow nerid=159567 UID:cfp814989-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20171020 SUMMARY:ETAPS 2018 Deadline DESCRIPTION:ETAPS 2018: European Joint Conferences on Theory and Practice of Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66746©ow nerid=159567 UID:cfp814989-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20171222 SUMMARY:ETAPS 2018 Notification Due DESCRIPTION:ETAPS 2018: European Joint Conferences on Theory and Practice of Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66746©ow nerid=159567 UID:cfp814989-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180119 SUMMARY:ETAPS 2018 Final Version Due DESCRIPTION:ETAPS 2018: European Joint Conferences on Theory and Practice of Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=66746©ow nerid=159567 UID:cfp814989-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181030 DTEND;VALUE=DATE:20181103 SUMMARY:FMCAD 2018 DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=73161©ow nerid=159567 UID:cfp814998-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180511 SUMMARY:FMCAD 2018 Abstract Due DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=73161©ow nerid=159567 UID:cfp814998-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180518 SUMMARY:FMCAD 2018 Deadline DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=73161©ow nerid=159567 UID:cfp814998-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180718 SUMMARY:FMCAD 2018 Notification Due DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=73161©ow nerid=159567 UID:cfp814998-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180819 SUMMARY:FMCAD 2018 Final Version Due DESCRIPTION:International Conference on Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=73161©ow nerid=159567 UID:cfp814998-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181112 DTEND;VALUE=DATE:20181117 SUMMARY:ICFEM 2018 DESCRIPTION:20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=74486©ow nerid=159567 UID:cfp814987-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180521 SUMMARY:ICFEM 2018 Deadline DESCRIPTION:20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=74486©ow nerid=159567 UID:cfp814987-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180629 SUMMARY:ICFEM 2018 Notification Due DESCRIPTION:20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=74486©ow nerid=159567 UID:cfp814987-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180729 SUMMARY:ICFEM 2018 Final Version Due DESCRIPTION:20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=74486©ow nerid=159567 UID:cfp814987-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181116 DTEND;VALUE=DATE:20181122 SUMMARY: LPAR 2018 DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=159567 UID:cfp814988-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180806 SUMMARY: LPAR 2018 Abstract Due DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=159567 UID:cfp814988-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180813 SUMMARY: LPAR 2018 Deadline DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=159567 UID:cfp814988-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20180924 SUMMARY: LPAR 2018 Notification Due DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=159567 UID:cfp814988-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181015 SUMMARY: LPAR 2018 Final Version Due DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=159567 UID:cfp814988-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190113 DTEND;VALUE=DATE:20190116 SUMMARY:VMCAI 2019 DESCRIPTION:International Conference on Verification\, Model Checking\, a nd Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78916©ow nerid=159567 UID:cfp814986-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181001 SUMMARY:VMCAI 2019 Deadline DESCRIPTION:International Conference on Verification\, Model Checking\, a nd Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78916©ow nerid=159567 UID:cfp814986-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181112 SUMMARY:VMCAI 2019 Notification Due DESCRIPTION:International Conference on Verification\, Model Checking\, a nd Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78916©ow nerid=159567 UID:cfp814986-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181125 SUMMARY:VMCAI 2019 Final Version Due DESCRIPTION:International Conference on Verification\, Model Checking\, a nd Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78916©ow nerid=159567 UID:cfp814986-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190408 DTEND;VALUE=DATE:20190412 SUMMARY:ESOP 2019 DESCRIPTION:European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79119©ow nerid=159567 UID:cfp825261-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181109 SUMMARY:ESOP 2019 Abstract Due DESCRIPTION:European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79119©ow nerid=159567 UID:cfp825261-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20181115 SUMMARY:ESOP 2019 Deadline DESCRIPTION:European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79119©ow nerid=159567 UID:cfp825261-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190125 SUMMARY:ESOP 2019 Notification Due DESCRIPTION:European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79119©ow nerid=159567 UID:cfp825261-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190223 SUMMARY:ESOP 2019 Final Version Due DESCRIPTION:European Symposium on Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79119©ow nerid=159567 UID:cfp825261-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190818 DTEND;VALUE=DATE:20190824 SUMMARY:ICFP 2019 DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=159567 UID:cfp814993-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190301 SUMMARY:ICFP 2019 Deadline DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=159567 UID:cfp814993-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190416 SUMMARY:ICFP 2019 Notification Due DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=159567 UID:cfp814993-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190622 SUMMARY:ICFP 2019 Final Version Due DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=159567 UID:cfp814993-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191007 DTEND;VALUE=DATE:20191012 SUMMARY:FM 2019 DESCRIPTION:23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83723©ow nerid=159567 UID:cfp814977-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190328 SUMMARY:FM 2019 Abstract Due DESCRIPTION:23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83723©ow nerid=159567 UID:cfp814977-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190411 SUMMARY:FM 2019 Deadline DESCRIPTION:23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83723©ow nerid=159567 UID:cfp814977-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190611 SUMMARY:FM 2019 Notification Due DESCRIPTION:23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83723©ow nerid=159567 UID:cfp814977-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190709 SUMMARY:FM 2019 Final Version Due DESCRIPTION:23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83723©ow nerid=159567 UID:cfp814977-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190826 DTEND;VALUE=DATE:20190831 SUMMARY:MFCS 2019 DESCRIPTION:Mathematical Foundations of Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84445©ow nerid=159567 UID:cfp814996-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190422 SUMMARY:MFCS 2019 Deadline DESCRIPTION:Mathematical Foundations of Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84445©ow nerid=159567 UID:cfp814996-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190612 SUMMARY:MFCS 2019 Notification Due DESCRIPTION:Mathematical Foundations of Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84445©ow nerid=159567 UID:cfp814996-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190701 SUMMARY:MFCS 2019 Final Version Due DESCRIPTION:Mathematical Foundations of Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84445©ow nerid=159567 UID:cfp814996-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190617 DTEND;VALUE=DATE:20190622 SUMMARY:ALC 2019 DESCRIPTION:The Sixteenth Asian Logic Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83015©ow nerid=159567 UID:cfp814990-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190501 SUMMARY:ALC 2019 Deadline DESCRIPTION:The Sixteenth Asian Logic Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83015©ow nerid=159567 UID:cfp814990-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190509 SUMMARY:ALC 2019 Notification Due DESCRIPTION:The Sixteenth Asian Logic Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83015©ow nerid=159567 UID:cfp814990-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190509 SUMMARY:ALC 2019 Final Version Due DESCRIPTION:The Sixteenth Asian Logic Conference URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83015©ow nerid=159567 UID:cfp814990-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191028 DTEND;VALUE=DATE:20191101 SUMMARY:ATVA 2019 DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84121©ow nerid=159567 UID:cfp814983-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190426 SUMMARY:ATVA 2019 Abstract Due DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84121©ow nerid=159567 UID:cfp814983-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190503 SUMMARY:ATVA 2019 Deadline DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84121©ow nerid=159567 UID:cfp814983-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190616 SUMMARY:ATVA 2019 Notification Due DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84121©ow nerid=159567 UID:cfp814983-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190712 SUMMARY:ATVA 2019 Final Version Due DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84121©ow nerid=159567 UID:cfp814983-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190916 DTEND;VALUE=DATE:20190921 SUMMARY:SEFM 2019 DESCRIPTION:17th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84654©ow nerid=159567 UID:cfp814985-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190503 SUMMARY:SEFM 2019 Abstract Due DESCRIPTION:17th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84654©ow nerid=159567 UID:cfp814985-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190510 SUMMARY:SEFM 2019 Deadline DESCRIPTION:17th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84654©ow nerid=159567 UID:cfp814985-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190625 SUMMARY:SEFM 2019 Notification Due DESCRIPTION:17th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84654©ow nerid=159567 UID:cfp814985-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190712 SUMMARY:SEFM 2019 Final Version Due DESCRIPTION:17th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84654©ow nerid=159567 UID:cfp814985-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191021 DTEND;VALUE=DATE:20191024 SUMMARY:AFT 2019 DESCRIPTION:Advances in Financial Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88477©ow nerid=159567 UID:cfp825258-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190524 SUMMARY:AFT 2019 Deadline DESCRIPTION:Advances in Financial Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88477©ow nerid=159567 UID:cfp825258-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190723 SUMMARY:AFT 2019 Notification Due DESCRIPTION:Advances in Financial Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88477©ow nerid=159567 UID:cfp825258-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191007 DTEND;VALUE=DATE:20191008 SUMMARY:FMIS 2019 DESCRIPTION:8th Formal Methods for Interactive Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84653©ow nerid=159567 UID:cfp814984-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190621 SUMMARY:FMIS 2019 Deadline DESCRIPTION:8th Formal Methods for Interactive Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84653©ow nerid=159567 UID:cfp814984-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190731 SUMMARY:FMIS 2019 Notification Due DESCRIPTION:8th Formal Methods for Interactive Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84653©ow nerid=159567 UID:cfp814984-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190902 SUMMARY:FMIS 2019 Final Version Due DESCRIPTION:8th Formal Methods for Interactive Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84653©ow nerid=159567 UID:cfp814984-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191204 DTEND;VALUE=DATE:20191209 SUMMARY:iFM 2019 DESCRIPTION:International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88618©ow nerid=159567 UID:cfp814980-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190701 SUMMARY:iFM 2019 Abstract Due DESCRIPTION:International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88618©ow nerid=159567 UID:cfp814980-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190705 SUMMARY:iFM 2019 Deadline DESCRIPTION:International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88618©ow nerid=159567 UID:cfp814980-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190916 SUMMARY:iFM 2019 Notification Due DESCRIPTION:International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88618©ow nerid=159567 UID:cfp814980-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191001 SUMMARY:iFM 2019 Final Version Due DESCRIPTION:International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=88618©ow nerid=159567 UID:cfp814980-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190330 DTEND;VALUE=DATE:20190404 SUMMARY:SAC 2020 DESCRIPTION:The 35th ACM/SIGAPP Symposium On Applied Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90511©ow nerid=159567 UID:cfp814992-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20190915 SUMMARY:SAC 2020 Deadline DESCRIPTION:The 35th ACM/SIGAPP Symposium On Applied Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90511©ow nerid=159567 UID:cfp814992-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191110 SUMMARY:SAC 2020 Notification Due DESCRIPTION:The 35th ACM/SIGAPP Symposium On Applied Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90511©ow nerid=159567 UID:cfp814992-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191125 SUMMARY:SAC 2020 Final Version Due DESCRIPTION:The 35th ACM/SIGAPP Symposium On Applied Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90511©ow nerid=159567 UID:cfp814992-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200120 DTEND;VALUE=DATE:20200122 SUMMARY:CPP 2020 DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87228©ow nerid=159567 UID:cfp814979-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191016 SUMMARY:CPP 2020 Abstract Due DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87228©ow nerid=159567 UID:cfp814979-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191021 SUMMARY:CPP 2020 Deadline DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87228©ow nerid=159567 UID:cfp814979-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191117 SUMMARY:CPP 2020 Notification Due DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87228©ow nerid=159567 UID:cfp814979-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20191220 SUMMARY:CPP 2020 Final Version Due DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87228©ow nerid=159567 UID:cfp814979-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200621 DTEND;VALUE=DATE:20200625 SUMMARY:CAV 2020 DESCRIPTION:Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95282©ow nerid=159567 UID:cfp814981-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200123 SUMMARY:CAV 2020 Deadline DESCRIPTION:Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95282©ow nerid=159567 UID:cfp814981-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200403 SUMMARY:CAV 2020 Notification Due DESCRIPTION:Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95282©ow nerid=159567 UID:cfp814981-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200515 SUMMARY:CAV 2020 Final Version Due DESCRIPTION:Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95282©ow nerid=159567 UID:cfp814981-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200629 DTEND;VALUE=DATE:20200706 SUMMARY:IJCAR 2020 DESCRIPTION:10th International Joint Conference on Automated Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95318©ow nerid=159567 UID:cfp814982-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200116 SUMMARY:IJCAR 2020 Abstract Due DESCRIPTION:10th International Joint Conference on Automated Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95318©ow nerid=159567 UID:cfp814982-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200123 SUMMARY:IJCAR 2020 Deadline DESCRIPTION:10th International Joint Conference on Automated Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95318©ow nerid=159567 UID:cfp814982-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200320 SUMMARY:IJCAR 2020 Notification Due DESCRIPTION:10th International Joint Conference on Automated Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95318©ow nerid=159567 UID:cfp814982-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200410 SUMMARY:IJCAR 2020 Final Version Due DESCRIPTION:10th International Joint Conference on Automated Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95318©ow nerid=159567 UID:cfp814982-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200629 DTEND;VALUE=DATE:20200706 SUMMARY:FSCD 2020 DESCRIPTION:Fifth International Conference on Formal Structures for Comp utation and Deduction URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94564©ow nerid=159567 UID:cfp814999-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200206 SUMMARY:FSCD 2020 Abstract Due DESCRIPTION:Fifth International Conference on Formal Structures for Comp utation and Deduction URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94564©ow nerid=159567 UID:cfp814999-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200209 SUMMARY:FSCD 2020 Deadline DESCRIPTION:Fifth International Conference on Formal Structures for Comp utation and Deduction URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94564©ow nerid=159567 UID:cfp814999-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200413 SUMMARY:FSCD 2020 Notification Due DESCRIPTION:Fifth International Conference on Formal Structures for Comp utation and Deduction URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94564©ow nerid=159567 UID:cfp814999-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200427 SUMMARY:FSCD 2020 Final Version Due DESCRIPTION:Fifth International Conference on Formal Structures for Comp utation and Deduction URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94564©ow nerid=159567 UID:cfp814999-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200713 DTEND;VALUE=DATE:20200718 SUMMARY:EC 2020 DESCRIPTION:ACM Conference on Economics and Computation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99066©ow nerid=159567 UID:cfp825259-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200212 SUMMARY:EC 2020 Deadline DESCRIPTION:ACM Conference on Economics and Computation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99066©ow nerid=159567 UID:cfp825259-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200409 SUMMARY:EC 2020 Notification Due DESCRIPTION:ACM Conference on Economics and Computation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99066©ow nerid=159567 UID:cfp825259-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20201026 DTEND;VALUE=DATE:20201031 SUMMARY:ATVA 2020 DESCRIPTION:18ᵗʰ International Symposium on Automated Technology for V erification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95321©ow nerid=159567 UID:cfp825262-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200426 SUMMARY:ATVA 2020 Abstract Due DESCRIPTION:18ᵗʰ International Symposium on Automated Technology for V erification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95321©ow nerid=159567 UID:cfp825262-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200503 SUMMARY:ATVA 2020 Deadline DESCRIPTION:18ᵗʰ International Symposium on Automated Technology for V erification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95321©ow nerid=159567 UID:cfp825262-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200605 SUMMARY:ATVA 2020 Notification Due DESCRIPTION:18ᵗʰ International Symposium on Automated Technology for V erification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95321©ow nerid=159567 UID:cfp825262-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260527T165322Z DTSTART;VALUE=DATE:20200705 SUMMARY:ATVA 2020 Final Version Due DESCRIPTION:18ᵗʰ International Symposium on Automated Technology for V erification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95321©ow nerid=159567 UID:cfp825262-N@wikicfp.com END:VEVENT END:VCALENDAR