BEGIN:VCALENDAR PRODID:-//WikiCFP//joaosreis 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831915-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831915-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831915-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831915-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831915-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20190713 DTEND;VALUE=DATE:20190715 SUMMARY:VSTTE 2019 DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85101©ow nerid=162515 UID:cfp831916-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20190423 SUMMARY:VSTTE 2019 Abstract Due DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85101©ow nerid=162515 UID:cfp831916-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20190429 SUMMARY:VSTTE 2019 Deadline DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85101©ow nerid=162515 UID:cfp831916-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20190603 SUMMARY:VSTTE 2019 Notification Due DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85101©ow nerid=162515 UID:cfp831916-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20190826 SUMMARY:VSTTE 2019 Final Version Due DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85101©ow nerid=162515 UID:cfp831916-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200119 DTEND;VALUE=DATE:20200126 SUMMARY:POPL 2020 DESCRIPTION:ACM SIGPLAN Symposium on Principles of Programming Languages 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85530©ow nerid=162515 UID:cfp831914-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20190710 SUMMARY:POPL 2020 Deadline DESCRIPTION:ACM SIGPLAN Symposium on Principles of Programming Languages 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85530©ow nerid=162515 UID:cfp831914-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191014 SUMMARY:POPL 2020 Notification Due DESCRIPTION:ACM SIGPLAN Symposium on Principles of Programming Languages 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85530©ow nerid=162515 UID:cfp831914-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191107 SUMMARY:POPL 2020 Final Version Due DESCRIPTION:ACM SIGPLAN Symposium on Principles of Programming Languages 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85530©ow nerid=162515 UID:cfp831914-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831919-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831919-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831919-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831919-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831919-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200425 DTEND;VALUE=DATE:20200501 SUMMARY:TACAS 2020 DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94691©ow nerid=162515 UID:cfp831913-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191024 SUMMARY:TACAS 2020 Deadline DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94691©ow nerid=162515 UID:cfp831913-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191223 SUMMARY:TACAS 2020 Notification Due DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94691©ow nerid=162515 UID:cfp831913-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200222 SUMMARY:TACAS 2020 Final Version Due DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94691©ow nerid=162515 UID:cfp831913-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200413 DTEND;VALUE=DATE:20200417 SUMMARY:IEEE DAPPS 2020 DESCRIPTION:The 2nd IEEE International Conference on Decentralized Applic ations and Infrastructures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92342©ow nerid=162515 UID:cfp831904-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191130 SUMMARY:IEEE DAPPS 2020 Deadline DESCRIPTION:The 2nd IEEE International Conference on Decentralized Applic ations and Infrastructures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92342©ow nerid=162515 UID:cfp831904-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200115 SUMMARY:IEEE DAPPS 2020 Notification Due DESCRIPTION:The 2nd IEEE International Conference on Decentralized Applic ations and Infrastructures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92342©ow nerid=162515 UID:cfp831904-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200131 SUMMARY:IEEE DAPPS 2020 Final Version Due DESCRIPTION:The 2nd IEEE International Conference on Decentralized Applic ations and Infrastructures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92342©ow nerid=162515 UID:cfp831904-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200503 DTEND;VALUE=DATE:20200507 SUMMARY:ICBC 2020 DESCRIPTION:IEEE International Conference on Blockchain and Cryptocurrenc y 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91053©ow nerid=162515 UID:cfp831905-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191202 SUMMARY:ICBC 2020 Deadline DESCRIPTION:IEEE International Conference on Blockchain and Cryptocurrenc y 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91053©ow nerid=162515 UID:cfp831905-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200511 DTEND;VALUE=DATE:20200516 SUMMARY:NFM 2020 DESCRIPTION: 12th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411©ow nerid=162515 UID:cfp831912-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191212 SUMMARY:NFM 2020 Abstract Due DESCRIPTION: 12th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411©ow nerid=162515 UID:cfp831912-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20191219 SUMMARY:NFM 2020 Deadline DESCRIPTION: 12th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411©ow nerid=162515 UID:cfp831912-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200220 SUMMARY:NFM 2020 Notification Due DESCRIPTION: 12th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411©ow nerid=162515 UID:cfp831912-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200327 SUMMARY:NFM 2020 Final Version Due DESCRIPTION: 12th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411©ow nerid=162515 UID:cfp831912-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200713 DTEND;VALUE=DATE:20200718 SUMMARY:ECOOP 2020 DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96590©ow nerid=162515 UID:cfp831918-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200110 SUMMARY:ECOOP 2020 Deadline DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96590©ow nerid=162515 UID:cfp831918-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200408 SUMMARY:ECOOP 2020 Notification Due DESCRIPTION:European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96590©ow nerid=162515 UID:cfp831918-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831907-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831907-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831907-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z 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=162515 UID:cfp831907-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200727 DTEND;VALUE=DATE:20200801 SUMMARY:QRS 2020 DESCRIPTION:The 20th IEEE International Conference on Software Quality\, Reliability\, and Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99504©ow nerid=162515 UID:cfp831908-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200322 SUMMARY:QRS 2020 Abstract Due DESCRIPTION:The 20th IEEE International Conference on Software Quality\, Reliability\, and Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99504©ow nerid=162515 UID:cfp831908-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200401 SUMMARY:QRS 2020 Deadline DESCRIPTION:The 20th IEEE International Conference on Software Quality\, Reliability\, and Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99504©ow nerid=162515 UID:cfp831908-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200531 SUMMARY:QRS 2020 Notification Due DESCRIPTION:The 20th IEEE International Conference on Software Quality\, Reliability\, and Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99504©ow nerid=162515 UID:cfp831908-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200619 SUMMARY:QRS 2020 Final Version Due DESCRIPTION:The 20th IEEE International Conference on Software Quality\, Reliability\, and Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99504©ow nerid=162515 UID:cfp831908-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200915 DTEND;VALUE=DATE:20200921 SUMMARY:OOPSLA 2020 DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \,and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=98193©ow nerid=162515 UID:cfp831920-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200415 SUMMARY:OOPSLA 2020 Deadline DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \,and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=98193©ow nerid=162515 UID:cfp831920-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200601 SUMMARY:OOPSLA 2020 Notification Due DESCRIPTION:Conference on Object-Oriented Programming Systems\, Languages \,and Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=98193©ow nerid=162515 UID:cfp831920-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201118 DTEND;VALUE=DATE:20201121 SUMMARY:SAS 2020 DESCRIPTION:Static Analysis Symposium\, SAS 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99739©ow nerid=162515 UID:cfp831906-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200422 SUMMARY:SAS 2020 Abstract Due DESCRIPTION:Static Analysis Symposium\, SAS 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99739©ow nerid=162515 UID:cfp831906-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200424 SUMMARY:SAS 2020 Deadline DESCRIPTION:Static Analysis Symposium\, SAS 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99739©ow nerid=162515 UID:cfp831906-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200626 SUMMARY:SAS 2020 Notification Due DESCRIPTION:Static Analysis Symposium\, SAS 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99739©ow nerid=162515 UID:cfp831906-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200915 SUMMARY:SAS 2020 Final Version Due DESCRIPTION:Static Analysis Symposium\, SAS 2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99739©ow nerid=162515 UID:cfp831906-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201102 DTEND;VALUE=DATE:20201107 SUMMARY:ICFEM 2020 DESCRIPTION:The 22nd International Conference on Formal Engineering Metho ds (2020) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100012©o wnerid=162515 UID:cfp831911-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200501 SUMMARY:ICFEM 2020 Deadline DESCRIPTION:The 22nd International Conference on Formal Engineering Metho ds (2020) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100012©o wnerid=162515 UID:cfp831911-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200619 SUMMARY:ICFEM 2020 Notification Due DESCRIPTION:The 22nd International Conference on Formal Engineering Metho ds (2020) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100012©o wnerid=162515 UID:cfp831911-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200717 SUMMARY:ICFEM 2020 Final Version Due DESCRIPTION:The 22nd International Conference on Formal Engineering Metho ds (2020) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100012©o wnerid=162515 UID:cfp831911-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200914 DTEND;VALUE=DATE:20200919 SUMMARY:SEFM 2020 DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=162515 UID:cfp831917-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200427 SUMMARY:SEFM 2020 Abstract Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=162515 UID:cfp831917-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200504 SUMMARY:SEFM 2020 Deadline DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=162515 UID:cfp831917-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200626 SUMMARY:SEFM 2020 Notification Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=162515 UID:cfp831917-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200707 SUMMARY:SEFM 2020 Final Version Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=162515 UID:cfp831917-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200719 DTEND;VALUE=DATE:20200720 SUMMARY:FMBC 2020 DESCRIPTION:2nd Workshop on Formal Methods for Blockchains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101679©o wnerid=162515 UID:cfp831910-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200505 SUMMARY:FMBC 2020 Abstract Due DESCRIPTION:2nd Workshop on Formal Methods for Blockchains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101679©o wnerid=162515 UID:cfp831910-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200512 SUMMARY:FMBC 2020 Deadline DESCRIPTION:2nd Workshop on Formal Methods for Blockchains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101679©o wnerid=162515 UID:cfp831910-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200616 SUMMARY:FMBC 2020 Notification Due DESCRIPTION:2nd Workshop on Formal Methods for Blockchains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101679©o wnerid=162515 UID:cfp831910-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200707 SUMMARY:FMBC 2020 Final Version Due DESCRIPTION:2nd Workshop on Formal Methods for Blockchains URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101679©o wnerid=162515 UID:cfp831910-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200727 DTEND;VALUE=DATE:20200801 SUMMARY:IEEE BSC 2020 DESCRIPTION:IEEE International Workshop on Blockchain and Smart Contracts URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101495©o wnerid=162515 UID:cfp831902-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200515 SUMMARY:IEEE BSC 2020 Deadline DESCRIPTION:IEEE International Workshop on Blockchain and Smart Contracts URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101495©o wnerid=162515 UID:cfp831902-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200710 SUMMARY:IEEE BSC 2020 Notification Due DESCRIPTION:IEEE International Workshop on Blockchain and Smart Contracts URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101495©o wnerid=162515 UID:cfp831902-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201102 DTEND;VALUE=DATE:20201106 SUMMARY:IEEE BCCA 2020 DESCRIPTION:The International Conference on Blockchain Computing and Appl ications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100277©o wnerid=162515 UID:cfp831909-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200525 SUMMARY:IEEE BCCA 2020 Deadline DESCRIPTION:The International Conference on Blockchain Computing and Appl ications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100277©o wnerid=162515 UID:cfp831909-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200815 SUMMARY:IEEE BCCA 2020 Notification Due DESCRIPTION:The International Conference on Blockchain Computing and Appl ications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100277©o wnerid=162515 UID:cfp831909-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200910 SUMMARY:IEEE BCCA 2020 Final Version Due DESCRIPTION:The International Conference on Blockchain Computing and Appl ications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100277©o wnerid=162515 UID:cfp831909-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201102 DTEND;VALUE=DATE:20201107 SUMMARY:Blockchain 2020 DESCRIPTION:The 2020 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96834©ow nerid=162515 UID:cfp831903-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200615 SUMMARY:Blockchain 2020 Deadline DESCRIPTION:The 2020 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96834©ow nerid=162515 UID:cfp831903-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200731 SUMMARY:Blockchain 2020 Notification Due DESCRIPTION:The 2020 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96834©ow nerid=162515 UID:cfp831903-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200902 SUMMARY:Blockchain 2020 Final Version Due DESCRIPTION:The 2020 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96834©ow nerid=162515 UID:cfp831903-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201019 DTEND;VALUE=DATE:20201023 SUMMARY:AIBlock 2020 DESCRIPTION:2nd International Workshop on Application Intelligence and Bl ockchain Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100253©o wnerid=162515 UID:cfp840969-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200622 SUMMARY:AIBlock 2020 Deadline DESCRIPTION:2nd International Workshop on Application Intelligence and Bl ockchain Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100253©o wnerid=162515 UID:cfp840969-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200722 SUMMARY:AIBlock 2020 Notification Due DESCRIPTION:2nd International Workshop on Application Intelligence and Bl ockchain Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100253©o wnerid=162515 UID:cfp840969-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200718 DTEND;VALUE=DATE:20200723 SUMMARY:WoSCA 2020 DESCRIPTION:1st International Workshop on Smart Contract Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102712©o wnerid=162515 UID:cfp840970-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200626 SUMMARY:WoSCA 2020 Deadline DESCRIPTION:1st International Workshop on Smart Contract Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102712©o wnerid=162515 UID:cfp840970-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210217 DTEND;VALUE=DATE:20210223 SUMMARY:POPL 2021 DESCRIPTION:Principles of Programming Languages 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109861©o wnerid=162515 UID:cfp846979-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200709 SUMMARY:POPL 2021 Deadline DESCRIPTION:Principles of Programming Languages 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109861©o wnerid=162515 UID:cfp846979-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201001 SUMMARY:POPL 2021 Notification Due DESCRIPTION:Principles of Programming Languages 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109861©o wnerid=162515 UID:cfp846979-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210322 DTEND;VALUE=DATE:20210327 SUMMARY:SAC-SVT 2021 DESCRIPTION:Software Verification and Testing Track at SAC 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109280©o wnerid=162515 UID:cfp846614-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200915 SUMMARY:SAC-SVT 2021 Deadline DESCRIPTION:Software Verification and Testing Track at SAC 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109280©o wnerid=162515 UID:cfp846614-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201110 SUMMARY:SAC-SVT 2021 Notification Due DESCRIPTION:Software Verification and Testing Track at SAC 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109280©o wnerid=162515 UID:cfp846614-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201125 SUMMARY:SAC-SVT 2021 Final Version Due DESCRIPTION:Software Verification and Testing Track at SAC 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109280©o wnerid=162515 UID:cfp846614-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210118 DTEND;VALUE=DATE:20210120 SUMMARY:CPP 2021 DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102641©o wnerid=162515 UID:cfp833615-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200916 SUMMARY:CPP 2021 Abstract Due DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102641©o wnerid=162515 UID:cfp833615-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200922 SUMMARY:CPP 2021 Deadline DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102641©o wnerid=162515 UID:cfp833615-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201119 SUMMARY:CPP 2021 Notification Due DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102641©o wnerid=162515 UID:cfp833615-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201210 SUMMARY:CPP 2021 Final Version Due DESCRIPTION:Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102641©o wnerid=162515 UID:cfp833615-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210327 DTEND;VALUE=DATE:20210402 SUMMARY:TACAS 2021 DESCRIPTION:27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109313©o wnerid=162515 UID:cfp846613-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201015 SUMMARY:TACAS 2021 Deadline DESCRIPTION:27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109313©o wnerid=162515 UID:cfp846613-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201223 SUMMARY:TACAS 2021 Notification Due DESCRIPTION:27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109313©o wnerid=162515 UID:cfp846613-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210122 SUMMARY:TACAS 2021 Final Version Due DESCRIPTION:27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109313©o wnerid=162515 UID:cfp846613-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210327 DTEND;VALUE=DATE:20210328 SUMMARY:ICCQ 2021 DESCRIPTION:IEEE International Conference on Code Quality URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112792©o wnerid=162515 UID:cfp889476-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201204 SUMMARY:ICCQ 2021 Deadline DESCRIPTION:IEEE International Conference on Code Quality URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112792©o wnerid=162515 UID:cfp889476-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210205 SUMMARY:ICCQ 2021 Notification Due DESCRIPTION:IEEE International Conference on Code Quality URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112792©o wnerid=162515 UID:cfp889476-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210219 SUMMARY:ICCQ 2021 Final Version Due DESCRIPTION:IEEE International Conference on Code Quality URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112792©o wnerid=162515 UID:cfp889476-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210524 DTEND;VALUE=DATE:20210529 SUMMARY:NFM 2021 DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=162515 UID:cfp862548-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201127 SUMMARY:NFM 2021 Abstract Due DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=162515 UID:cfp862548-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20201204 SUMMARY:NFM 2021 Deadline DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=162515 UID:cfp862548-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210219 SUMMARY:NFM 2021 Notification Due DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=162515 UID:cfp862548-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210319 SUMMARY:NFM 2021 Final Version Due DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=162515 UID:cfp862548-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20200712 DTEND;VALUE=DATE:20200717 SUMMARY:ECOOP 2021 DESCRIPTION:Call for papers: 35th European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=113648©o wnerid=162515 UID:cfp862547-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210111 SUMMARY:ECOOP 2021 Deadline DESCRIPTION:Call for papers: 35th European Conference on Object-Oriented Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=113648©o wnerid=162515 UID:cfp862547-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210718 DTEND;VALUE=DATE:20210724 SUMMARY:CAV 2021 DESCRIPTION:33rd International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117288©o wnerid=162515 UID:cfp862546-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210128 SUMMARY:CAV 2021 Deadline DESCRIPTION:33rd International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117288©o wnerid=162515 UID:cfp862546-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210419 SUMMARY:CAV 2021 Notification Due DESCRIPTION:33rd International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117288©o wnerid=162515 UID:cfp862546-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210531 SUMMARY:CAV 2021 Final Version Due DESCRIPTION:33rd International Conference on Computer-Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117288©o wnerid=162515 UID:cfp862546-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210328 DTEND;VALUE=DATE:20210329 SUMMARY:HCVS 2021 DESCRIPTION:Horn Clauses for Verification and Synthesis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123642©o wnerid=162515 UID:cfp889482-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210219 SUMMARY:HCVS 2021 Deadline DESCRIPTION:Horn Clauses for Verification and Synthesis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123642©o wnerid=162515 UID:cfp889482-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210315 SUMMARY:HCVS 2021 Notification Due DESCRIPTION:Horn Clauses for Verification and Synthesis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123642©o wnerid=162515 UID:cfp889482-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210322 SUMMARY:HCVS 2021 Final Version Due DESCRIPTION:Horn Clauses for Verification and Synthesis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123642©o wnerid=162515 UID:cfp889482-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210507 DTEND;VALUE=DATE:20210508 SUMMARY:FAB 2021 DESCRIPTION:4th International Symposium on Foundations and Applications o f Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127106©o wnerid=162515 UID:cfp889473-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210305 SUMMARY:FAB 2021 Abstract Due DESCRIPTION:4th International Symposium on Foundations and Applications o f Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127106©o wnerid=162515 UID:cfp889473-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210312 SUMMARY:FAB 2021 Deadline DESCRIPTION:4th International Symposium on Foundations and Applications o f Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127106©o wnerid=162515 UID:cfp889473-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210412 SUMMARY:FAB 2021 Notification Due DESCRIPTION:4th International Symposium on Foundations and Applications o f Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127106©o wnerid=162515 UID:cfp889473-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210426 SUMMARY:FAB 2021 Final Version Due DESCRIPTION:4th International Symposium on Foundations and Applications o f Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127106©o wnerid=162515 UID:cfp889473-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210623 DTEND;VALUE=DATE:20210626 SUMMARY:VSC @IEEE WETICE 2021 DESCRIPTION:Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123747©o wnerid=162515 UID:cfp889479-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210331 SUMMARY:VSC @IEEE WETICE 2021 Deadline DESCRIPTION:Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123747©o wnerid=162515 UID:cfp889479-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210425 SUMMARY:VSC @IEEE WETICE 2021 Notification Due DESCRIPTION:Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123747©o wnerid=162515 UID:cfp889479-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210515 SUMMARY:VSC @IEEE WETICE 2021 Final Version Due DESCRIPTION:Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=123747©o wnerid=162515 UID:cfp889479-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211018 DTEND;VALUE=DATE:20211023 SUMMARY:ATVA 2021 DESCRIPTION:The 19th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=122564©o wnerid=162515 UID:cfp889481-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210423 SUMMARY:ATVA 2021 Deadline DESCRIPTION:The 19th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=122564©o wnerid=162515 UID:cfp889481-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210604 SUMMARY:ATVA 2021 Notification Due DESCRIPTION:The 19th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=122564©o wnerid=162515 UID:cfp889481-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210704 SUMMARY:ATVA 2021 Final Version Due DESCRIPTION:The 19th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=122564©o wnerid=162515 UID:cfp889481-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211017 DTEND;VALUE=DATE:20211023 SUMMARY:SAS 2021 DESCRIPTION:28th Static Analysis Symposium (SAS 2021) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=126708©o wnerid=162515 UID:cfp878116-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210425 SUMMARY:SAS 2021 Deadline DESCRIPTION:28th Static Analysis Symposium (SAS 2021) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=126708©o wnerid=162515 UID:cfp878116-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210704 SUMMARY:SAS 2021 Notification Due DESCRIPTION:28th Static Analysis Symposium (SAS 2021) URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=126708©o wnerid=162515 UID:cfp878116-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211120 DTEND;VALUE=DATE:20211127 SUMMARY:FM 2021 DESCRIPTION:Formal Methods 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860©o wnerid=162515 UID:cfp846978-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210430 SUMMARY:FM 2021 Abstract Due DESCRIPTION:Formal Methods 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860©o wnerid=162515 UID:cfp846978-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210506 SUMMARY:FM 2021 Deadline DESCRIPTION:Formal Methods 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860©o wnerid=162515 UID:cfp846978-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210716 SUMMARY:FM 2021 Notification Due DESCRIPTION:Formal Methods 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860©o wnerid=162515 UID:cfp846978-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210816 SUMMARY:FM 2021 Final Version Due DESCRIPTION:Formal Methods 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860©o wnerid=162515 UID:cfp846978-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210712 DTEND;VALUE=DATE:20210717 SUMMARY:WoSCA 2021 DESCRIPTION:WoSCA 2021 : 2nd International Workshop on Smart Contract Ana lysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125184©o wnerid=162515 UID:cfp889472-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210514 SUMMARY:WoSCA 2021 Deadline DESCRIPTION:WoSCA 2021 : 2nd International Workshop on Smart Contract Ana lysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125184©o wnerid=162515 UID:cfp889472-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210528 SUMMARY:WoSCA 2021 Notification Due DESCRIPTION:WoSCA 2021 : 2nd International Workshop on Smart Contract Ana lysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125184©o wnerid=162515 UID:cfp889472-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210606 SUMMARY:WoSCA 2021 Final Version Due DESCRIPTION:WoSCA 2021 : 2nd International Workshop on Smart Contract Ana lysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125184©o wnerid=162515 UID:cfp889472-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210918 DTEND;VALUE=DATE:20210923 SUMMARY:ICBC 2021 DESCRIPTION: 2021 International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=128459©o wnerid=162515 UID:cfp889469-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210514 SUMMARY:ICBC 2021 Deadline DESCRIPTION: 2021 International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=128459©o wnerid=162515 UID:cfp889469-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210618 SUMMARY:ICBC 2021 Notification Due DESCRIPTION: 2021 International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=128459©o wnerid=162515 UID:cfp889469-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210716 SUMMARY:ICBC 2021 Final Version Due DESCRIPTION: 2021 International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=128459©o wnerid=162515 UID:cfp889469-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210907 DTEND;VALUE=DATE:20210910 SUMMARY:LOPSTR 2021 DESCRIPTION:31st International Symposium on Logic-Based Program Synthesis and Transformation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127334©o wnerid=162515 UID:cfp889478-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210607 SUMMARY:LOPSTR 2021 Deadline DESCRIPTION:31st International Symposium on Logic-Based Program Synthesis and Transformation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127334©o wnerid=162515 UID:cfp889478-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210716 SUMMARY:LOPSTR 2021 Notification Due DESCRIPTION:31st International Symposium on Logic-Based Program Synthesis and Transformation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127334©o wnerid=162515 UID:cfp889478-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210830 DTEND;VALUE=DATE:20210901 SUMMARY:FPDAPP 2021 DESCRIPTION:**EXTENDED** FPDAPP - 4th International Workshop on Future Pe rspectives of Decentralized Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=130504©o wnerid=162515 UID:cfp889474-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210614 SUMMARY:FPDAPP 2021 Deadline DESCRIPTION:**EXTENDED** FPDAPP - 4th International Workshop on Future Pe rspectives of Decentralized Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=130504©o wnerid=162515 UID:cfp889474-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210630 SUMMARY:FPDAPP 2021 Notification Due DESCRIPTION:**EXTENDED** FPDAPP - 4th International Workshop on Future Pe rspectives of Decentralized Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=130504©o wnerid=162515 UID:cfp889474-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210714 SUMMARY:FPDAPP 2021 Final Version Due DESCRIPTION:**EXTENDED** FPDAPP - 4th International Workshop on Future Pe rspectives of Decentralized Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=130504©o wnerid=162515 UID:cfp889474-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211115 DTEND;VALUE=DATE:20211118 SUMMARY:BBCA 2021 DESCRIPTION:The Third International Conference on Blockchain Computing an d Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=131418©o wnerid=162515 UID:cfp889471-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210701 SUMMARY:BBCA 2021 Deadline DESCRIPTION:The Third International Conference on Blockchain Computing an d Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=131418©o wnerid=162515 UID:cfp889471-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210915 SUMMARY:BBCA 2021 Notification Due DESCRIPTION:The Third International Conference on Blockchain Computing an d Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=131418©o wnerid=162515 UID:cfp889471-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211008 SUMMARY:BBCA 2021 Final Version Due DESCRIPTION:The Third International Conference on Blockchain Computing an d Applications URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=131418©o wnerid=162515 UID:cfp889471-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211206 DTEND;VALUE=DATE:20211209 SUMMARY:IEEE Blockchain 2021 DESCRIPTION:2021 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133655©o wnerid=162515 UID:cfp889470-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210721 SUMMARY:IEEE Blockchain 2021 Deadline DESCRIPTION:2021 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133655©o wnerid=162515 UID:cfp889470-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210918 SUMMARY:IEEE Blockchain 2021 Notification Due DESCRIPTION:2021 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133655©o wnerid=162515 UID:cfp889470-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211006 SUMMARY:IEEE Blockchain 2021 Final Version Due DESCRIPTION:2021 IEEE International Conference on Blockchain URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133655©o wnerid=162515 UID:cfp889470-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20210309 DTEND;VALUE=DATE:20210313 SUMMARY:SANER 2021 DESCRIPTION:The 28th edition of the IEEE International Conference on Soft ware Analysis\, Evolution and Reengineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112928©o wnerid=162515 UID:cfp889480-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20211015 SUMMARY:SANER 2021 Deadline DESCRIPTION:The 28th edition of the IEEE International Conference on Soft ware Analysis\, Evolution and Reengineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112928©o wnerid=162515 UID:cfp889480-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20220618 DTEND;VALUE=DATE:20220620 SUMMARY:SOFTPA 2022 DESCRIPTION:International Conference on Emerging Practices in Software Pr ocess & Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127931©o wnerid=162515 UID:cfp889477-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20220528 SUMMARY:SOFTPA 2022 Deadline DESCRIPTION:International Conference on Emerging Practices in Software Pr ocess & Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127931©o wnerid=162515 UID:cfp889477-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20220610 SUMMARY:SOFTPA 2022 Notification Due DESCRIPTION:International Conference on Emerging Practices in Software Pr ocess & Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127931©o wnerid=162515 UID:cfp889477-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260429T174444Z DTSTART;VALUE=DATE:20220613 SUMMARY:SOFTPA 2022 Final Version Due DESCRIPTION:International Conference on Emerging Practices in Software Pr ocess & Architecture URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=127931©o wnerid=162515 UID:cfp889477-N@wikicfp.com END:VEVENT END:VCALENDAR