Program - ICFP 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Adams	Erlang Erlang Workshop: Keynote				Erlang Erlang Workshop: Session 1						Erlang Erlang Workshop: Session 2				Erlang Erlang Workshop: Session 3
B - Fifth Avenue	PLMW @ ICFP Icebreaker and Preparing for Graduate School in PL				PLMW @ ICFP Panel and Getting the Most out of ICFP						PLMW @ ICFP Technical Lecture and Mental Health				PLMW @ ICFP How to give a talk, speed mentoring, and debrief
Grand Ballroom 1								ICFP Catering and Social Lunch
Grand Crescent	HIW HIW: Introduction + GHC status report				HIW HIW: Session 1						HIW HIW: Session 2				HIW HIW: Session 3
Grand Foyer				ICFP Catering and Social Coffee Break										ICFP Catering and Social Coffee Break
Olympic	FHPNC FHPNC Talk #1				FHPNC FHPNC Talk #2						FHPNC FHPNC Talks #3				FHPNC Invited talk & Discussion
St Helens	TyDe TyDe: Welcome & Keynote				TyDe TyDe: Type-Driven Types						TyDe TyDe: Type-Driven Designs				TyDe TyDe: Type-Driven Runtimes
Vashon	HOPE HOPE: Session 1				HOPE HOPE: Session 2						HOPE HOPE: Session 3				HOPE HOPE: Session 4

Tue 5 Sep
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30
A - Grand Ballroom 2			ICFP Papers and Events + ICFP Keynotes Welcome	ICFP Keynotes + ICFP Papers and Events Morning keynote			ICFP Papers and Events Effects						ICFP Keynotes + ICFP Papers and Events Afternoon keynote			ICFP Papers and Events Concurrency and distribution			ICFP Papers and Events Contests
B - Fifth Avenue							ICFP Papers and Events Dependent types									ICFP Papers and Events Fixpoints
Grand Ballroom 1	Diversity, Equity, and Inclusion Mentoring Breakfast									ICFP Catering and Social Lunch
Grand Foyer						ICFP Catering and Social Coffee Break									ICFP Catering and Social Coffee Break			ICFP Catering and Social Break				ICFP Catering and Social ICFP Reception
Whidbey										Diversity, Equity, and Inclusion LGBTQ@ICFP Lunch

Wed 6 Sep
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30
A - Grand Ballroom 2			ICFP Keynotes + ICFP Papers and Events Keynote			ICFP Papers and Events Verification 1							ICFP Papers and Events Circuits and monoids			ICFP Papers and Events Types			ICFP Papers and Events Business meeting
B - Fifth Avenue						ICFP Papers and Events Testing							ICFP Papers and Events Meta programming			ICFP Papers and Events Modal FRP
Grand Ballroom 1	Diversity, Equity, and Inclusion Mentoring Breakfast								ICFP Catering and Social Lunch
Grand Foyer					ICFP Catering and Social Coffee Break										ICFP Catering and Social Coffee Break			ICFP Catering and Social Break
W@ICFP Dinner												Diversity, Equity, and Inclusion W@ICFP Dinner
Whidbey									Diversity, Equity, and Inclusion URM@ICFP Lunch

