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 Mller, Heinz Nixdorf Institut/Uni Paderborn
  • Carna Radojicic, TU Kaiserslautern
  • Jrgen 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