PLDI 2023
44th ACM SIGPLAN Conference on Programming Language Design and Implementation.
June 17th to 21st, 2023 | |
Orlando, Florida |
LPAR 2023
24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning.
June 4th to 9th, 2023 | |
Manizales, Colombia |
PPDP 2022
24th International Symposium on Principles and Practice of Declarative Programming.
September 20th to 22nd, 2022 | |
Tbilisi, Georgia and Virtual | |
CLAS 2022 |
FSCD 2022
7th International Conference on Formal Structures for Computation and Deduction.
August 2nd to 8th, 2022 | |
Haifa, Israel | |
FLOC 2022 |
Mini-Symposium
Integration of Automated Deduction and Interactive Theorem Proving.
November 22nd, 2018 | |
Innsbruck, Austria |
Helmut Veith Memorial Workshop
February 2nd, 2017 | |
Obergurgl, Austria |
DICE-FOPARA
8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis.
April 22nd to 23rd, 2017 | |
Uppsala, Sweden |