FSCD 2019 will take place in Dortmund, Germany from 24 to 30 of June, 2019. Check the UPCOMING CONFERENCES section for updates.
The webpage for FSCD 2018 is now available. All the information about the 3rd edition of FSCD will be available here.
The 4th International Conference on Formal Structures for Computation and Deduction (FSCD'19) will take place in Dortmund in June/July 2019. Check the UPCOMING CONFERENCES section for updates.
The FSCD Steering Committee warmly welcomes three new members: Carsten Fuhs, Dale Miller and Sam Staton. We also gratefully thank the three members leaving the Steering Committee, Gilles Dowek, Santiago Escobar and Hugo Herbelin, for their commitment and valuable contributions to the FSCD conference...
The SC has prepared a final proposal of the FSCD Rules of Business for the 2017 meeting. Check the final proposal of the [FSCD Rules] (http://fscdconference.org/organization/rules-of-business).