FSCD 2018 webpage

September 24, 2017, 7:12 pm

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

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

FSCD 2018: CALL FOR PAPERS

June 2, 2017, 11:35 pm

The deadline for submitting a paper to the Third International Conference on Formal Structures for Computation and Deduction (FSCD'18) is January 15, 2018. Check the Call-for-Papers.

Continue Reading...