| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| François | Thiré | Inria Deducteam, LSV | www.lsv.fr/~fthire/ |
| Lionel | Vaux Auclair | Université d’Aix-Marseille | www.i2m.univ-amu.fr/perso/lionel.vaux/ |
| Andreas | Weiermann | Department of Mathematics: Analysis, Logic and discrete mathematics | http:// |
| Matteo | Zicchetti | University of Bristol | research-information.bristol.ac.uk/en/persons/matteo-zicchetti(d22d9cbe-3fd2-4e3b-b3ef-d7d67eb734a9).html |
