ICFP 2022 - Catering & social events

Lunch, Diner, Coffee-breaks

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

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

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

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

12:30 90m Lunch		Lunch Catering & social

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

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

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

Unscheduled Events

Not scheduled
Social Event

Steering Committee Meeting

Catering & social

Stephanie Weirich University of Pennsylvania

Events

	Title
	Break Catering & social
	CARES session Catering & social C: Gabriele Keller, C: Simon Peyton Jones, C: Stephanie Weirich
	Coffee break Catering & social
	Guided tour of Ljubljana Catering & social
	Industrial reception Catering & social
	Lunch Catering & social
	OCaml & farewell reception Catering & social
	OCaml Industry Lunch Catering & social
	Reception & SRC poster presentation Catering & social
	Registration Catering & social
	Welcome Catering & social G: Andrej Bauer
	Women@ICFP Catering & social O: Anja Petković Komel

Catering & social eventsICFP 2022

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

Unscheduled Events

Events

Tracks

Workshops

Co-hosted Symposia

Catering & social eventsICFP 2022

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

Unscheduled Events

Information for Participants

Events

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