ICFP 2019 - Tutorials

Sun 18 - Fri 23 August 2019 Berlin, Germany

About
Program

Accepted Tutorials

	Title
	Building C++ project with Shake Tutorials Semen Trygubenko
	Fine-grained program reasoning using linear and graded modal types Tutorials Harley D. Eades III, Dominic Orchard, Vilem-Benjamin Liepelt
	Folding/Unfolding with Scala Tutorials Simon Hafner
	Functional Software Architecture Tutorials Michael Sperber
	Programming Language Foundations in Agda Tutorials Philip Wadler
	Teaching functional programming Tutorials Michael Sperber
	Verifying Imperative Programs with SAW Tutorials David Thrane Christiansen, Iavor Diatchki
	Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages. Tutorials Andor Penzes

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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	LunchCatering at Restaurant

13:30 - 16:30	Tutorials B2Tutorials at Birch

13:30 3h Tutorial		Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift Tutorials Michal J. Gajda

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 Simon Hafner

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 Semen Trygubenko

	12:00 - 13:30	LunchCatering at Restaurant

13:30 - 16:30	Tutorials R4Tutorials at Reindeer

13:30 3h Tutorial		Programming Language Foundations in Agda Tutorials Philip Wadler University of Edinburgh, UK

13:30 - 16:30	Tutorials Y4Tutorials at Yew

13:30 3h Tutorial		Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages. Tutorials Andor Penzes

TutorialsICFP 2019

Accepted Tutorials

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

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

Tracks

Workshops

Co-hosted Symposia

TutorialsICFP 2019

Accepted Tutorials

Program Display Configuration

Thu 22 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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