ContactAffiliation and CountryWeb link
Clark BarrettNew York University, UShttp://cs.nyu.edu/~barrett
Bernd BeckerAlbert-Ludwigs-University, Freiburg, DEhttp://www2.informatik.uni-freiburg.de/~becker
Tom BienmüllerBTC Embedded Systems AGhttps://www.btc-es.de/index.php?lang=
Francisco BotanaUniversity of Vigo at Pontevedra, EShttp://fbotana.webs.uvigo.es
Christopher W. BrownU.S. Naval Academy Annapolis, UShttp://www.usna.edu/Users/cs/wcbrown
David CarlisleNAG Ltd and MathML WG W3C, UKhttp://www.nag.co.uk, http://www.w3.org/Math
Changbo ChenChinese Academy of Sciences, CNhttp://www.orcca.on.ca/~cchen
David DéharbeClearSy System Engineering , FRhttp://www.clearsy.com/en
Madalina ErascuWest University Timișoara, ROhttp://staff.ieat.ro/~merascu
Jean-Charles FaugèreLIP6, Université Paris 6, FRhttp://www-polsys.lip6.fr/~jcf
Martin FränzleUniversity Oldenburg, DEhttp://www.uni-oldenburg.de/informatik/hs/mitarbeiterinnen-und-mitarbeiter/prof-dr-martin-fraenzle/
Vijay GaneshUniversity of Waterloo, CAhttps://ece.uwaterloo.ca/~vganesh
Xiao-Shan GaoKey Laboratory of Mathematics Mechanisation, Beijing, CNhttp://www.mmrc.iss.ac.cn/~xgao/
Patrizia GianniUniversità degli Studi di Pisa, IThttp://www.dm.unipi.it/~gianni
Marijn HeuleUniversity of Texas, Austin, UShttp://www.cs.utexas.edu/~marijn/
Hoon HongNorth Carolina State University, UShttp://www4.ncsu.edu/~hong
Jan HoracekUniversity of Passau, DEJan Horacek
Gabriel IstrateWest University Timișoara, ROhttp://www.math.uvt.ro/personal/gabriel.istrate
Deepak KapurUniversity of New Mexico, UShttp://www.cs.unm.edu/~kapur
Konstantin KorovinThe University of Manchester, UKhttp://www.cs.man.ac.uk/~korovink
Marek KoštaSlovak Academy of Scienceshttps://www.mpi-inf.mpg.de/departments/automation-of-logic/people/marek-kosta/
Laura KovácsChalmers UT Gothenburg, SEhttp://www.cse.chalmers.se/~laurako
Martin KreuzerUniversity of Passau, DEhttp://staff.fim.uni-passau.de/kreuzer/
Alexei LisitsaUniversity of Liverpool, UKhttps://cgi.csc.liv.ac.uk/~alexei/
Ryan McCleearyGrand View University, UShttp://homepage.cs.uiowa.edu/~rmccleeary/
David MonniauxUniversité Grenoble-Alpes, FRhttp://www-verimag.imag.fr/~monniaux/
Marc Moreno MazaUniversity of Western Ontario, CAhttp://www.csd.uwo.ca/~moreno
Antonio MontesUniversitat Politècnica de Catalunya (UPC), EShttp://www-ma2.upc.edu/montes
Georg MoserUniversity of Innsbruck, AThttp://cl-informatik.uibk.ac.at/users/georg
Leonardo de MouraMicrosoft Corporation, UShttp://leodemoura.github.io
Mizuhito OgawaJapan Advanced Institute of Science and Technology, JPhttp://www.jaist.ac.jp/~mizuhito
Grant Olney PassmoreAesthetic Integration, UKhttp://www.aestheticintegration.com/
Lawrence PaulsonUniversity of Cambridge, UKhttp://www.cl.cam.ac.uk/~lp15
André PlatzerCarnegie Mellon Universityhttp://www.cs.cmu.edu/~aplatzer/
Stefan RatschanAcademy of Sciences of the Czech Republic, CZhttp://www2.cs.cas.cz/~ratschan
Tomas RecioUniversidad de Cantabria, EShttp://recio.tk
Andrew ReynoldsUniversity of Iowa, UShttp://homepage.cs.uiowa.edu/~ajreynol/
Lorenzo RobbianoUniversità degli Studi di Genova, IThttp://www.dima.unige.it/~robbiano/
Philipp RümmerUppsala University, SEhttp://www.philipp.ruemmer.org
Florian SchandaAltran Ltd. and SPARK team, UKhttp://www.altran.co.uk, http://spark-2014.org
Roberto SebastianiUniversity of Trento, IThttp://disi.unitn.it/~rseba
Julian StephensMJC2 Limitedhttps://uk.linkedin.com/in/julianstephens
Ofer StrichmanTechnion, ILhttp://ie.technion.ac.il/Home/Users/ofers.phtml
Adam StrzebonskiWolfram Research, UShttp://members.wolfram.com/adams
Tino TeigeBTC Embedded Systems AGhttps://www.btc-es.de/index.php?lang=
Cesare TinelliUniversity of Iowa, UShttp://homepage.cs.uiowa.edu/~tinelli
Ashish TiwariSRI, UShttp://www.csl.sri.com/users/tiwari
Elias TsigaridasUniversité Paris VI, FRhttp://www-polsys.lip6.fr/~elias/
Laurent VoisinSysterel France, FRhttp://www.systerel.fr/en
Dongming WangBeihang University, CNhttp://home.cc4cm.org/people/wang
Christoph WintersteigerMicrosoft Research, UKhttp://research.microsoft.com/en-us/people/cwinter
Andreas WeberUniversity of Bonn, DEhttp://cg.cs.uni-bonn.de/en/people/prof-dr-andreas-weber/
Patrick WischnewskiLogic4Business (PROSTEP Group), DEhttp://www.logic4business.com