Der 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025) wird vom Institut für Angewandte Mikroelektronik und Datentechnik der Universität Rostock und dem VDE - Verband der Elektrotechnik Elektronik Informationstechnik e.V. ausgerichtet. Er findet in den Veranstaltungsräumen des Leibniz-Institut für Ostseeforschung Warnemünde (IOW) statt.

• VDE ITG Website MBMV 2025

• Das Programm ist nun online
• Der 29. MBMV-Workshop findet 2026 an der Universität Würzburg statt.

• MBMV2024
• MBMV2023 
• MBMV@DBLP