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

  • Marco Gaboardi, Univ. Buffalo, SUNY: Type systems for the relational verification of higher order programs [abstract].
  • Georg Moser, Univ. Innsbruck: Uniform Resource Analysis by Rewriting: Strengths and Weaknesses [abstract].
  • Alexandra Silva, University College London: Brzozowski Goes Concurrent — A Kleene Theorem for Pomset Languages [abstract].
  • Christine Tasson, PPS and Univ. Paris Diderot: Quantitative semantics for probabilistic programming [abstract].

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
Early registration 6 August 2017
Conference 4–7 September 2017
Workshops 3, 8 & 9 September 2017


We are delighted to announce 11 workshops for FSCD 2017.

* These workshops will be co-located.

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

FSCD Conference Chair: Sam Staton. Workshop Chair: Jamie Vicary. first.last@cs.ox.ac.uk.