klumppdo's list | timeline 

FacebookTwitterLinkedInGoogle iCalendar
 Sort by 
 
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
first | previous | Page 1 | next | last Total of 22 CFPs in 2 pages