Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 16:50 - 17:50 at L5 - Afternoon tutorial session 3

Conference Day
Sun 3 Sep

Displayed time zone: Belfast change

16:50 - 17:50
Afternoon tutorial session 3Tutorials at L5
16:50
60m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3)
Tutorials
P: Jasmin BlanchetteVrije Universiteit Amsterdam, P: Andreas Lochbihler, P: Andrei PopescuMiddlesex University, London, P: Dmitriy TraytelETH Zurich