BEGIN:VCALENDAR
PRODID:-//WikiCFP//JakeP_ED 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201103
DTEND;VALUE=DATE:20201105
SUMMARY:PSSV 2020
DESCRIPTION:XI Workshop Program Semantics\, Specification and Verificatio
 n
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=104823&copyo
 wnerid=164680
UID:cfp849592-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20200914
SUMMARY:PSSV 2020 Deadline
DESCRIPTION:XI Workshop Program Semantics\, Specification and Verificatio
 n
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=104823&copyo
 wnerid=164680
UID:cfp849592-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201012
SUMMARY:PSSV 2020 Notification Due
DESCRIPTION:XI Workshop Program Semantics\, Specification and Verificatio
 n
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=104823&copyo
 wnerid=164680
UID:cfp849592-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201026
SUMMARY:PSSV 2020 Final Version Due
DESCRIPTION:XI Workshop Program Semantics\, Specification and Verificatio
 n
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=104823&copyo
 wnerid=164680
UID:cfp849592-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849591-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849591-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849591-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849591-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849590-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849590-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20200922
SUMMARY:CPP 2021 Deadline
DESCRIPTION:Certified Programs and Proofs
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=102641&copyo
 wnerid=164680
UID:cfp849590-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849590-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849590-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210412
DTEND;VALUE=DATE:20210417
SUMMARY:ICST 2021
DESCRIPTION:IEEE International Conference on Software Testing\, Verificat
 ion and Validation 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109804&copyo
 wnerid=164680
UID:cfp849594-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201005
SUMMARY:ICST 2021 Abstract Due
DESCRIPTION:IEEE International Conference on Software Testing\, Verificat
 ion and Validation 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109804&copyo
 wnerid=164680
UID:cfp849594-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201012
SUMMARY:ICST 2021 Deadline
DESCRIPTION:IEEE International Conference on Software Testing\, Verificat
 ion and Validation 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109804&copyo
 wnerid=164680
UID:cfp849594-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201211
SUMMARY:ICST 2021 Notification Due
DESCRIPTION:IEEE International Conference on Software Testing\, Verificat
 ion and Validation 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109804&copyo
 wnerid=164680
UID:cfp849594-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210120
SUMMARY:ICST 2021 Final Version Due
DESCRIPTION:IEEE International Conference on Software Testing\, Verificat
 ion and Validation 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109804&copyo
 wnerid=164680
UID:cfp849594-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210519
DTEND;VALUE=DATE:20210522
SUMMARY:FSEN 2021
DESCRIPTION:9th IPM International Conference on Fundamentals of Software 
 Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=110378&copyo
 wnerid=164680
UID:cfp849593-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201018
SUMMARY:FSEN 2021 Abstract Due
DESCRIPTION:9th IPM International Conference on Fundamentals of Software 
 Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=110378&copyo
 wnerid=164680
UID:cfp849593-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201101
SUMMARY:FSEN 2021 Deadline
DESCRIPTION:9th IPM International Conference on Fundamentals of Software 
 Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=110378&copyo
 wnerid=164680
UID:cfp849593-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20201218
SUMMARY:FSEN 2021 Notification Due
DESCRIPTION:9th IPM International Conference on Fundamentals of Software 
 Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=110378&copyo
 wnerid=164680
UID:cfp849593-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210121
SUMMARY:FSEN 2021 Final Version Due
DESCRIPTION:9th IPM International Conference on Fundamentals of Software 
 Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=110378&copyo
 wnerid=164680
UID:cfp849593-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849589-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210430
SUMMARY:FM 2021 Abstract Due
DESCRIPTION:Formal Methods 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860&copyo
 wnerid=164680
UID:cfp849589-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210506
SUMMARY:FM 2021 Deadline
DESCRIPTION:Formal Methods 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860&copyo
 wnerid=164680
UID:cfp849589-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
DTSTART;VALUE=DATE:20210716
SUMMARY:FM 2021 Notification Due
DESCRIPTION:Formal Methods 2021
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=109860&copyo
 wnerid=164680
UID:cfp849589-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260527T073057Z
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&copyo
 wnerid=164680
UID:cfp849589-N@wikicfp.com
END:VEVENT
END:VCALENDAR