Event | When | Where | Deadline | |
ECAI 2025 |
28th European Conference on Artificial Intelligence | |
Oct 27, 2025 - Oct 31, 2025 |
Bologna, Italy |
TBD |
NMR 2022 |
International Workshop on Non-Monotonic Reasoning | |
Aug 7, 2022 - Aug 9, 2022 |
Haifa, Israel |
Apr 30, 2022 (Apr 23, 2022) |
PLACES 2023 |
14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software | |
Apr 22, 2023 - Apr 22, 2023 |
Paris, France |
Feb 15, 2023 |
SOAP 2023 |
12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis | |
Jun 18, 2023 - Jun 18, 2023 |
Orlando, FL, United States |
Mar 10, 2023 |
SAS 2023 |
Static Analysis Symposium | |
Oct 22, 2023 - Oct 27, 2023 |
Cascais (Lisbon), Portugal |
Apr 24, 2023 |
CONCUR 2023 |
International Conference on Concurrency Theory | |
Sep 18, 2023 - Sep 23, 2023 |
Antwerp |
May 2, 2023 (Apr 24, 2023) |
ATVA 2023 |
Automated Technology for Verification and Analysis | |
Oct 24, 2023 - Oct 27, 2023 |
Singapore |
May 4, 2023 (Apr 27, 2023) |
POPL 2024 |
the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) | |
Jan 17, 2024 - Jan 19, 2024 |
London, United Kingdom |
Jul 11, 2023 |
VMCAI 2024 |
the 25th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 17, 2024 - Jan 19, 2024 |
London, United Kingdom |
Aug 31, 2023 |
TACAS 2024 |
Tools and Algorithms for Construction and Analysis of Systems | |
Apr 6, 2024 - Apr 11, 2024 |
Luxembourg City, Luxembourg |
Oct 12, 2023 |
LICS 2024 |
Logic in Computer Science | |
Jul 8, 2024 - Jul 12, 2024 |
Tallinn, Estonia |
Jan 26, 2024 (Jan 21, 2024) |
ICALP 2024 |
International Colloquium on Automata, Languages and Programming | |
Jul 8, 2024 - Jul 12, 2024 |
Tallinn, Estonia |
Feb 13, 2024 |
FM 2024 |
Formal Methods | |
Sep 9, 2024 - Sep 13, 2024 |
Milan, Italy |
Apr 12, 2024 (Apr 5, 2024) |
ECOOP (R2) 2024 |
European Conference on Object-Oriented Programming | |
Sep 16, 2024 - Sep 20, 2024 |
Vienna, Austria |
Apr 17, 2024 |
KR 2024 |
Principles of Knowledge Representation and Reasoning | |
Nov 2, 2024 - Nov 8, 2024 |
Hanoi, Vietnam |
May 1, 2024 (Apr 24, 2024) |
OOPSLA 2025 Round 1 2025 |
Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 1) | |
Oct 20, 2025 - Oct 25, 2025 |
Singapore |
Oct 15, 2024 |
ISSTA 2025 |
The ACM SIGSOFT International Symposium on Software Testing and Analysis | |
Jun 25, 2025 - Jun 28, 2025 |
Trondheim, Norway |
Oct 31, 2024 |
PLDI 2025 |
The ACM SIGPLAN Conference on Programming Language Design and Implementation | |
Jun 16, 2025 - Jun 20, 2025 |
Seoul, South Korea |
Nov 14, 2024 |
CAV 2025 |
37th International Conference on Computer Aided Verification | |
Jul 21, 2025 - Jul 25, 2025 |
Zagreb, Croatia |
Jan 31, 2025 |
SPIN 2025 |
31st International Symposium on Model Checking Software | |
May 7, 2025 - May 8, 2025 |
Hamilton, Canada |
Feb 13, 2025 |
|