Current Events

PPDP 2023
25th International Symposium on Principles and Practice of Declarative Programming, October 22-23, Cascais, Lisbon, Portugal.
Collocated with SPLASH.

Proof and Computation
International autumn school, September 10-16, 2023, Munich, Germany.

FSCD 2023
8th International Conference on Formal Structures for Computation and Deduction, July 3-6, 2023, Rome, Italy.
Colocated with CADE.

PLDI 2023
44th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 17-21, 2023, Orlando, Florida, USA.

LPAR 2023
24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-24, Manizales Colombia, June 4-9, 2023

Past Events

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

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