FSCD 2018 webpage

September 29, 2017, 10:52 am

The webpage for FSCD 2018 is now available. All the information about the 3rd edition of FSCD will be available here.

Continue Reading...

FSCD 2019 in Dortmund

September 26, 2017, 3:46 pm

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.

Continue Reading...

Steering Committee new and past members

September 7, 2017, 5:06 pm

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...

Continue Reading...

RULES OF BUSINESS

August 31, 2017, 1:26 pm

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).

Continue Reading...

FSCD 2018: CALL FOR WORKSHOPS

June 3, 2017, 1:58 pm

Submit a workshop proposal to FSCD 2018 by June 19, 2017. Check the Call-for- Workshops.

Continue Reading...