Der 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025) wird von der Computer Engineering Gruppe am Lehrstuhl Informatik XVII der JMU Würzburg und dem VDE - Verband der Elektrotechnik Elektronik Informationstechnik e.V. ausgerichtet. Er findet im Informatikgebäude M2 an der JMU statt.
