CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD’17) 4 – 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2 - ACM SIGLOG - Document - PDFSEARCH.IO

First Page	Meta Content
	CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD’17) 4 – 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2 Add to Reading List Document Date: 2017-08-03 15:58:10 Open Document File Size: 102,15 KB Share Result on Facebook

CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD’17) 4 – 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2Add to Reading List