20. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
8. - 9. Februar 2017, Haus der Wissenschaft, Bremen
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