Thu 7 Sep
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30		18:00	30
A - Grand Ballroom 2	ICFP Keynotes + ICFP Papers and Events Keynote			ICFP Papers and Events Language design						ICFP Papers and Events Session typing functional pearls			ICFP Papers and Events Compilation			ICFP Papers and Events Fireside chat			ICFP Papers and Events Ask me anything with Tim Sweeney
B - Fifth Avenue				ICFP Papers and Events Verification 2						ICFP Papers and Events Blame and education			ICFP Papers and Events Data representation
Grand Ballroom 1							ICFP Catering and Social Lunch Diversity, Equity, and Inclusion SIGPLAN-M Lunch 12:00 - 13:30
Grand Foyer			ICFP Catering and Social Coffee Break									ICFP Catering and Social Coffee Break			ICFP Catering and Social Break

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30
B - Fifth Avenue	Haskell Haskell: Keynote 1				Haskell Haskell: Session 1						Haskell Haskell: Session 2					Haskell Haskell: Demos
Grand Ballroom 1								ICFP Catering and Social Lunch
Grand Crescent	Higher-order, Typed, Inferred, Strict: ML Family Workshop ML Workshop: Session 1				Higher-order, Typed, Inferred, Strict: ML Family Workshop ML Workshop: Session 2						Higher-order, Typed, Inferred, Strict: ML Family Workshop ML Workshop: Session 3					Higher-order, Typed, Inferred, Strict: ML Family Workshop ML Workshop: Session 4
Grand Foyer				ICFP Catering and Social Coffee Break											ICFP Catering and Social Coffee Break
Olympic	miniKanren miniKanren: Tutorial				miniKanren miniKanren: Papers (Session 1 out of 2)						miniKanren miniKanren: Papers (Session 2 out of 2)					miniKanren miniKanren: Discussion on the Future of miniKanren
Reisbeck Auditorium												FARM FARM Performance Evening
St Helens	Tutorials Tutorial: Vehicle - A Specification Language for Neural Network Properties (1)				Tutorials Tutorial: Vehicle - A Specification Language for Neural Network Properties (2)						Tutorials Tutorial: Porting Lwt applications to OCaml 5 and Eio (1)					Tutorials Tutorial: Porting Lwt applications to OCaml 5 and Eio (2)
Vashon 1	FUNARCH FUNARCH Talks #1				FUNARCH FUNARCH Talks #2						FUNARCH FUNARCH Talks #3					FUNARCH FUNARCH Talks #4
Vashon 2	FARM FARM Session 1				FARM FARM Session 2

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
B - Fifth Avenue	Haskell Haskell: Keynote 2				Haskell Haskell: Session 3						Haskell Haskell: Summer of Code & Chair's Report				Haskell
Grand Ballroom 1								ICFP Catering and Social Lunch
Grand Crescent	OCaml Session 1				OCaml Session 2						OCaml Session 3				OCaml Session 4
Grand Foyer				ICFP Catering and Social Coffee Break										ICFP Catering and Social Coffee Break
Olympic	Scheme SCHEME: Session I				Scheme SCHEME: Session II						Scheme SCHEME: Session III				Scheme
St Helens	Tutorials Tutorial: Teaching Functional Programming (1)				Tutorials Tutorial: Teaching Functional Programming (2)						Tutorials Tutorial: Teaching and Learning Compilers Incrementally (1)				Tutorials Tutorial: Teaching and Learning Compilers Incrementally (2)
Vashon 2	DeclMed DeclMed: Session 1				DeclMed DeclMed: Session 2						DeclMed DeclMed: Session 3				DeclMed DeclMed: Session 4

ICFP 2023 Program

Switch Program View

Program Display Configuration

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

Erlang

Erlang

Erlang

Erlang

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

ICFP Catering and Social

HIW

HIW

HIW

HIW

ICFP Catering and Social

ICFP Catering and Social

FHPNC

FHPNC

FHPNC

FHPNC

TyDe

TyDe

TyDe

TyDe

HOPE

HOPE

HOPE

HOPE

Tue 5 SepDisplayed time zone: Pacific Time (US & Canada) change

ICFP Papers and Events + ICFP Keynotes

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Diversity, Equity, and Inclusion

ICFP Catering and Social

ICFP Catering and Social

ICFP Catering and Social

ICFP Catering and Social

ICFP Catering and Social

Diversity, Equity, and Inclusion

Wed 6 SepDisplayed time zone: Pacific Time (US & Canada) change

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Diversity, Equity, and Inclusion

ICFP Catering and Social

ICFP Catering and Social

ICFP Catering and Social

ICFP Catering and Social

Diversity, Equity, and Inclusion

Diversity, Equity, and Inclusion

Thu 7 SepDisplayed time zone: Pacific Time (US & Canada) change

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Catering and Social

Diversity, Equity, and Inclusion

ICFP Catering and Social

ICFP Catering and Social

ICFP Catering and Social

Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change

Haskell

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tue 5 Sep
Displayed time zone: Pacific Time (US & Canada) change

Wed 6 Sep
Displayed time zone: Pacific Time (US & Canada) change

Thu 7 Sep
Displayed time zone: Pacific Time (US & Canada) change

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change