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).
- Marco Gaboardi, Univ. Buffalo, SUNY
- Georg Moser, Univ. Innsbruck
- Alexandra Silva, University College London
- Christine Tasson, PPS and Univ. Paris Diderot
|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.