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 |
Robert |
Passmann |
ILLC, University of Amsterdam |
www.robertpassmann.eu/ |
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:// |
Olga |
Petrovska |
Swansea University |
cs.swan.ac.uk/~csolga/ |
Ivo |
Pezlar |
Czech Academy of Sciences, Institute of Philosophy |
ivo.pezlar.com |
Antonio |
Piccolomini d'Aragona |
Institute of Philosophy, Czech Academy of Sciences; Centre Granger, Aix-Marseille University |
sites.google.com/site/piccdarag |
Elaine |
Pimentel |
UFRN |
sites.google.com/site/elainepimentel/ |
Pedro |
Pinto |
TU Darmstadt |
www2.mathematik.tu-darmstadt.de/~pinto/ |
Anton |
Podkopaev |
JetBrains Research |
podkopaev.net |
Wolfram |
Pohlers |
WWU Muenster |
www.uni-muenster.de/forschungaz/person/19957 |
Thomas |
Powell |
University of Bath |
t-powell.github.io/ |
Norbert |
Preining |
Fujitsu |
www.preining.info/ |
Adrian |
Puerto Aubel |
Bernoulli Institute - Rijksuniversiteit Groningen |
|
David |
Pym |
UCL |
www.cantab.net/users/david.pym/ |