| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| Bahareh | Afshari | University of Gothenburg & University of Amsterdam | www.cse.chalmers.se/~bahafs/ |
| Juan | Aguilera | UGent, TU Vienna | juan.ag |
| Majid | Alizadeh | University of Tehran | rtis2.ut.ac.ir/cv/majidalizadeh |
| Bashar | Alkhawaldeh | Assistant professor | |
| José A. | Alonso | Univiversidad de Sevilla | www.cs.us.es/~jalonso |
| Sergei | Artemov | CUNY Graduate Center | sartemov.ws.gc.cuny.edu/ |
| Arnon | Avron | Tel Aviv University | www.cs.tau.ac.il/~aa/ |
| 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/ |
| Rémy | Cerda | I2M, Aix-Marseille Université | www.i2m.univ-amu.fr/perso/remy.cerda/ |
| 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 |
