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 |
Dept of Mathematics - University of Genoa |
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/ |
Benjamin |
Ralph |
Inria Saclay |
ben-ralph.com |
Revantha |
Ramanayake |
University of Groningen |
www.rug.nl/staff/d.r.s.ramanayake/ |
Ramyaa |
Ramyaa |
New Mexico tech |
www.cs.nmt.edu/~ramyaa/ |
Ajay |
Rawat |
Georg-August-Universität Göttingen |
http:// |