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


Room	8:00	15	30	45	9:00	15		30		45		10:00		15	30	45	11:00	15		30		45		12:00		15	30	45	13:00	15	30	45	14:00	15		30		45		15:00		15	30	45	16:00	15		30		45		17:00		15	30	45
Club CD					TyDeVirtual A Hoare-Logic Style Refinement Types Formalisation 09:00 - 09:18		TyDe Computing with Generic Trees in Agda 09:18 - 09:36		TyDe Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction ... 09:36 - 09:54		TyDe Provingly Correct Optimisations on Intrinsically Typed Expressions (Ext ... 09:54 - 10:12		TyDe Structural Refinement Types 10:12 - 10:30				TyDe Idris2-Table: evaluating dependently-typed tables with the Brown Benchm ... 11:00 - 11:18		TyDe Syntax-Generic Operations, Reflectively Reified (Extended Abstract) 11:18 - 11:36		TyDe Toward Grammar Inference via Refinement Types (Extended Abstract) 11:36 - 11:54		TyDeVirtual Towards Dependently-Typed Control Effects (Extended Abstract) 11:54 - 12:12		TyDe tylr, a tiny tile-based structure editor 12:12 - 12:30								TyDe Normalization by Evaluation with Free Extensions (Extended Abstract) 14:00 - 14:18		TyDe Zena's birthday introduction 14:18 - 14:36		TyDe Compiling without continuations 14:36 - 14:54		TyDe On the power of syntactic methods: It is all syntax after all… 14:54 - 15:12		TyDe The impact of delimited control and call-by-need in proof theory 15:12 - 15:30				TyDe A Computational Interpretation of Girard's Intuitionistic Proof-Nets 16:00 - 16:18		TyDe Duality of intersection and union types - where and how? 16:18 - 16:36		TyDe Mu tilde (re)cycled 16:36 - 16:54		TyDe OPLSS over twenty years (online) 16:54 - 17:12		TyDe Happy Birthday, Zena! 17:12 - 17:30
Foyer 2	ICFP Catering & social Registration 08:00 - 09:00														ICFP Catering & social Coffee break 10:30 - 11:00												ICFP Catering & social Lunch 12:30 - 14:00																ICFP Catering & social Coffee break 15:30 - 16:00

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


Room	8:00	15	30	45		9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00		15	30	45	13:00	15		30	45	14:00	15	30	45	15:00	15		30	45	16:00	15	30	45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Foyer 2	ICFP Catering & social Registration 08:00 - 08:50									ICFP Catering & social Coffee break 10:00 - 10:30									ICFP Catering & social Lunch 12:10 - 13:40															ICFP Catering & social Coffee break 15:20 - 15:50							ICFP Catering & social Break 16:50 - 17:00
Kongresni trg																									ICFP Catering & social Guided tour of Ljubljana 19:00 - 20:00
Linhart					ICFP Catering & social Welcome 08:50 - 09:00
Ljubljana castle																									ICFP Catering & social Reception & SRC poster presentation 20:00 - 22:00

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


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00		15	30	45	13:00	15		30	45	14:00	15	30	45	15:00	15		30	45	16:00	15	30	45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
E6																								ICFP Catering & social CARES session 15:20 - 15:50
Foyer 2	ICFP Catering & social Registration 08:00 - 09:00								ICFP Catering & social Coffee break 10:00 - 10:30									ICFP Catering & social Lunch 12:10 - 13:40															ICFP Catering & social Coffee break 15:20 - 15:50							ICFP Catering & social Break 16:50 - 17:00
Gostilna Breg																								ICFP Catering & social Women@ICFP 18:30 - 21:00

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


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00		15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15		30	45	16:00	15	30	45
E6									ICFP Catering & social CARES session 10:00 - 10:30
Foyer 2	ICFP Catering & social Registration 08:00 - 09:00								ICFP Catering & social Coffee break 10:00 - 10:30									ICFP Catering & social Lunch 12:10 - 13:40														ICFP Catering & social Coffee break 15:20 - 15:50							ICFP Catering & social Break 16:50 - 17:00

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
Foyer 2	ICFP Catering & social Registration 08:00 - 09:00																														ICFP Catering & social Coffee break 10:30 - 11:00																								ICFP Catering & social Lunch 12:30 - 14:00																																				ICFP Catering & social Coffee break 15:30 - 16:00																								ICFP Catering & social Industrial reception 17:30 - 20:00

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


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15		30	45	14:00	15	30	45	15:00	15	30	45	16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
E2																			ICFP Catering & social OCaml Industry Lunch 12:30 - 14:00
Foyer 2	ICFP Catering & social Registration 08:00 - 09:00										ICFP Catering & social Coffee break 10:30 - 11:00								ICFP Catering & social Lunch 12:30 - 14:00													ICFP Catering & social Coffee break 15:30 - 16:00
Ljubljana Zoo																							ICFP Catering & social OCaml & farewell reception 19:00 - 21:00

TyDe 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

TyDe 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)

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