| Event | When | Where | Deadline | | | Expired CFPs |
| WoSoCer 2022 |
The 12th IEEE International Workshop on Software Certification Co-located with the ISSRE 2022 conference | |
| Oct 31, 2022 - Nov 3, 2022 |
Charlotte, North Carolina, USA |
Oct 9, 2022 |
| CPP 2022 |
Certified Programs and Proofs (CPP) 2022 | |
| Jan 17, 2022 - Jan 18, 2022 |
Philadelphia, Pennsylvania, US |
Sep 22, 2021 (Sep 16, 2021) |
| VPT 2016 |
Fourth International Workshop on Verification and Program Transformation | |
| Apr 2, 2016 - Apr 2, 2016 |
Eindhoven, Netherlands |
Jan 18, 2016 (Jan 11, 2016) |
| WoSoCer 2013 |
The 3rd IEEE International Workshop on Software Certification | |
| Nov 4, 2013 - Nov 7, 2013 |
Pasadena, CA, USA |
Aug 30, 2013 |
| WOCOS 2013 |
Workshop on Cloud Security | |
| Dec 10, 2013 - Dec 15, 2013 |
Orlando, Fl, USA |
Jul 15, 2013 |
| ASSURE 2013 |
1st International Workshop on Assurance Cases for Software-intensive Systems | |
| May 19, 2013 - May 19, 2013 |
San Francisco, California |
Feb 14, 2013 |
| OpenCert 2011 |
Foundations and Techniques for Open Source Software Certification | |
| Nov 14, 2011 - Nov 15, 2011 |
Montevideo, Uruguay |
Oct 3, 2011 (Sep 26, 2011) |
|
