| Name | Affiliation |
|---|---|
| Aslan Askarov | Aarhus University |
| Boris Köpf | IMDEA Software Institute |
| Danfeng Zhang | Penn State University |
| Deepak Garg | MPI Software Systems |
| Frank Piessens | "DistriNet |
| Kevin Hamlen | University of Texas at Dallas |
| Lujo Bauer | Carnegie Mellon University |
| Marco Gaboardi chair | University at Buffalo |
| Mario Alvim | Universidade Federal de Minas Gerais |
| Nataliia Bielova chair | Inria |
| Omer Tripp | |
| Scott Moore | Galois, Inc. |
| Steve Kremer | Loria & Inria |