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 SepDisplayed time zone: Belfast change
Sun 3 Sep
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | Tutorial T1: Writing Verified Programs in CakeML Tutorials P: Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, P: Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, P: Scott Owens University of Kent, UK, P: Magnus O. Myreen Chalmers University of Technology, Sweden | ||
10:30 - 11:30 | |||
10:30 60mTalk | Tutorial T1: Writing Verified Programs in CakeML (part 2) Tutorials P: Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, P: Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, P: Scott Owens University of Kent, UK, P: Magnus O. Myreen Chalmers University of Technology, Sweden | ||
12:00 - 12:30 | |||
12:00 30mTalk | Tutorial T1: Writing Verified Programs in CakeML (part 3) Tutorials P: Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, P: Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, P: Scott Owens University of Kent, UK, P: Magnus O. Myreen Chalmers University of Technology, Sweden | ||
14:00 - 15:00 | |||
14:00 60mTalk | Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorials P: Jasmin Blanchette Vrije Universiteit Amsterdam, P: Andreas Lochbihler , P: Andrei Popescu Middlesex University, London, P: Dmitriy Traytel ETH Zurich | ||
15:30 - 16:20 | |||
15:30 50mTalk | 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 | ||
16:50 - 17:50 | |||
16:50 60mTalk | Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) Tutorials P: Jasmin Blanchette Vrije Universiteit Amsterdam, P: Andreas Lochbihler , P: Andrei Popescu Middlesex University, London, P: Dmitriy Traytel ETH Zurich | ||
Tutorials
| Title | |
|---|---|
| Tutorial T1: Writing Verified Programs in CakeML Tutorials | |
| Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorials |