| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| Helmut | Schwichtenberg | LMU Muenchen | www.mathematik.uni-muenchen.de/~schwicht/ |
| Anton | Setzer | Swansea University | www.cs.swan.ac.uk/~csetzer/ |
| Wilfried | Sieg | Carnegie Mellon University | www.cmu.edu/dietrich/philosophy/people/faculty/sieg.html |
| Stephen G. | Simpson | Pennsylvania State University, Vanderbilt University | www.math.psu.edu/simpson/ |
| Morgan | Sinclaire | New Mexico State University | github.com/Morgan-Sinclaire/Gentzen |
| Giovanni | Solda | Swansea University | eps.leeds.ac.uk/maths/pgr/5099/giovanni-solda |
| Daniel | Sousa | Universitat de Barcelona | |
| Allan | Tabilog | Red Energy Ltd Australia | |
| Yuta | Takahashi | Ochanomizu University | 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 |
| Vivek | Tripathi | Student | |
| David | Udumyan | University of Miami | nullstellensatz.us |
| Benno | Van den Berg | University of Amsterdam | www.illc.uva.nl/People/person/3449/Dr-Benno-van-den-Berg |
| 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/ |
| Albert | Visser | Utrecht University | www.uu.nl/medewerkers/avisser |
| James | Walsh | Cornell University | math.berkeley.edu/~walsh/ |
