| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| Stephen G. | Simpson | Pennsylvania State University, Vanderbilt University | www.math.psu.edu/simpson/ |
| Morgan | Sinclaire | New Mexico State University | github.com/Morgan-Sinclaire/Gentzen |
| Daniel | Sousa | Universitat de Barcelona | |
| Allan | Tabilog | Red Energy Ltd Australia | http:// |
| Yuta | Takahashi | IHPST, Université Paris 1 Panthéon-Sorbonne | researchmap.jp/y_takahashi/ |
| Jinghui | Tao | University of Manchester | |
| Laurent | Théry | INRIA | www-sop.inria.fr/marelle/thery.html |
| François | Thiré | Inria Deducteam, LSV | www.lsv.fr/~fthire/ |
| Henry | Towsner | University of Pennsylvania | www.sas.upenn.edu/~htowsner |
| Lionel | Vaux Auclair | Université d’Aix-Marseille | www.i2m.univ-amu.fr/perso/lionel.vaux/ |
| Jørgen | Villadsen | Technical University of Denmark | people.compute.dtu.dk/jovi/ |
| 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 |
