Report on FSCD 2016

March 7, 2017, 11:42 am

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

Conference website launched

October 28, 2016, 3:01 pm

The FSCD Conference page is now online

Continue Reading...

A code of conduct is a set of rules outlining the rules and responsibilities of FSCD Conference Steering Committee.

Continue Reading...