15. – 20. November 2015, Dagstuhl Seminar 15471
Letzte Aktualisierung: 31. März 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]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner