Deutsch Intern
  • MBMV 202629. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
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

Programmkommitee

  • 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
  • Christoph Jäschke, IBM Research
  • 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, Universität Erlangen-Nürnberg
  • Markus Wedler, Synopsys GmbH
  • Robert Wille, TU München
  • Ralf Wimmer, Altair Engineering GmbH