November 15 – 20 , 2015, Dagstuhl Seminar 15471
Last update: March 31 2016
Symbolic Computation and Satisfiability Checking
Participants
- 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