Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
ICFP 2017 (series) /

TutorialsICFP 2017

This year, there will be two tutorials co-located with ICFP directly, taking place on the Sunday before ICFP. This is in addition to the CUFP tutorials which will take place on Thursday and Friday.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: Morning tutorial session 1Tutorials at L5
09:00 - 10:00
Talk		Tutorial T1: Writing Verified Programs in CakeML
Tutorials
P: Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, P: Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, P: Scott OwensUniversity of Kent, UK, P: Magnus O. MyreenChalmers University of Technology, Sweden
10:30 - 11:30: Morning tutorial session 2Tutorials at L5
10:30 - 11:30
Talk		Tutorial T1: Writing Verified Programs in CakeML (part 2)
Tutorials
P: Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, P: Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, P: Scott OwensUniversity of Kent, UK, P: Magnus O. MyreenChalmers University of Technology, Sweden
12:00 - 12:30: Morning tutorial session 3Tutorials at L5
12:00 - 12:30
Talk		Tutorial T1: Writing Verified Programs in CakeML (part 3)
Tutorials
P: Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, P: Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, P: Scott OwensUniversity of Kent, UK, P: Magnus O. MyreenChalmers University of Technology, Sweden
14:00 - 15:00: Afternoon tutorial session 1Tutorials at L5
14:00 - 15:00
Talk		Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL
Tutorials
P: Jasmin BlanchetteVrije Universiteit Amsterdam, P: Andreas Lochbihler, P: Andrei PopescuMiddlesex University, London, P: Dmitriy TraytelETH Zurich
15:30 - 16:20: Afternoon tutorial session 2Tutorials at L5
15:30 - 16:20
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
16:50 - 17:50: Afternoon tutorial session 3Tutorials at L5
16:50 - 17:50
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

Tutorials

Title
Tutorial T1: Writing Verified Programs in CakeML
Tutorials
P: Ramana Kumar, P: Michael Norrish, P: Scott Owens, P: Magnus O. Myreen
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL
Tutorials
P: Jasmin Blanchette, P: Andreas Lochbihler, P: Andrei Popescu, P: Dmitriy Traytel
Important Dates AoE (UTC-12h)
Sun 3 Sep 2017
Tutorials