| Event | When | Where | Deadline | |
| POPL 2024 |
the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) | |
| Jan 17, 2024 - Jan 19, 2024 |
London, United Kingdom |
TBD |
| OOPSLA 2024 |
The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2) | |
| Jan 1, 2024 - Jan 1, 2024 |
Pasadena, California, United States |
Apr 5, 2024 |
| TAP 2024 |
18th International Conference on Tests and Proofs | |
| Sep 9, 2024 - Sep 10, 2024 |
Milan, Italy |
May 15, 2024 (May 8, 2024) |
|
