ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Photo by Cristina Gottardi

ICFP 2024

Milan, Italy

Photo by Ouael Ben Salah

Duomo di Milano

Photo by Eugene Chystiakov

Galleria Vittorio Emanuele II

Photo by Federico Di Dio

Basilica di Sant'Ambrogio

Photo by Zac Wolff

Bosco Verticale

The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024.

Sep 2 Mon	Sep 3 Tue	Sep 4 Wed	Sep 5 Thu	Sep 6 Fri	Sep 7 Sat
HOPE	ICFP			Tutorials
PLMW				FProPer	Scheme
Erlang				ML	OCaml
FARM				Haskell
				TyDe
				MiniKanren
				Funarch
				SIGPLAN-M Lunch	LGBTQ @ ICFP Lunch	URM @ ICFP Lunch
	ICFP Contest Results	SRC Presentations
FARM performance	ICFP reception & SRC Posters	Women @ ICFP Dinner	BUS Tour

Keynotes

Refinement Types from Light to Deep Verification

Niki Vazou

Requirements are All You Need

Andrew D. Gordon

Capabilities for Control

Martin Odersky