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/ |