| Event | When | Where | Deadline | |
| ICTAC 2026 |
International Colloquium on Theoretical Aspects of Computing | |
| Nov 11, 2026 - Nov 13, 2026 |
Bariloche, Argentina |
Jun 15, 2026 (Jun 8, 2026) |
| Expired CFPs |
| STACS 2019 |
36th International Symposium on Theoretical Aspects of Computer Science | |
| Mar 13, 2019 - Mar 16, 2019 |
TU Berlin, Berlin, Germany |
Oct 1, 2018 |
| PSSV 2018 |
Nineth Workshop Program Semantics, Specification and Verification: Theory and Applications | |
| Jun 21, 2018 - Jun 22, 2018 |
Yaroslavl, Russia |
May 4, 2018 |
|
