FSCD 2017

Second International Conference on
Formal Structures for Computation and Deduction

FSCD 2017 will be held in Oxford, September 3–9, 2017 (co-located with ICFP 2017).

Invited speakers

Important Dates

Titles and Short Abstracts Due 7 April 2017
Full Papers Due 14 April 2017
Rebuttal Period 29 – 31 May 2017
Author Notification 14 June 2017
Final version for proceedings 7 July 2017
Conference 4–7 September 2017
Workshops 3, 8 & 9 September 2017


FSCD is in-cooperation with ACM SIGLOG and ACM SIGPLAN, and supported by the British Logic Colloquium.