| 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 |
| 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 |
| BTC Embedded Systems AG | (contact Tom Bienmueller, Toni Tiege) | https://www.btc-es.de/index.php?lang= |
| 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/~cche |
| ClearSy System Engineering | Contact: David DĂ©harbe, FR | http://www.clearsy.com/en |
| Madalina Erascu | West University TimiĹoara, RO | http://staff.ieat.ro/~merasc |
| 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 |
| Patrizia Gianni | Universit\`a degli Studi di Pisa, IT | http://www.dm.unipi.it/~gianni |
| Hoon Hong | North Carolina State University, US | http://www4.ncsu.edu/~hong |
| 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 |
| Laura Kov\'acs | Chalmers UT Gothenburg, SE | http://www.cse.chalmers.se/~laurako |
| Logic4Business (PROSTEP Group) | Contact: Patrick Wischnewski, DE | http://www.logic4business.com |
| 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 |
| 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 |
| 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 |
| Ofer Strichman | Technion, IL | http://ie.technion.ac.il/Home/Users/ofers.phtml |
| Adam Strzebonski | Wolfram Research, US | http://members.wolfram.com/adams |
| Systerel France | Contact: Laurent Voisin, FR | http://www.systerel.fr/en |
| Cesare Tinelli | University of Iowa, US | http://homepage.cs.uiowa.edu/~tinelli |
| Ashish Tiwari | SRI, US | http://www.csl.sri.com/users/tiwari |
| Dongming Wang | Beihang University, CN | http://home.cc4cm.org/people/wang |
| Christoph Wintersteiger | Microsoft Research, UK | http://research.microsoft.com/en-us/people/cwinter |