|
Rui |
Li |
Sorbonne university (Paris 4 and 6) |
|
|
Nicolas |
MAGAUD |
Université de Strasbourg |
dpt-info.u-strasbg.fr/~magaud |
|
Paul-André |
Melliès |
CNRS |
www.irif.fr/~mellies |
|
Dale |
Miller |
Inria Saclay and LIX |
www.lix.polytechnique.fr/Labo/Dale.Miller/ |
|
Julien |
Narboux |
University of Strasbourg |
dpt-info.u-strasbg.fr/~narboux/ |
|
Takako |
Nemoto |
Japan Advanced Institute of Science and Technology |
www.jaist.ac.jp/~t-nemoto/ |
|
Paulo |
Oliva |
Queen Mary University of London |
www.eecs.qmul.ac.uk/~pbo/ |
|
Justin |
Pearson |
Uppsala universitet |
user.it.uu.se/~justin/ |
|
Cosimo |
Perini Brogi |
Dept of Maths - University of Genoa |
github.com/logicosimo |
|
Olga |
Petrovska |
Swansea University |
cs.swan.ac.uk/~csolga/ |
|
Wolfram |
Pohlers |
WWU Muenster |
www.uni-muenster.de/forschungaz/person/19957 |
|
Norbert |
Preining |
Accelia, Inc. |
www.preining.info/ |
|
Benjamin |
Ralph |
Inria Saclay |
ben-ralph.com |
|
Reuben |
Rowe |
Royal Holloway, University of London |
pure.royalholloway.ac.uk/portal/en/persons/reuben-rowe(70354339-7bc5-475d-b8d5-7fa95114d851).html |
|
Aleksandra |
Samonek |
UCLouvain |
asamonek.github.io |
|
Helmut |
Schwichtenberg |
LMU Muenchen |
www.mathematik.uni-muenchen.de/~schwicht/ |
|
Daniel |
Sousa |
Universitat de Barcelona |
|
|
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 |
