FSCD 202712th International Conference on Formal Structures for Computation and Deduction will take place in Nijmegen (The Netherlands), August 2027.
Program Chair: Mariangiola Dezani-Ciancaglini (Università di Torino) and Daniele Nantes (University of BrasÃlia and Imperial College London)
Conference Chair: Herman Geuvers (Radboud U. of Nijmegen)
FSCD 202611th International Conference on Formal Structures for Computation and Deduction will take place in Lisbon (Portugal) as part of FLoC 2026, 20 - 23 July 2026.
Program Chair: Frank Pfenning (Carnegie Mellon University)
Conference Chair: Sandra Alves (University of Porto)