Event | When | Where | Deadline | |
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 |
OOPSLA 2024 |
The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R1) | |
Jan 1, 2024 - Jan 1, 2024 |
TBD |
Oct 20, 2023 |
PLDI 2024 |
The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation | |
Jan 1, 2024 - Jan 1, 2024 |
Copenhagen, Denmark |
Nov 16, 2023 |
SPIN 2024 |
30th International Symposium on Model Checking Software | |
Apr 10, 2024 - Apr 11, 2024 |
Luxembourg City |
Jan 15, 2024 |
CAV 2024 |
36th International Conference on Computer Aided Verification | |
Jul 22, 2024 - Jul 27, 2024 |
Montreal, Canada |
Jan 19, 2024 |
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 |
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 |
ISSTA 2024 |
The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2) | |
Sep 16, 2024 - Sep 20, 2024 |
Vienna, Austria |
Apr 12, 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 |
ECAI 2024 |
27th European Conference on Artificial Intelligence | |
Oct 19, 2024 - Oct 24, 2024 |
Santiago de Compostela, Spain |
Apr 25, 2024 (Apr 19, 2024) |
|