FSCD 2018: Call for Workshops

June 3, 2017, 12: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'17 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...

Kris Rose - In memoriam

November 4, 2016, 8:46 am

We are deeply sad that our dear colleague Kris Rose has passed away on 17 September 2016. We cannot forget how unarguably important Kris was in the establishment of the FSCD conference. He will truly be missed.

Continue Reading...