| Name | Affiliation |
|---|---|
| Abhishek Anand | Bedrock Systems |
| Amin Timany | Aarhus University |
| Benjamin C. Pierce | University of Pennsylvania |
| Chung-Kil Hur | Seoul National University |
| Enrico Tassi | Inria |
| Jason Gross | Massachusetts Institute of Technology |
| Leonidas Lampropoulos | University of Maryland, College Park |
| Lourdes del Carmen GONZÁLEZ HUESCA | Depto. Matemáticas, Facultad de Ciencias, Universidad Nacional Autónoma de México |
| Xavier Leroy | Collège de France and Inria |