BEGIN:VCALENDAR PRODID:-//WikiCFP//shaull 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20181116 DTEND;VALUE=DATE:20181122 SUMMARY: LPAR 2018 DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=162735 UID:cfp833260-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20180806 SUMMARY: LPAR 2018 Abstract Due DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=162735 UID:cfp833260-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20180813 SUMMARY: LPAR 2018 Deadline DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=162735 UID:cfp833260-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20180924 SUMMARY: LPAR 2018 Notification Due DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=162735 UID:cfp833260-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20181015 SUMMARY: LPAR 2018 Final Version Due DESCRIPTION:International Conference on Logic for Programming\, Artificia l Intelligence and Reasoning URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=78914©ow nerid=162735 UID:cfp833260-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190408 DTEND;VALUE=DATE:20190412 SUMMARY:TACAS 2019 DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79121©ow nerid=162735 UID:cfp833261-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20181107 SUMMARY:TACAS 2019 Abstract Due DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79121©ow nerid=162735 UID:cfp833261-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20181115 SUMMARY:TACAS 2019 Deadline DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79121©ow nerid=162735 UID:cfp833261-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190125 SUMMARY:TACAS 2019 Notification Due DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79121©ow nerid=162735 UID:cfp833261-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190223 SUMMARY:TACAS 2019 Final Version Due DESCRIPTION:International Conference on Tools and Algorithms for the Cons truction and Analysis of Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79121©ow nerid=162735 UID:cfp833261-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190805 DTEND;VALUE=DATE:20190810 SUMMARY:DLT 2019 DESCRIPTION:Developments in Language Theory URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83646©ow nerid=162735 UID:cfp833265-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190310 SUMMARY:DLT 2019 Abstract Due DESCRIPTION:Developments in Language Theory URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83646©ow nerid=162735 UID:cfp833265-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190317 SUMMARY:DLT 2019 Deadline DESCRIPTION:Developments in Language Theory URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83646©ow nerid=162735 UID:cfp833265-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190510 SUMMARY:DLT 2019 Notification Due DESCRIPTION:Developments in Language Theory URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83646©ow nerid=162735 UID:cfp833265-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20190520 SUMMARY:DLT 2019 Final Version Due DESCRIPTION:Developments in Language Theory URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=83646©ow nerid=162735 UID:cfp833265-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833262-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833262-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833262-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833262-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833262-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833263-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833263-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833263-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833263-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833259-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833259-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833259-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833259-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833264-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833264-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833264-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833264-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200831 DTEND;VALUE=DATE:20200904 SUMMARY:QEST 2020 DESCRIPTION:International Conference on Quantitative Evaluation of SysTem s URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101375©o wnerid=162735 UID:cfp833258-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200327 SUMMARY:QEST 2020 Abstract Due DESCRIPTION:International Conference on Quantitative Evaluation of SysTem s URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101375©o wnerid=162735 UID:cfp833258-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200403 SUMMARY:QEST 2020 Deadline DESCRIPTION:International Conference on Quantitative Evaluation of SysTem s URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101375©o wnerid=162735 UID:cfp833258-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200530 SUMMARY:QEST 2020 Notification Due DESCRIPTION:International Conference on Quantitative Evaluation of SysTem s URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101375©o wnerid=162735 UID:cfp833258-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200623 SUMMARY:QEST 2020 Final Version Due DESCRIPTION:International Conference on Quantitative Evaluation of SysTem s URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=101375©o wnerid=162735 UID:cfp833258-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200901 DTEND;VALUE=DATE:20200904 SUMMARY:FORMATS 2020 DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=162735 UID:cfp833255-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200406 SUMMARY:FORMATS 2020 Abstract Due DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=162735 UID:cfp833255-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200413 SUMMARY:FORMATS 2020 Deadline DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=162735 UID:cfp833255-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200629 SUMMARY:FORMATS 2020 Notification Due DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=162735 UID:cfp833255-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200708 SUMMARY:FORMATS 2020 Final Version Due DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=162735 UID:cfp833255-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833254-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833254-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833254-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833254-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z 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=162735 UID:cfp833254-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200921 DTEND;VALUE=DATE:20200924 SUMMARY:GandALF 2020 DESCRIPTION:11th International Symposium on Games\, Automata\, Logics\, a nd Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100226©o wnerid=162735 UID:cfp833257-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200613 SUMMARY:GandALF 2020 Abstract Due DESCRIPTION:11th International Symposium on Games\, Automata\, Logics\, a nd Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100226©o wnerid=162735 UID:cfp833257-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200615 SUMMARY:GandALF 2020 Deadline DESCRIPTION:11th International Symposium on Games\, Automata\, Logics\, a nd Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100226©o wnerid=162735 UID:cfp833257-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200720 SUMMARY:GandALF 2020 Notification Due DESCRIPTION:11th International Symposium on Games\, Automata\, Logics\, a nd Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100226©o wnerid=162735 UID:cfp833257-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200825 SUMMARY:GandALF 2020 Final Version Due DESCRIPTION:11th International Symposium on Games\, Automata\, Logics\, a nd Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=100226©o wnerid=162735 UID:cfp833257-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200831 DTEND;VALUE=DATE:20200901 SUMMARY:EXPRESS/SOS 2020 DESCRIPTION:Combined 27th International Workshop on Expressiveness in Con currency and 17th Workshop on Structural Operational Semantics URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99549©ow nerid=162735 UID:cfp833256-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200626 SUMMARY:EXPRESS/SOS 2020 Deadline DESCRIPTION:Combined 27th International Workshop on Expressiveness in Con currency and 17th Workshop on Structural Operational Semantics URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99549©ow nerid=162735 UID:cfp833256-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200731 SUMMARY:EXPRESS/SOS 2020 Notification Due DESCRIPTION:Combined 27th International Workshop on Expressiveness in Con currency and 17th Workshop on Structural Operational Semantics URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99549©ow nerid=162735 UID:cfp833256-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20261021T110006Z DTSTART;VALUE=DATE:20200812 SUMMARY:EXPRESS/SOS 2020 Final Version Due DESCRIPTION:Combined 27th International Workshop on Expressiveness in Con currency and 17th Workshop on Structural Operational Semantics URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=99549©ow nerid=162735 UID:cfp833256-N@wikicfp.com END:VEVENT END:VCALENDAR