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

REPORT ON FSCD 2016

May 1, 2017, 1:15 pm

A report on the first FSCD conference has been published in the ACM SIGLOG Newsletter.

Continue Reading...

FSCD 2017 CALL FOR PAPERS

January 2, 2017, 2:01 am

Check the call-for-papers for the Second International Conference on Formal Structures for Computation and Deduction (FSCD'17) available here.

Continue Reading...