FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
All Editions
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom

FSCD 2017 with ICFP 2017

The Second International Conference on Formal Structures for Computation and Deduction is co-located with ICFP 2017. You can find all information at http://www.cs.ox.ac.uk/conferences/fscd2017/.