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

Conference Day
Sun 3 Sep

Displayed time zone: Belfast change

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