| First Name | Last Name | Affiliation | Webpage |
|---|---|---|---|
| Himanshu | . | IIIT Delhi | |
| Mohammad | Abdulaziz | King’s College London | mabdula.github.io |
| 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 |
| Melissa | Antonelli | HIIT & University of Helsinki | http:// |
| Sergei | Artemov | CUNY Graduate Center | sartemov.ws.gc.cuny.edu/ |
| Arnon | Avron | Tel Aviv University | www.cs.tau.ac.il/~aa/ |
| Sara | Ayhan | Ruhr University Bochum | www.pe.ruhr-uni-bochum.de/philosophie/i/logic/team/ayhan.html.en |
| Subhajit | Bandopadhyay | Huawei Munich Research Center and City, University of London | de.linkedin.com/in/subhajitbandopadhyay |
| 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 |
| Katalin | Bimbo | University of Alberta | www.ualberta.ca/~bimbo |
| Frédéric | Blanqui | INRIA | rewriting.gforge.inria.fr/ |
| Pietro | Brocci | Scuola Normale Superiore | www.sns.it/it/persona/pietro-brocci |
| Paola | Bruscoli | University of Bath | www.cs.bath.ac.uk/pb/ |
