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).
Submit a workshop proposal to FSCD 2018 by June 19, 2017. Check the Call-for- Workshops.