FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Mon 4 Sep 2017 15:00 - 15:30 at L2 - Session 3

Mon 4 Sep

fscd-2017
15:00 - 16:00: FSCD 2017 - Session 3 at L2
fscd-2017150453000000015:00 - 15:30
Talk
Jonas Kaiser, Brigitte PientkaMcGill University, Gert SmolkaSaarland University
fscd-2017150453180000015:30 - 16:00
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Mathias FleuryMPI-INF, Dmitriy TraytelETH Zurich