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

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 Blanchette Vrije Universiteit Amsterdam, Andreas Lochbihler , Andrei Popescu Middlesex University, London, Dmitriy Traytel ETH Zurich