Program committee

Name	Affiliation
Ningning Xie	The University of Hong Kong
Niki Vazou chair	IMDEA
Manuel Chakravarty	Tweag I/O & IOHK
José Manuel Calderón Trilla	Galois, Inc.
Jasper Van der Jeugt	Fugue, Inc
Brent Yorgey	Hendrix College