| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| Rui | Li | Sorbonne university (Paris 4 and 6) | |
| Bruno | Lopes | Universidade Federal Fluminense | www.ic.uff.br/~bruno |
| 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/ |
| Sophie | Nagler | University of Oxford and Munich Center for Mathematical Philosophy | oxford.academia.edu/SophieNagler |
| Julien | Narboux | University of Strasbourg | dpt-info.u-strasbg.fr/~narboux/ |
| Farhan | Nasir | University of Tübingen | farhannasir.academia.edu |
| Sara | Negri | University' di Genova | www.mv.helsinki.fi/home/negri/ |
| 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 Mathematics - University of Genoa | logicosimo.gitlab.io/ |
| Olga | Petrovska | Swansea University | cs.swan.ac.uk/~csolga/ |
| Pedro | Pinto | TU Darmstadt | www2.mathematik.tu-darmstadt.de/~pinto/ |
| Wolfram | Pohlers | WWU Muenster | www.uni-muenster.de/forschungaz/person/19957 |
| Thomas | Powell | University of Bath | t-powell.github.io/ |
| Norbert | Preining | Accelia, Inc. | www.preining.info/ |
| David | Pym | UCL | www.cantab.net/users/david.pym/ |
| Benjamin | Ralph | Inria Saclay | ben-ralph.com |
