Brett |
McLean |
Ghent University |
users.ugent.be/~bmclean/ |
Paul-André |
Melliès |
CNRS |
www.irif.fr/~mellies |
Dale |
Miller |
Inria Saclay and LIX |
www.lix.polytechnique.fr/Labo/Dale.Miller/ |
Mojtaba |
Mojtahedi |
Ghent University |
mmojtahedi.ir |
Alberto |
Momigliano |
Department of Computer Science, Università degli Studi di Milano |
momigliano.di.unimi.it/ |
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/ |
Carlo |
Nicolai |
King's College London |
carlonicolai.github.io |
Paulo |
Oliva |
Queen Mary University of London |
www.eecs.qmul.ac.uk/~pbo/ |
eugenio |
orlandelli |
University of Bologna |
www.unibo.it/sitoweb/eugenio.orlandelli/en |
Fedor |
Pakhomov |
Ghent University |
homepage.mi-ras.ru/~pakhfn/ |
Konstantinos |
Papafilippou |
Ghent University |
http:// |
Robert |
Passmann |
ILLC, University of Amsterdam |
www.robertpassmann.eu/ |
Edi |
Pavlović |
MCMP |
www.mcmp.philosophie.uni-muenchen.de/people/faculty/pavlovic_edi/index.html |
Justin |
Pearson |
Uppsala universitet |
user.it.uu.se/~justin/ |
Cosimo |
Perini Brogi |
IMT School for Advanced Studies Lucca |
logicosimo.gitlab.io/ |
Davide |
Perinti |
ILLC |
http:// |