Current Events
TERMGRAPH 2022
Twelfth International Workshop on Computing with Terms and Graphs,
Technion, Haifa, Israel, Monday, 1st August 2022
PPDP 2022
24th International Symposium on
Principles and Practice of Declarative Programming,
20-22 September 2022, Tbilisi, Georgia and Virtual
Collocated with CLAS 2022 (including LOPSTR 2022)
FSCD 2022
7th International Conference on Formal Structures for Computation and Deduction, August 2-8, 2022
Haifa, Israel as part of FLOC 2022
Past Events
Mini-Symposium
Integration of Automated Deduction and Interactive Theorem Proving; November 22, 2018, Innsbruck, Austria
Helmut Veith Memorial Workshop
January 31 – February 2, 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 22 – 23, 2017, Uppsala, Sweden