ICFP 2023 - ICFP Catering and Social

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Lunch, Diner, Coffee-breaks

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

	10:30 - 11:00	Coffee BreakICFP Catering and Social at Grand Foyer

	12:30 - 14:00	LunchICFP Catering and Social at Grand Ballroom 1

	15:30 - 16:00	Coffee BreakICFP Catering and Social at Grand Foyer

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

08:50 - 09:00	WelcomeICFP Papers and Events / ICFP Keynotes at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research

08:50 10m		Welcome ICFP Papers and Events Nikhil Swamy Microsoft Research

09:00 - 10:00	Morning keynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Sam Lindley University of Edinburgh

09:00 60m Keynote		Programming for the planet ICFP Keynotes Anil Madhavapeddy University of Cambridge, UK

	10:00 - 10:30	Coffee BreakICFP Catering and Social at Grand Foyer

	12:00 - 13:30	LunchICFP Catering and Social at Grand Ballroom 1

13:30 - 14:30	Afternoon keynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research

13:30 60m Keynote		As low-level as possible, but no lower ICFP Keynotes Andreas Rossberg Independent

	14:30 - 15:00	Coffee BreakICFP Catering and Social at Grand Foyer

	16:00 - 16:30	BreakICFP Catering and Social at Grand Foyer

	18:00 - 19:30	ICFP ReceptionICFP Catering and Social at Grand Foyer

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

09:00 - 10:00	KeynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Sukyoung Ryu KAIST

09:00 60m Keynote		TypeScript: Static types for JavaScript ICFP Keynotes Anders Hejlsberg Microsoft

	10:00 - 10:30	Coffee BreakICFP Catering and Social at Grand Foyer

	12:00 - 13:30	LunchICFP Catering and Social at Grand Ballroom 1

	14:30 - 15:00	Coffee BreakICFP Catering and Social at Grand Foyer

	16:00 - 16:30	BreakICFP Catering and Social at Grand Foyer

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

09:00 - 10:00	KeynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Matthew Flatt University of Utah

09:00 60m Keynote		The Cogent and Dargent approach to facilitating verified software development ICFP Keynotes Christine Rizkallah University of Melbourne

	10:00 - 10:30	Coffee BreakICFP Catering and Social at Grand Foyer

	12:00 - 13:30	LunchICFP Catering and Social at Grand Ballroom 1

	14:30 - 15:00	Coffee BreakICFP Catering and Social at Grand Foyer

	16:00 - 16:30	BreakICFP Catering and Social at Grand Foyer

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

	10:30 - 11:00	Coffee BreakICFP Catering and Social at Grand Foyer

	12:30 - 14:00	LunchICFP Catering and Social at Grand Ballroom 1

	15:30 - 16:00	Coffee BreakICFP Catering and Social at Grand Foyer

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

	10:30 - 11:00	Coffee BreakICFP Catering and Social at Grand Foyer

	12:30 - 14:00	LunchICFP Catering and Social at Grand Ballroom 1

	15:30 - 16:00	Coffee BreakICFP Catering and Social at Grand Foyer

Not scheduled yet

	Not scheduled yet Coffee break		Break ICFP Catering and Social
	Not scheduled yet Dinner		Dinner ICFP Catering and Social
	Not scheduled yet Lunch		Lunch ICFP Catering and Social

Events

	Title
	Break ICFP Catering and Social
	Dinner ICFP Catering and Social
	Lunch ICFP Catering and Social

ICFP Catering and Social

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

Not scheduled yet

Events

Tracks

Workshops

Co-hosted Symposia

ICFP Catering and Social

Program Display Configuration

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

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

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

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

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

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

Not scheduled yet

Events

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