Symbolic Computation and Satisfiability Checking

• John Abbott (Universität Kassel, DE) [dblp]
• Erika Abraham (RWTH Aachen, DE) [dblp]
• Bernd Becker (Universität Freiburg, DE) [dblp]
• Martin Bromberger (MPI für Informatik – Saarbrücken, DE) [dblp]
• Christopher W. Brown (U.S. Naval Academy – Annapolis, US) [dblp]
• Shaowei Cai (Chinese Academy of Sciences – Beijing, CN) [dblp]
• Florian Corzilius (RWTH Aachen, DE) [dblp]
• James H. Davenport (University of Bath, GB) [dblp]
• Pascal Fontaine (LORIA – Nancy, FR) [dblp]
• Stephen Forrest (Maplesoft Europe GmbH, DE) [dblp]
• Jürgen Gerhard (Maplesoft – Waterloo, CA) [dblp]
• Maximilian Jaroschek (MPI für Informatik – Saarbrücken, DE) [dblp]
• Dejan Jovanovic (SRI – Menlo Park, US) [dblp]
• Tim A. King (Google Inc. – Mountain View, US) [dblp]
• Konstantin Korovin (University of Manchester, GB) [dblp]
• Marek Kosta (MPI für Informatik – Saarbrücken, DE) [dblp]
• Laura Kovács (Chalmers UT – Göteborg, SE) [dblp]
• Gereon Kremer (RWTH Aachen, DE) [dblp]
• Wolfgang Küchlin (Universität Tübingen, DE) [dblp]
• Viktor Levandovskyy (RWTH Aachen, DE) [dblp]
• Klaus Meer (BTU Cottbus, DE) [dblp]
• David Monniaux (VERIMAG – Grenoble, FR) [dblp]
• Chenqi Mou (Beihang University – Beijing, CN) [dblp]
• Mizuhito Ogawa (JAIST – Ishikawa, JP) [dblp]
• Andrew Joseph Reynolds (EPFL – Lausanne, CH) [dblp]
• Yosuke Sato (Tokyo University of Science, JP) [dblp]
• Karsten Scheibler (Universität Freiburg, DE) [dblp]
• Tobias Schubert (Universität Freiburg, DE) [dblp]
• Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) [dblp]
• Thomas Sturm (MPI für Informatik – Saarbrücken, DE) [dblp]
• Laurent Voisin (SYSTEREL Aix en Provence, FR) [dblp]
• Christoph M. Wintersteiger (Microsoft Research UK – Cambridge, GB) [dblp]
• Patrick Wischnewski (Logic4Business – Saarbrücken, DE) [dblp]
• Kazuhiro Yokoyama (Rikkyo University – Tokyo, JP) [dblp]

In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner