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 |
|