| Event | When | Where | Deadline | | | Expired CFPs |
| CS&P 2019 |
28th Concurrency, Specification, and Programming | |
| Sep 24, 2019 - Sep 26, 2019 |
Olsztyn, Poland |
Aug 24, 2019 |
| PSSV 2018 |
Nineth Workshop Program Semantics, Specification and Verification: Theory and Applications | |
| Jun 21, 2018 - Jun 22, 2018 |
Yaroslavl, Russia |
May 4, 2018 |
| PSSV 2016 |
7th Workshop Program Semantics, Specification and Verification | |
| Jun 14, 2016 - Jun 14, 2016 |
Saint Petersburg, Russia |
Apr 15, 2016 |
|