| Clark Barrett | New York University, US | http://cs.nyu.edu/~barrett |
| Bernd Becker | Albert-Ludwigs-University, Freiburg, DE | http://www2.informatik.uni-freiburg.de/~becker |
| Tom Bienmüller | BTC Embedded Systems AG | https://www.btc-es.de/index.php?lang= |
| Francisco Botana | University of Vigo at Pontevedra, ES | http://fbotana.webs.uvigo.es |
| Christopher W. Brown | U.S. Naval Academy Annapolis, US | http://www.usna.edu/Users/cs/wcbrown |
| David Carlisle | NAG Ltd and MathML WG W3C, UK | http://www.nag.co.uk, http://www.w3.org/Math |
| Changbo Chen | Chinese Academy of Sciences, CN | http://www.orcca.on.ca/~cchen |
| David Déharbe | ClearSy System Engineering , FR | http://www.clearsy.com/en |
| Madalina Erascu | West University Timișoara, RO | http://staff.ieat.ro/~merascu |
| Jean-Charles Faugère | LIP6, Université Paris 6, FR | http://www-polsys.lip6.fr/~jcf |
| Martin Fränzle | University Oldenburg, DE | http://www.uni-oldenburg.de/informatik/hs/mitarbeiterinnen-und-mitarbeiter/prof-dr-martin-fraenzle/ |
| Vijay Ganesh | University of Waterloo, CA | https://ece.uwaterloo.ca/~vganesh |
| Xiao-Shan Gao | Key Laboratory of Mathematics Mechanisation, Beijing, CN | http://www.mmrc.iss.ac.cn/~xgao/ |
| Patrizia Gianni | Università degli Studi di Pisa, IT | http://www.dm.unipi.it/~gianni |
| Marijn Heule | University of Texas, Austin, US | http://www.cs.utexas.edu/~marijn/ |
| Hoon Hong | North Carolina State University, US | http://www4.ncsu.edu/~hong |
| Jan Horacek | University of Passau, DE | Jan Horacek |
| Gabriel Istrate | West University Timișoara, RO | http://www.math.uvt.ro/personal/gabriel.istrate |
| Deepak Kapur | University of New Mexico, US | http://www.cs.unm.edu/~kapur |
| Konstantin Korovin | The University of Manchester, UK | http://www.cs.man.ac.uk/~korovink |
| Marek Košta | Slovak Academy of Sciences | https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/marek-kosta/ |
| Laura Kovács | Chalmers UT Gothenburg, SE | http://www.cse.chalmers.se/~laurako |
| Martin Kreuzer | University of Passau, DE | http://staff.fim.uni-passau.de/kreuzer/ |
| Alexei Lisitsa | University of Liverpool, UK | https://cgi.csc.liv.ac.uk/~alexei/ |
| Ryan McCleeary | Grand View University, US | http://homepage.cs.uiowa.edu/~rmccleeary/ |
| David Monniaux | Université Grenoble-Alpes, FR | http://www-verimag.imag.fr/~monniaux/ |
| Marc Moreno Maza | University of Western Ontario, CA | http://www.csd.uwo.ca/~moreno |
| Antonio Montes | Universitat Politècnica de Catalunya (UPC), ES | http://www-ma2.upc.edu/montes |
| Georg Moser | University of Innsbruck, AT | http://cl-informatik.uibk.ac.at/users/georg |
| Leonardo de Moura | Microsoft Corporation, US | http://leodemoura.github.io |
| Mizuhito Ogawa | Japan Advanced Institute of Science and Technology, JP | http://www.jaist.ac.jp/~mizuhito |
| Grant Olney Passmore | Aesthetic Integration, UK | http://www.aestheticintegration.com/ |
| Lawrence Paulson | University of Cambridge, UK | http://www.cl.cam.ac.uk/~lp15 |
| André Platzer | Carnegie Mellon University | http://www.cs.cmu.edu/~aplatzer/ |
| Stefan Ratschan | Academy of Sciences of the Czech Republic, CZ | http://www2.cs.cas.cz/~ratschan |
| Tomas Recio | Universidad de Cantabria, ES | http://recio.tk |
| Andrew Reynolds | University of Iowa, US | http://homepage.cs.uiowa.edu/~ajreynol/ |
| Lorenzo Robbiano | Università degli Studi di Genova, IT | http://www.dima.unige.it/~robbiano/ |
| Philipp Rümmer | Uppsala University, SE | http://www.philipp.ruemmer.org |
| Florian Schanda | Altran Ltd. and SPARK team, UK | http://www.altran.co.uk, http://spark-2014.org |
| Roberto Sebastiani | University of Trento, IT | http://disi.unitn.it/~rseba |
| Julian Stephens | MJC2 Limited | https://uk.linkedin.com/in/julianstephens |
| Ofer Strichman | Technion, IL | http://ie.technion.ac.il/Home/Users/ofers.phtml |
| Adam Strzebonski | Wolfram Research, US | http://members.wolfram.com/adams |
| Tino Teige | BTC Embedded Systems AG | https://www.btc-es.de/index.php?lang= |
| Cesare Tinelli | University of Iowa, US | http://homepage.cs.uiowa.edu/~tinelli |
| Ashish Tiwari | SRI, US | http://www.csl.sri.com/users/tiwari |
| Elias Tsigaridas | Université Paris VI, FR | http://www-polsys.lip6.fr/~elias/ |
| Laurent Voisin | Systerel France, FR | http://www.systerel.fr/en |
| Dongming Wang | Beihang University, CN | http://home.cc4cm.org/people/wang |
| Christoph Wintersteiger | Microsoft Research, UK | http://research.microsoft.com/en-us/people/cwinter |
| Andreas Weber | University of Bonn, DE | http://cg.cs.uni-bonn.de/en/people/prof-dr-andreas-weber/ |
| Patrick Wischnewski | Logic4Business (PROSTEP Group), DE | http://www.logic4business.com |