20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

8. - 9. Februar 2017, Haus der Wissenschaft, Bremen

HOME | PROGRAMM | ANMELDUNG | EINREICHUNG | TAGUNGSORT | PROGRAMMKOMITEE | KONTAKT


Programmkomitee

  • Erika Ábrahám, RWTH Aachen
  • Bernd Becker, Uni Freiburg
  • Jens Brandt, Hochschule Niederrhein
  • Oliver Bringmann, Universität Tübingen
  • Raik Brinkmann, OneSpin Solutions GmbH
  • Gero Dittmann, IBM Research, Zürich
  • Wolfgang Ecker, Infineon Technologies AG
  • Karsten Einwich, COSEDA Technologies GmbH
  • Maher Fakih, OFFIS e.V.
  • Martin Freibothe, Intel Deutschland GmbH
  • Christian Haubelt, Uni Rostock
  • Ulrich Heinkel, TU Chemnitz
  • Jörg Henkel, Karlsruhe Institute of Technology
  • Christoph Jäschke, IBM Research
  • Thomas Klotz, Bosch Sensortec GmbH
  • Thomas Kropf, Robert Bosch GmbH/Uni Tübingen
  • Wolfgang Kunz, TU Kaiserslautern
  • Wolfgang Müller, Heinz Nixdorf Institut/Uni Paderborn
  • Carna Radojicic, TU Kaiserslautern
  • Jürgen Ruf, Bosch Sensortec GmbH
  • Klaus Schneider, TU Kaiserslautern
  • Christoph Scholl, Uni Freiburg
  • Jens Schönherr, HTW Dresden
  • Jürgen Teich, Uni Erlangen-Nürnberg
  • Markus Wedler, Synopsys GmbH
  • Robert Wille, JKU Linz


« zurück