| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| Alexis | Saurin | CNRS | www.irif.fr/~saurin |
| Helmut | Schwichtenberg | LMU Muenchen | www.mathematik.uni-muenchen.de/~schwicht/ |
| Anton | Setzer | Swansea University | www.cs.swan.ac.uk/~csetzer/ |
| Paul | Shafer | University of Leeds | peshafer.github.io |
| Shang | Shi | Ghent University | shishang2002.github.io |
| Ian | Shillito | Australian National University | cecs.anu.edu.au/people/ian-shillito |
| Nikolay | Shilov | Innopolis University | persons.iis.nsk.su/en/shilov |
| Wilfried | Sieg | Carnegie Mellon University | www.cmu.edu/dietrich/philosophy/people/faculty/sieg.html |
| Ryan | Simonelli | University of Chicago | ryansimonelli.com |
| Stephen G. | Simpson | Pennsylvania State University, Vanderbilt University | www.math.psu.edu/simpson/ |
| Alex | Simpson | University of Ljubljana | alexksimpson.github.io |
| Morgan | Sinclaire | New Mexico State University | github.com/Morgan-Sinclaire/Gentzen |
| Andrei | Sipoș | University of Bucharest | cs.unibuc.ro/~asipos/ |
| Maximos | Skandalis | CNRS & University of Montpellier | www.theses.fr/en/s355752 |
| Alejandro | Solares-Rojas | Institute for Research in Computer Science, UBA-CONICET | www.researchgate.net/profile/Alejandro-Solares-Rojas |
| Giovanni | Solda | Swansea University | eps.leeds.ac.uk/maths/pgr/5099/giovanni-solda |
| Sho | Sonoda | RIKEN | sites.google.com/view/shosonoda/home |
| Daniel | Sousa | Universitat de Barcelona | |
| Stella | Spadoni | IMT School of Advanced Studies Lucca | www.imtlucca.it/stella.spadoni |
| David | Spitz | University of Chicago | http:// |
