Program - ICFP 2022

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00.

08:00 60m Registration		Registration Catering & social

09:00 - 10:30	Introduction + State of GHCHIW at E3 Chair(s): Alejandro Serrano 47 Degrees

09:00 30m Talk		Welcome HIW
09:30 60m Talk		State of GHC HIW Simon Peyton Jones Epic Games , Ben Gamari Well-Typed LLP

10:30 - 11:00	Coffee breakCatering & social at Foyer 2 +96h +120h

10:30 30m Coffee break		Coffee break Catering & social

11:00 - 12:30	Talks IHIW at E3

11:00 30m Talk		Compiling Mu with GHC: Halfway Down the Rabbit Hole HIW Gergo Erdi Standard Chartered Bank File Attached
11:30 30m Talk		A Termination Checker for Haskell Rewrite Rules HIW Makoto Hamana Gunma University, Japan
12:00 30m Talk		Annotating Deeply Embedded Languages HIW Robbert van der Helm , Trevor L. McDonell Utrecht University, Gabriele Keller Utrecht University

12:30 - 14:00	LunchCatering & social at Foyer 2 +120h +96h

12:30 90m Lunch		Lunch Catering & social

14:00 - 15:30	Lightning TalksHIW at E3 Lightning talks can be submitted via this form: https://forms.gle/5GG9fkUPB2muw6vt5

14:00 15m Talk		Lightning Talk Slot #1: Signature Sections HIW Gergo Erdi Standard Chartered Bank File Attached
14:15 15m Talk		Lightning Talk Slot #2: An SSA-based Register Allocator for GHC HIW Benjamin Maurer
14:30 15m Talk		Lightning Talk Slot #3: The Haskell Optimization Handbook HIW Jeffrey Young IOHK
14:45 15m Talk		Lightning Talk Slot #4: Modularizing GHC HIW Sylvain Henry
15:00 15m Talk		Lightning Talk Slot #5: More recursive equations HIW Joachim Breitner Epic Games
15:15 15m Talk		Lightning Talk Slot #6 HIW

15:30 - 16:00	Coffee breakCatering & social at Foyer 2 +96h +120h

15:30 30m Coffee break		Coffee break Catering & social

16:00 - 17:30	Talks IIHIW at E3

16:00 30m Talk		A look across the pond: a comparison between GHC and Racket compilation models HIW Alexis King Tweag
16:30 30m Talk		Haskell Playground (WIP) HIW Tom Smeding Utrecht University
17:00 30m Talk		CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing HIW Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 08:50	RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00 50m Registration		Registration Catering & social

08:50 - 09:00	WelcomeCatering & social at Linhart

08:50 10m Day opening		Welcome Catering & social G: Andrej Bauer University of Ljubljana

10:00 - 10:30	Coffee breakCatering & social at Foyer 2 +48h +24h

10:00 30m Coffee break		Coffee break Catering & social

12:10 - 13:40	LunchCatering & social at Foyer 2 +24h +48h

12:10 90m Lunch		Lunch Catering & social

15:20 - 15:50	Coffee breakCatering & social at Foyer 2 +48h +24h

15:20 30m Coffee break		Coffee break Catering & social

16:50 - 17:00	BreakCatering & social at Foyer 2 +48h +24h

16:50 10m Break		Break Catering & social

19:00 - 20:00	Guided tour of LjubljanaCatering & social at Kongresni trg

19:00 60m Social Event		Guided tour of Ljubljana Catering & social

20:00 - 22:00	Reception & SRC poster presentationCatering & social at Ljubljana castle

20:00 2h Social Event		Reception & SRC poster presentation Catering & social

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00 60m Registration		Registration Catering & social

10:00 - 10:30	Coffee breakCatering & social at Foyer 2

10:00 30m Coffee break		Coffee break Catering & social

12:10 - 13:40	LunchCatering & social at Foyer 2

12:10 90m Lunch		Lunch Catering & social

15:20 - 15:50	CARES sessionCatering & social at E6 +18h40min

15:20 30m Social Event		CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania

15:20 - 15:50	Coffee breakCatering & social at Foyer 2

15:20 30m Coffee break		Coffee break Catering & social

16:50 - 17:00	BreakCatering & social at Foyer 2

16:50 10m Break		Break Catering & social

18:30 - 21:00	Women@ICFP dinnerCatering & social at Gostilna Breg

18:30 2h30m Dinner		Women@ICFP Catering & social O: Anja Petković Komel TU Wien, Vienna, Austria

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00 60m Registration		Registration Catering & social

10:00 - 10:30	CARES sessionCatering & social at E6

10:00 30m Social Event		CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania

10:00 - 10:30	Coffee breakCatering & social at Foyer 2

10:00 30m Coffee break		Coffee break Catering & social

12:10 - 13:40	LunchCatering & social at Foyer 2

12:10 90m Lunch		Lunch Catering & social

15:20 - 15:50	Coffee breakCatering & social at Foyer 2

15:20 30m Coffee break		Coffee break Catering & social

16:50 - 17:00	BreakCatering & social at Foyer 2

16:50 10m Break		Break Catering & social

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2

08:00 60m Registration		Registration Catering & social

10:30 - 11:00	Coffee breakCatering & social at Foyer 2

10:30 30m Coffee break		Coffee break Catering & social

12:30 - 14:00	LunchCatering & social at Foyer 2

12:30 90m Lunch		Lunch Catering & social

15:30 - 16:00	Coffee breakCatering & social at Foyer 2

15:30 30m Coffee break		Coffee break Catering & social

17:30 - 20:00	Industrial receptionCatering & social at Foyer 2

17:30 2h30m Social Event		Industrial reception Catering & social

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2

08:00 60m Registration		Registration Catering & social

10:30 - 11:00	Coffee breakCatering & social at Foyer 2

10:30 30m Coffee break		Coffee break Catering & social

12:30 - 14:00	OCaml Industry LunchCatering & social at E2

12:30 90m Social Event		OCaml Industry Lunch Catering & social

12:30 - 14:00	LunchCatering & social at Foyer 2

12:30 90m Lunch		Lunch Catering & social

15:30 - 16:00	Coffee breakCatering & social at Foyer 2

15:30 30m Coffee break		Coffee break Catering & social

19:00 - 21:00	OCaml & farewell receptionCatering & social at Ljubljana Zoo See event details for information on travel and free zoo entry.

19:00 2h Social Event		OCaml & farewell reception Catering & social

HIW 2022 Program

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tracks

Workshops

Co-hosted Symposia

HIW 2022 Program

Switch Program View

Program Display Configuration

Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Get Calendar (iCal)

Information for Participants

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change