| Event | When | Where | Deadline | |
| STACS 2027 |
Symposium on Theoretical Aspects of Computer Science | |
| Mar 8, 2027 - Mar 12, 2027 |
Göttingen, Germany |
Oct 11, 2026 |
| 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 |
|
