| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| 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/ |
| 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 | |
| David | Spitz | University of Chicago | http:// |
| Will | Stafford | University of Bristol | www.willstafford.info |
| Lukasz T. | Stepien | University of the National Education Commission, Krakow | ltstepien.up.krakow.pl/ |
| Göran | Sundholm | Philosophy, Leiden University | www.researchgate.net/profile/Goeran-Sundholm |
| Allan | Tabilog | Red Energy Ltd Australia | |
| Yuta | Takahashi | Aomori University | takahashi-yt.github.io/ |
| Jinghui | Tao | University of Manchester | |
| Eugenia | Ternovska | Simon Fraser University | www.cs.sfu.ca/~ter/ |
| Laurent | Théry | INRIA | www-sop.inria.fr/marelle/thery.html |
| François | Thiré | Inria Deducteam, LSV | www.lsv.fr/~fthire/ |
