Submit a workshop proposal to FSCD 2018 by June 19, 2017. Check the Call-for-
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.
A report on the first FSCD conference has been
published in the ACM SIGLOG Newsletter.
Check the call-for-papers for the Second International Conference on Formal Structures for Computation and Deduction (FSCD'17) available here.
Our dear colleague Kris Rose passed away on September 17, 2016 after prolonged illness. It is unarguable how important Kris was in the establishment of FSCD. He will truly be missed.