| Name | Affiliation |
|---|---|
| Adam Chlipala | MIT |
| Amy Felty | University of Ottowa |
| Arthur Charguéraud | Inria |
| Enrico Tassi | Inria |
| Jan-Oliver Kaiser | Bedrock Systems / MPI-SWS |
| Kathrin Stark | Heriot-Watt University |
| Liron Cohen | Ben-Gurion University |
| Ralf Jung | ETH Zürich |
| Tej Chajed | UW-Madison and VMware Research |
| Yannick Zakowski | Inria |