29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2026

Der 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026) 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 vom 17.03.2026 - 18.03.2026 an der Julius-Maximilians-Universität Würzburg statt.

Deadline verlängert: Reichen Sie bis zum 26.01.2026 Ihr Abstract ein!

Der 29. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung.

Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt: 

• Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
• Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme
• Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW
• Verhaltensmodellierung, KI-basierte Modelle
• Modellbasierte Entwicklung
• Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen
• Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
• Schaltungen und Systeme in sicherheitsrelevanten Produkten
• Verifikation nichtfunktionaler Eigenschaften
• Simulationsbasierte Verifikation und Validierung
• Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse

Die Betrachtung weiterer Aspekte im Bereich Modellierung und Verifikation ist im Sinne des Workshops.

Deadlines:
Abstract Deadline:            26.01.2026
Full Paper Deadline          30.01.2026
Notification:                       23.02.2026
Camera Ready Deadline:  01.03.2026
Registrierungsfrist:           02.03.2026