Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
Tutorials B1Tutorials at Birch
09:00
3h
Tutorial
Fine-grained program reasoning using linear and graded modal types
Tutorials
Harley D. Eades III Augusta University, Dominic Orchard University of Kent, UK, Vilem-Benjamin Liepelt University of Kent, UK
09:00 - 12:00
Tutorials R1Tutorials at Reindeer
09:00
3h
Tutorial
Verifying Imperative Programs with SAW
Tutorials
David Thrane Christiansen Galois, USA, Iavor Diatchki Galois, Inc.
09:00 - 12:00
Tutorials Y1Tutorials at Yew
09:00
3h
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH
12:00 - 13:30
13:30 - 16:30
Tutorials R2Tutorials at Reindeer
13:30
3h
Tutorial
Verifying Imperative Programs with SAW
Tutorials
David Thrane Christiansen Galois, USA, Iavor Diatchki Galois, Inc.
13:30 - 16:30
Tutorials Y2Tutorials at Yew
13:30
3h
Tutorial
Teaching functional programming
Tutorials
Michael Sperber Active Group GmbH

Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
Tutorials B3Tutorials at Birch
09:00
3h
Tutorial
Folding/Unfolding with Scala
Tutorials
09:00 - 12:00
Tutorials R3Tutorials at Reindeer
09:00
3h
Tutorial
Programming Language Foundations in Agda
Tutorials
Philip Wadler University of Edinburgh, UK
09:00 - 12:00
Tutorials Y3Tutorials at Yew
09:00
3h
Tutorial
Building C++ project with Shake
Tutorials
12:00 - 13:30
13:30 - 16:30
Tutorials R4Tutorials at Reindeer
13:30
3h
Tutorial
Programming Language Foundations in Agda
Tutorials
Philip Wadler University of Edinburgh, UK