Deutsch Intern
29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026)

Organisation

Workshop Chair

Prof. Dr.-Ing. Matthias Jung

Univ.-Professor
Institut für Informatik
Am Hubland
97074 Würzburg
Building: M2
Room: BH012

Workshop Co-Chair

Prof. Dr.-Ing. Daniel Müller-Gritschneder

Univ.-Professor
TU Wien Informatics
Treitlstraße 3
AT-1040 Wien

Finance Chair

Dr.-Ing. Ronald Schnabel

VDE e.V.
GMM Geschäftsstelle

Merianstr. 28
63069 Offenbach am Main
 

Telefon:      +49 69 6308-227
E-Mail:        gmm@vde.com

Programmkommitee

  • Christian Bartsch, LUBIS EDA
  • Oliver Bringmann, Universität Tübingen
  • Keerthi Devarajegowda, Siemens EDA
  • Rolf Drechsler, Universität Bremen
  • Wolfgang Ecker, Infineon Technologies AG
  • Michael Glass, Universität Ulm
  • Christoph Grimm, RPTU Kaiserslautern-Landau
  • Daniel Große, JKU Linz
  • Florian Grützmacher, Universität Rostock
  • Christian Haubelt, Universität Rostock
  • Matthias Jung, Universität Würzburg
  • Thomas Klotz, Bosch Sensortec GmbH
  • Wolfgang Kunz, RPTU Kaiserslautern-Landau
  • Wolfgang Müller, Universität Paderborn
  • Daniel Müller-Gritschneder, TU Wien
  • Frank Oppenheimer, OFFIS e.V.
  • Martin Radetzki, Universität Stuttgart
  • Jürgen Ruf, Bosch Sensortec GmbH
  • Klaus Schneider, RPTU Kaiserslautern-Landau
  • Christoph Scholl, Universität Freiburg
  • Jens Schönherr, HTW Dresden
  • Frank Slomka, Universität Ulm
  • Jürgen Teich, FAU Erlangen-Nürnberg
  • Shrinidhi Udupi, IBM
  • Markus Wedler, Synopsys GmbH
  • Ralf Wimmer, Altair Engineering GmbH