| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| 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 |
| Yves | Bertot | Inria | www-sop.inria.fr/members/Yves.Bertot/research.html |
| 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 |
| Farzad | Jafarrahmani | Paris Diderot University | http:// |
| 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 |
