Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL5
Floor0
Capacity60
Room InformationNo extra information available
Program

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

Sun 3 Sep

Displayed time zone: Belfast change

09:00 - 10:00
Morning tutorial session 1Tutorials at L5
09:00
60m
Talk
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
Morning tutorial session 2Tutorials at L5
10:30
60m
Talk
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
Morning tutorial session 3Tutorials at L5
12:00
30m
Talk
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
Afternoon tutorial session 1Tutorials at L5
14:00
60m
Talk
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
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
16:50 - 17:50
Afternoon tutorial session 3Tutorials at L5
16:50
60m
Talk
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

Thu 7 Sep

Displayed time zone: Belfast change

09:00 - 10:00
CUFP Tutorials C2CUFP at L5
Chair(s): Runhang Li Twitter, Inc
09:00
60m
Other
Tutorial C2: Extensible Effects: understanding them, implementing them, using them
CUFP
14:00 - 15:00
CUFP Tutorials C3CUFP at L5
Chair(s): Runhang Li Twitter, Inc
14:00
60m
Other
Tutorial C3: Concurrent Programming with Effect Handlers
CUFP
T: Daniel Hillerström The University of Edinburgh, T: KC Sivaramakrishnan University of Cambridge
15:30 - 16:20
CUFP Tutorials C3CUFP at L5
15:30
50m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 2)
CUFP
T: Daniel Hillerström , T: KC Sivaramakrishnan University of Cambridge
16:50 - 17:30
CUFP Tutorials C3CUFP at L5
16:50
40m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 3)
CUFP
T: Daniel Hillerström The University of Edinburgh, T: KC Sivaramakrishnan University of Cambridge

Fri 8 Sep

Displayed time zone: Belfast change

09:00 - 10:00
CUFP Tutorials C6CUFP at L5
Chair(s): Runhang Li Twitter, Inc
09:00
60m
Talk
Tutorial C6: Transducers in Practice
CUFP
10:30 - 11:30
CUFP Tutorials C6CUFP at L5
10:30
60m
Talk
Tutorial C6: Transducers in Practice (part 2)
CUFP
T: Renzo Borgatti uSwitch
12:00 - 12:30
CUFP Tutorials C6CUFP at L5
12:00
30m
Talk
Tutorial C6: Transducers in Practice (part 3)
CUFP
T: Renzo Borgatti uSwitch
14:00 - 15:00
CUFP Tutorials C8CUFP at L5
Chair(s): Runhang Li Twitter, Inc
14:00
60m
Talk
Tutorial C8: GraphQL Servers in OCaml
CUFP
T: Andreas Garnæs Zendesk
15:30 - 16:20
CUFP Tutorials C8CUFP at L5
15:30
50m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 2)
CUFP
T: Andreas Garnæs Zendesk
16:50 - 17:30
CUFP Tutorials C8CUFP at L5
16:50
40m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 3)
CUFP
T: Andreas Garnæs Zendesk

Fri 8 Sep

Displayed time zone: Belfast change