---

Program committee  Go

Show:

ORCID iD  Country

Redisplay

User selection

View options

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	Lean FRO

---