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
Gebäude: M2
Telefon: +49 931 31-87068

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