---

Program committee  Go

Show:

ORCID iDCountry

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

---