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