| Event | When | Where | Deadline | |
| CAV 2023 |
Computer Aided Verification | |
| Jul 17, 2023 - Jul 22, 2023 |
Paris, France |
TBD |
| ITP 2022 |
Interactive Theorem Proving | |
| Aug 7, 2022 - Aug 10, 2022 |
Haifa |
Feb 8, 2022 (Feb 1, 2022) |
| ECOOP 2022 |
European Conference on Object-Oriented Programming | |
| Jun 6, 2022 - Jun 10, 2022 |
Berlin, Germany |
Mar 1, 2022 |
| POPL 2023 |
50th Symposium on Principles of Programming Languages | |
| Jan 15, 2023 - Jan 21, 2023 |
Boston, Massachusetts, United States |
Jul 7, 2022 |
| CPP 2023 |
Certified Programs and Proofs 2023 | |
| Jan 16, 2023 - Jan 17, 2023 |
Boston, Massachusetts, USA |
Sep 21, 2022 (Sep 14, 2022) |
| ETAPS 2023 |
26th European Joint Conferences on Theory and Practice of Software | |
| Apr 22, 2023 - Apr 27, 2023 |
Paris, France |
Oct 13, 2022 |
| OOPSLA (R1) 2023 |
Round 1 - The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity | |
| Oct 23, 2023 - Oct 27, 2023 |
Lisbon, Portugal |
Oct 28, 2022 |
| LICS 2023 |
Logic in Computer Science | |
| Jun 26, 2023 - Jun 29, 2023 |
Boston, Massachusetts, USA |
Jan 23, 2023 (Jan 18, 2023) |
| ICALP 2023 |
International Colloquium on Automata, Languages and Programming | |
| Jul 10, 2023 - Jul 14, 2023 |
Paderborn, Germany |
Feb 11, 2023 |
| ICFP 2023 |
The 28th ACM SIGPLAN International Conference on Functional Programming | |
| Sep 4, 2023 - Sep 9, 2023 |
Seattle, WA |
Mar 1, 2023 |
| CONCUR 2023 |
International Conference on Concurrency Theory | |
| Sep 18, 2023 - Sep 23, 2023 |
Antwerp |
May 2, 2023 (Apr 24, 2023) |
|
