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.
Sun 3 Sep Times are displayed in time zone: Greenwich Mean Time : Belfast change
Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | 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 | |||
10:30 60mTalk | 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 | |||
12:00 30mTalk | 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 | |||
14:00 60mTalk | 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 | |||
15:30 50mTalk | 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 | |||
16:50 60mTalk | 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 | |
| Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorials |