| Name | Affiliation |
|---|---|
| Elisa Gonzalez Boix chair | Vrije Universiteit Brussel |
| Guido Salvaneschi | TU Darmstadt |
| Philipp Haller | KTH Royal Institute of Technology |
| Zach Tatlock | University of Washington |
| Name | Affiliation |
|---|---|
| Elisa Gonzalez Boix chair | Vrije Universiteit Brussel |
| Guido Salvaneschi | TU Darmstadt |
| Philipp Haller | KTH Royal Institute of Technology |
| Zach Tatlock | University of Washington |