Program committee

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