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.
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.
The FSCD Conference page is now online
A code of conduct is a set of rules outlining the rules and responsibilities of FSCD Conference Steering Committee.