---

Name	Affiliation
Andrej Bauer	University of Ljubljana
Chandrakana Nandi	Certora
Gabriel Scherer	INRIA
Jacques Carette	McMaster University
Kuen-Bang Hou	University of Minnesota
Nikhil Swamy	Microsoft Research
Sebastian Ullrich chair	Lean FRO

---