Bahareh |
Afshari |
University of Gothenburg & University of Amsterdam |
www.cse.chalmers.se/~bahafs/ |
Juan |
Aguilera |
UGent, TU Vienna |
juan.ag |
José A. |
Alonso |
Univiversidad de Sevilla |
www.cs.us.es/~jalonso |
Sergei |
Artemov |
CUNY Graduate Center |
sartemov.ws.gc.cuny.edu/ |
Ilnur |
Batyrshin |
Kazan Federal University |
www.mathnet.ru/php/person.phtml?&personid=42092&option_lang=eng |
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/ |
Gergely |
Buday |
Szent István University |
oktatok.karolyrobert.hu/buday.gergely/research/ |
James |
Caldwell |
University of Wyoming |
www.cs.uwyo.edu/~jlc/ |
Yong |
Cheng |
School of Philosophy, Wuhan University |
yongcheng.whu.edu.cn/ |
Enric |
Cosme Llópez |
Universitat de València |
www.uv.es/coslloen/index.html |
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/ |
Boris |
Eng |
LIPN - Université Sorbonne Paris Nord |
www.engboris.fr/ |