BEGIN:VCALENDAR PRODID:-//WikiCFP//tomjridge 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200523 DTEND;VALUE=DATE:20200530 SUMMARY:ICSE 2020 DESCRIPTION:42th International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85531©ow nerid=159360 UID:cfp814529-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200228 DTEND;VALUE=DATE:20200229 SUMMARY:BOB 2020 DESCRIPTION:BOB2020 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96620©ow nerid=159360 UID:cfp814624-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822664-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822664-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822664-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822664-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190715 DTEND;VALUE=DATE:20190720 SUMMARY:ECOOP 2019 DESCRIPTION:ECOOP 2019 : European Conference on Object-Oriented Programmi ng URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=82433©ow nerid=159360 UID:cfp814548-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190111 SUMMARY:ECOOP 2019 Deadline DESCRIPTION:ECOOP 2019 : European Conference on Object-Oriented Programmi ng URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=82433©ow nerid=159360 UID:cfp814548-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190312 SUMMARY:ECOOP 2019 Notification Due DESCRIPTION:ECOOP 2019 : European Conference on Object-Oriented Programmi ng URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=82433©ow nerid=159360 UID:cfp814548-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190611 SUMMARY:ECOOP 2019 Final Version Due DESCRIPTION:ECOOP 2019 : European Conference on Object-Oriented Programmi ng URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=82433©ow nerid=159360 UID:cfp814548-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814545-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814545-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814545-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814545-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191020 DTEND;VALUE=DATE:20191026 SUMMARY:OOPSLA 2019 DESCRIPTION:SPLASH 2019 OOPSLA URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85529©ow nerid=159360 UID:cfp814547-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190405 SUMMARY:OOPSLA 2019 Deadline DESCRIPTION:SPLASH 2019 OOPSLA URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85529©ow nerid=159360 UID:cfp814547-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190701 SUMMARY:OOPSLA 2019 Notification Due DESCRIPTION:SPLASH 2019 OOPSLA URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85529©ow nerid=159360 UID:cfp814547-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190906 SUMMARY:OOPSLA 2019 Final Version Due DESCRIPTION:SPLASH 2019 OOPSLA URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85529©ow nerid=159360 UID:cfp814547-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822663-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822663-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822663-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822663-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822663-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191027 DTEND;VALUE=DATE:20191031 SUMMARY:SOSP 2019 DESCRIPTION:The 27th ACM Symposium on Operating Systems Principles URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83728©ow nerid=159360 UID:cfp886734-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190417 SUMMARY:SOSP 2019 Abstract Due DESCRIPTION:The 27th ACM Symposium on Operating Systems Principles URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83728©ow nerid=159360 UID:cfp886734-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190424 SUMMARY:SOSP 2019 Deadline DESCRIPTION:The 27th ACM Symposium on Operating Systems Principles URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83728©ow nerid=159360 UID:cfp886734-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190916 DTEND;VALUE=DATE:20190921 SUMMARY:SEFM 2019 DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84611©ow nerid=159360 UID:cfp814546-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190513 SUMMARY:SEFM 2019 Abstract Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84611©ow nerid=159360 UID:cfp814546-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190520 SUMMARY:SEFM 2019 Deadline DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84611©ow nerid=159360 UID:cfp814546-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190625 SUMMARY:SEFM 2019 Notification Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84611©ow nerid=159360 UID:cfp814546-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814528-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814528-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814528-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814528-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191023 DTEND;VALUE=DATE:20191026 SUMMARY:FACS 2019 DESCRIPTION:Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87847©ow nerid=159360 UID:cfp814549-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190705 SUMMARY:FACS 2019 Abstract Due DESCRIPTION:Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87847©ow nerid=159360 UID:cfp814549-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190712 SUMMARY:FACS 2019 Deadline DESCRIPTION:Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87847©ow nerid=159360 UID:cfp814549-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190830 SUMMARY:FACS 2019 Notification Due DESCRIPTION:Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87847©ow nerid=159360 UID:cfp814549-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190927 SUMMARY:FACS 2019 Final Version Due DESCRIPTION:Formal Aspects of Component Software URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=87847©ow nerid=159360 UID:cfp814549-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200316 DTEND;VALUE=DATE:20200321 SUMMARY:ASPLOS 2020 DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90056©ow nerid=159360 UID:cfp814541-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190809 SUMMARY:ASPLOS 2020 Abstract Due DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90056©ow nerid=159360 UID:cfp814541-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190816 SUMMARY:ASPLOS 2020 Deadline DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90056©ow nerid=159360 UID:cfp814541-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191120 SUMMARY:ASPLOS 2020 Notification Due DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90056©ow nerid=159360 UID:cfp814541-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200120 SUMMARY:ASPLOS 2020 Final Version Due DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90056©ow nerid=159360 UID:cfp814541-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191109 DTEND;VALUE=DATE:20191110 SUMMARY:FTSCS 2019 DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Cr itical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92528©ow nerid=159360 UID:cfp822662-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190910 SUMMARY:FTSCS 2019 Deadline DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Cr itical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92528©ow nerid=159360 UID:cfp822662-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191004 SUMMARY:FTSCS 2019 Notification Due DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Cr itical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92528©ow nerid=159360 UID:cfp822662-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191018 SUMMARY:FTSCS 2019 Final Version Due DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Cr itical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92528©ow nerid=159360 UID:cfp822662-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200224 DTEND;VALUE=DATE:20200228 SUMMARY:FAST 2020 DESCRIPTION:USENIX Conference on File and Storage Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=89675©ow nerid=159360 UID:cfp814530-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20190926 SUMMARY:FAST 2020 Deadline DESCRIPTION:USENIX Conference on File and Storage Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=89675©ow nerid=159360 UID:cfp814530-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191017 DTEND;VALUE=DATE:20191018 SUMMARY:FWFM-2019 2019 DESCRIPTION:The Third Workshop Fun With Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=93908©ow nerid=159360 UID:cfp822661-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191001 SUMMARY:FWFM-2019 2019 Deadline DESCRIPTION:The Third Workshop Fun With Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=93908©ow nerid=159360 UID:cfp822661-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191008 SUMMARY:FWFM-2019 2019 Notification Due DESCRIPTION:The Third Workshop Fun With Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=93908©ow nerid=159360 UID:cfp822661-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191013 SUMMARY:FWFM-2019 2019 Final Version Due DESCRIPTION:The Third Workshop Fun With Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=93908©ow nerid=159360 UID:cfp822661-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814531-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814531-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814531-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814531-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814531-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822658-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822658-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822658-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822658-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200622 DTEND;VALUE=DATE:20200627 SUMMARY:STOC 2020 DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94445©ow nerid=159360 UID:cfp814532-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191104 SUMMARY:STOC 2020 Deadline DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94445©ow nerid=159360 UID:cfp814532-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200209 SUMMARY:STOC 2020 Notification Due DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94445©ow nerid=159360 UID:cfp814532-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200410 SUMMARY:STOC 2020 Final Version Due DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94445©ow nerid=159360 UID:cfp814532-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200213 DTEND;VALUE=DATE:20200215 SUMMARY:TFP 2020 DESCRIPTION:Trends in Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92862©ow nerid=159360 UID:cfp814540-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191115 SUMMARY:TFP 2020 Deadline DESCRIPTION:Trends in Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=92862©ow nerid=159360 UID:cfp814540-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200615 DTEND;VALUE=DATE:20200621 SUMMARY:PLDI 2020 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=159360 UID:cfp814533-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20191122 SUMMARY:PLDI 2020 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=159360 UID:cfp814533-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200221 SUMMARY:PLDI 2020 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=159360 UID:cfp814533-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200406 SUMMARY:PLDI 2020 Final Version Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=159360 UID:cfp814533-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814538-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814538-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814538-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814538-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814538-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200708 DTEND;VALUE=DATE:20200713 SUMMARY:LICS 2020 DESCRIPTION:Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer S cience URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95320©ow nerid=159360 UID:cfp814543-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200106 SUMMARY:LICS 2020 Abstract Due DESCRIPTION:Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer S cience URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95320©ow nerid=159360 UID:cfp814543-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200110 SUMMARY:LICS 2020 Deadline DESCRIPTION:Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer S cience URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95320©ow nerid=159360 UID:cfp814543-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200410 SUMMARY:LICS 2020 Notification Due DESCRIPTION:Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer S cience URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95320©ow nerid=159360 UID:cfp814543-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822665-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822665-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822665-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200525 DTEND;VALUE=DATE:20200527 SUMMARY:FormaliSE 2020 DESCRIPTION:8th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94879©ow nerid=159360 UID:cfp814534-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200109 SUMMARY:FormaliSE 2020 Abstract Due DESCRIPTION:8th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94879©ow nerid=159360 UID:cfp814534-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200116 SUMMARY:FormaliSE 2020 Deadline DESCRIPTION:8th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94879©ow nerid=159360 UID:cfp814534-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200301 SUMMARY:FormaliSE 2020 Notification Due DESCRIPTION:8th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94879©ow nerid=159360 UID:cfp814534-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200316 SUMMARY:FormaliSE 2020 Final Version Due DESCRIPTION:8th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94879©ow nerid=159360 UID:cfp814534-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200527 DTEND;VALUE=DATE:20200530 SUMMARY:ABZ 2020 DESCRIPTION:ABZ 2020 – 7th International Conference on Rigorous State B ased Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90794©ow nerid=159360 UID:cfp822660-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200113 SUMMARY:ABZ 2020 Abstract Due DESCRIPTION:ABZ 2020 – 7th International Conference on Rigorous State B ased Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90794©ow nerid=159360 UID:cfp822660-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200120 SUMMARY:ABZ 2020 Deadline DESCRIPTION:ABZ 2020 – 7th International Conference on Rigorous State B ased Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90794©ow nerid=159360 UID:cfp822660-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200302 SUMMARY:ABZ 2020 Notification Due DESCRIPTION:ABZ 2020 – 7th International Conference on Rigorous State B ased Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90794©ow nerid=159360 UID:cfp822660-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200316 SUMMARY:ABZ 2020 Final Version Due DESCRIPTION:ABZ 2020 – 7th International Conference on Rigorous State B ased Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=90794©ow nerid=159360 UID:cfp822660-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814535-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814535-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814535-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814535-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814536-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814536-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814536-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814536-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp814536-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200425 DTEND;VALUE=DATE:20200426 SUMMARY:CREST 2020 DESCRIPTION:5th Workshop on Formal Reasoning about Causation\, Responsibi lity\, & Explanations in Science & Technology URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95264©ow nerid=159360 UID:cfp814537-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200125 SUMMARY:CREST 2020 Deadline DESCRIPTION:5th Workshop on Formal Reasoning about Causation\, Responsibi lity\, & Explanations in Science & Technology URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95264©ow nerid=159360 UID:cfp814537-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200229 SUMMARY:CREST 2020 Notification Due DESCRIPTION:5th Workshop on Formal Reasoning about Causation\, Responsibi lity\, & Explanations in Science & Technology URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95264©ow nerid=159360 UID:cfp814537-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200601 SUMMARY:CREST 2020 Final Version Due DESCRIPTION:5th Workshop on Formal Reasoning about Causation\, Responsibi lity\, & Explanations in Science & Technology URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95264©ow nerid=159360 UID:cfp814537-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200718 DTEND;VALUE=DATE:20200723 SUMMARY:ISSTA 2020 DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94716©ow nerid=159360 UID:cfp814544-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200127 SUMMARY:ISSTA 2020 Deadline DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94716©ow nerid=159360 UID:cfp814544-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200323 SUMMARY:ISSTA 2020 Notification Due DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94716©ow nerid=159360 UID:cfp814544-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200417 SUMMARY:ISSTA 2020 Final Version Due DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94716©ow nerid=159360 UID:cfp814544-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822659-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822659-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822659-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822659-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822659-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200708 DTEND;VALUE=DATE:20200713 SUMMARY:ICALP 2020 DESCRIPTION:47th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95410©ow nerid=159360 UID:cfp814539-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200212 SUMMARY:ICALP 2020 Deadline DESCRIPTION:47th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95410©ow nerid=159360 UID:cfp814539-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200415 SUMMARY:ICALP 2020 Notification Due DESCRIPTION:47th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95410©ow nerid=159360 UID:cfp814539-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200428 SUMMARY:ICALP 2020 Final Version Due DESCRIPTION:47th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95410©ow nerid=159360 UID:cfp814539-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20201108 DTEND;VALUE=DATE:20201114 SUMMARY:ESEC/FSE 2020 DESCRIPTION:ACM Joint European Software Engineering Conference and Sympos ium on the Foundations of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95319©ow nerid=159360 UID:cfp814542-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200305 SUMMARY:ESEC/FSE 2020 Deadline DESCRIPTION:ACM Joint European Software Engineering Conference and Sympos ium on the Foundations of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95319©ow nerid=159360 UID:cfp814542-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200521 SUMMARY:ESEC/FSE 2020 Notification Due DESCRIPTION:ACM Joint European Software Engineering Conference and Sympos ium on the Foundations of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95319©ow nerid=159360 UID:cfp814542-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822655-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822655-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822655-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822657-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822657-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822657-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822657-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822657-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822656-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822656-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822656-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822656-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp822656-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp879900-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp879900-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp879900-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200331 DTEND;VALUE=DATE:20200401 SUMMARY:ASPLOS 2021 DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109027©o wnerid=159360 UID:cfp886732-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200814 SUMMARY:ASPLOS 2021 Abstract Due DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109027©o wnerid=159360 UID:cfp886732-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200821 SUMMARY:ASPLOS 2021 Deadline DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109027©o wnerid=159360 UID:cfp886732-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20201104 SUMMARY:ASPLOS 2021 Notification Due DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109027©o wnerid=159360 UID:cfp886732-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210201 SUMMARY:ASPLOS 2021 Final Version Due DESCRIPTION:Architectural Support for Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109027©o wnerid=159360 UID:cfp886732-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210523 DTEND;VALUE=DATE:20210530 SUMMARY:ICSE 2021 DESCRIPTION:43rd International Conference on Software Engineering\, 23-29 May 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100362©o wnerid=159360 UID:cfp886733-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200828 SUMMARY:ICSE 2021 Deadline DESCRIPTION:43rd International Conference on Software Engineering\, 23-29 May 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100362©o wnerid=159360 UID:cfp886733-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20201217 SUMMARY:ICSE 2021 Notification Due DESCRIPTION:43rd International Conference on Software Engineering\, 23-29 May 2021 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100362©o wnerid=159360 UID:cfp886733-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886730-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886730-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886730-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886730-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886730-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200924 DTEND;VALUE=DATE:20210126 SUMMARY:FAST 2021 DESCRIPTION:19th USENIX Conference on File and Storage Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=105959©o wnerid=159360 UID:cfp886731-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20200924 SUMMARY:FAST 2021 Deadline DESCRIPTION:19th USENIX Conference on File and Storage Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=105959©o wnerid=159360 UID:cfp886731-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886729-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886729-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886729-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886729-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210721 DTEND;VALUE=DATE:20210726 SUMMARY:STOC 2021 DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114561©o wnerid=159360 UID:cfp886728-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20201106 SUMMARY:STOC 2021 Deadline DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114561©o wnerid=159360 UID:cfp886728-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210207 SUMMARY:STOC 2021 Notification Due DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114561©o wnerid=159360 UID:cfp886728-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210228 SUMMARY:STOC 2021 Final Version Due DESCRIPTION:Symposium on the Theory of Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114561©o wnerid=159360 UID:cfp886728-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210217 DTEND;VALUE=DATE:20210220 SUMMARY:TFP 2021 DESCRIPTION:22nd Symposium on Trends in Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114204©o wnerid=159360 UID:cfp886727-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20201120 SUMMARY:TFP 2021 Deadline DESCRIPTION:22nd Symposium on Trends in Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114204©o wnerid=159360 UID:cfp886727-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210120 SUMMARY:TFP 2021 Notification Due DESCRIPTION:22nd Symposium on Trends in Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114204©o wnerid=159360 UID:cfp886727-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210315 SUMMARY:TFP 2021 Final Version Due DESCRIPTION:22nd Symposium on Trends in Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114204©o wnerid=159360 UID:cfp886727-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210620 DTEND;VALUE=DATE:20210626 SUMMARY:PLDI 2021 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=118307©o wnerid=159360 UID:cfp886726-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20201120 SUMMARY:PLDI 2021 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=118307©o wnerid=159360 UID:cfp886726-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210225 SUMMARY:PLDI 2021 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=118307©o wnerid=159360 UID:cfp886726-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886725-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886725-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886725-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886725-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886725-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886724-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886724-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210517 DTEND;VALUE=DATE:20210522 SUMMARY:FormaliSE 2021 DESCRIPTION:9th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=115469©o wnerid=159360 UID:cfp886723-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210105 SUMMARY:FormaliSE 2021 Abstract Due DESCRIPTION:9th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=115469©o wnerid=159360 UID:cfp886723-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210112 SUMMARY:FormaliSE 2021 Deadline DESCRIPTION:9th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=115469©o wnerid=159360 UID:cfp886723-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210222 SUMMARY:FormaliSE 2021 Notification Due DESCRIPTION:9th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=115469©o wnerid=159360 UID:cfp886723-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210322 SUMMARY:FormaliSE 2021 Final Version Due DESCRIPTION:9th International Conference on Formal Methods in Software En gineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=115469©o wnerid=159360 UID:cfp886723-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886721-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886721-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886721-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886721-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210712 DTEND;VALUE=DATE:20210717 SUMMARY:ISSTA 2021 DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112896©o wnerid=159360 UID:cfp886720-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210129 SUMMARY:ISSTA 2021 Deadline DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112896©o wnerid=159360 UID:cfp886720-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210419 SUMMARY:ISSTA 2021 Notification Due DESCRIPTION:International Symposium on Software Testing and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112896©o wnerid=159360 UID:cfp886720-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210712 DTEND;VALUE=DATE:20210717 SUMMARY:ICALP 2021 DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114563©o wnerid=159360 UID:cfp886719-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210212 SUMMARY:ICALP 2021 Deadline DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114563©o wnerid=159360 UID:cfp886719-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210428 SUMMARY:ICALP 2021 Notification Due DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114563©o wnerid=159360 UID:cfp886719-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210507 SUMMARY:ICALP 2021 Final Version Due DESCRIPTION:International Colloquium on Automata\, Languages and Programm ing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=114563©o wnerid=159360 UID:cfp886719-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210607 DTEND;VALUE=DATE:20210612 SUMMARY:ABZ 2021 DESCRIPTION:ABZ 2021: 8th International Conference on Rigorous State Base d Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112888©o wnerid=159360 UID:cfp886722-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210215 SUMMARY:ABZ 2021 Abstract Due DESCRIPTION:ABZ 2021: 8th International Conference on Rigorous State Base d Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112888©o wnerid=159360 UID:cfp886722-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210222 SUMMARY:ABZ 2021 Deadline DESCRIPTION:ABZ 2021: 8th International Conference on Rigorous State Base d Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112888©o wnerid=159360 UID:cfp886722-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210329 SUMMARY:ABZ 2021 Notification Due DESCRIPTION:ABZ 2021: 8th International Conference on Rigorous State Base d Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112888©o wnerid=159360 UID:cfp886722-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210412 SUMMARY:ABZ 2021 Final Version Due DESCRIPTION:ABZ 2021: 8th International Conference on Rigorous State Base d Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=112888©o wnerid=159360 UID:cfp886722-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210823 DTEND;VALUE=DATE:20210828 SUMMARY:ESEC/FSE 2021 DESCRIPTION:The ACM Joint European Software Engineering Conference and Sy mposium on the Foundations of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120076©o wnerid=159360 UID:cfp886718-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210225 SUMMARY:ESEC/FSE 2021 Deadline DESCRIPTION:The ACM Joint European Software Engineering Conference and Sy mposium on the Foundations of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120076©o wnerid=159360 UID:cfp886718-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210521 SUMMARY:ESEC/FSE 2021 Notification Due DESCRIPTION:The ACM Joint European Software Engineering Conference and Sy mposium on the Foundations of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120076©o wnerid=159360 UID:cfp886718-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210822 DTEND;VALUE=DATE:20210828 SUMMARY:ICFP 2021 DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133913©o wnerid=159360 UID:cfp886966-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210302 SUMMARY:ICFP 2021 Deadline DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133913©o wnerid=159360 UID:cfp886966-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210508 SUMMARY:ICFP 2021 Notification Due DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133913©o wnerid=159360 UID:cfp886966-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z DTSTART;VALUE=DATE:20210604 SUMMARY:ICFP 2021 Final Version Due DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=133913©o wnerid=159360 UID:cfp886966-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886712-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886712-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886712-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260419T173655Z 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=159360 UID:cfp886712-N@wikicfp.com END:VEVENT END:VCALENDAR