|
Bahareh |
Afshari |
University of Gothenburg & University of Amsterdam |
www.cse.chalmers.se/~bahafs/ |
|
Arnold |
Beckmann |
Swansea University |
www.beckmann.pro |
|
Lev |
Beklemishev |
Steklov Mathematical Institute of RUssian Academy of Sciences |
www.mi-ras.ru/~bekl |
|
Frédéric |
Blanqui |
INRIA |
rewriting.gforge.inria.fr/ |
|
Paola |
Bruscoli |
University of Bath |
www.cs.bath.ac.uk/pb/ |
|
Yong |
Cheng |
School of Philosophy, Wuhan University |
yongcheng.whu.edu.cn/ |
|
Laura |
Crosilla |
University of Oslo |
sites.google.com/view/lauracrosilla/home |
|
Anupam |
Das |
University of Birmingham |
www.anupamdas.com |
|
Ana |
de Almeida Borges |
University of Barcelona |
|
|
Bruno |
Dinis |
Universidade de Lisboa |
www.researchgate.net/profile/Bruno_Dinis2 |
|
Gilles |
Dowek |
Inria and École normale de Paris-Saclay |
www.lsv.fr/~dowek/ |
|
Guillaume |
Genestier |
ENS Paris-Saclay, MINES ParisTech, Inria |
www.lsv.fr/~genestier |
|
Balthasar |
Grabmayr |
Humboldt University of Berlin |
|
|
J. Roger |
Hindley |
Swansea, retired |
www.users.waitrose.com/~hindley/ |
|
Rosalie |
Iemhoff |
Utrecht University |
www.uu.nl/staff/RIemhoff |
|
Jean-Baptiste |
JoInet |
Université de Lyon |
www-philo.univ-paris1.fr/Joinet |
|
Joost |
Joosten |
University of Barcelona |
www.phil.uu.nl/~jjoosten/ |
|
Antonina |
Kolokolova |
Memorial University of Newfoundland |
www.cs.mun.ca/~kol |
|
Yves |
Lafont |
Institut de Mathématiques de Marseille, CNRS-AMU |
iml.univ-mrs.fr/~lafont/ |
|
Graham |
Leigh |
University of Gothenburg |
www.gu.se/english/about_the_university/staff/?userId=xleigr |
