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 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 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 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 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 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 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 | |
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorials |