19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV)

• Dr. Ralf Wimmer
  Lehrstuhl für Rechnerarchitektur
  Albert-Ludwigs-Universität Freiburg
  wimmer (at) informatik.uni-freiburg.de

mit freundlicher Unterstützung von

• Bernd Becker, Uni Freiburg
• Karina Wimmer, Uni Freiburg
• Angelika Fabry-Flashar, Uni Freiburg

• Erika Ábrahám, RWTH Aachen
• Bernd Becker, Uni Freiburg
• Jens Brandt, Robert Bosch GmbH
• Oliver Bringmann, Uni Tübingen
• Manfred Dietrich, Fraunhofer IIS
• Gero Dittmann, IBM Research, Zürich
• Rolf Drechsler, Uni Bremen
• Martin Freibothe, Intel Deutschland GmbH
• Ralph Görgen, OFFIS e.V., Oldenburg
• Christoph Grimm, TU Kaiserslautern
• Christian Haubelt, Uni Rostock
• Ulrich Heinkel, TU Chemnitz
• Jörg Henkel, Karlsruhe Institute of Technology
• Christoph Jäschke, IBM Deutschland Research & Development GmbH
• Thomas Klotz, Bosch Sensortec GmbH
• Thomas Kropf, Uni Tübingen und Robert Bosch GmbH
• Wolfgang Kuntz, TU Kaiserslautern
• Gunther Lehmann, Infineon Technologies
• Wolfgang Müller, Uni Paderborn
• Jürgen Ruf, Bosch Sensortec GmbH
• Klaus Schneider, TU Kaiserslautern
• Christoph Scholl, Uni Freiburg
• Jens Schönherr, HTW Dresden
• Dominik Stoffel, TU Kaiserslautern
• Jürgen Teich, Uni Erlangen-Nürnberg
• Markus Wedler, Synopsys

• Fachbereich 6: Rechnergestützter Schaltungs- und Systementwurf (RSS) der VDE/VDI-Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (GMM),
• Fachgruppe 3: Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme (RSS-Verify) und
• Fachgruppe 4: Beschreibungssprachen und Modellierung von Schaltungen und Systemen (RSS-Model) der Gesellschaft für Informatik (GI) sowie
• Fachausschuss 8.2: Rechnergestützter Schaltungs- und Systementwurf der Informationstechnischen Gesellschaft im VDE (ITG).