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 im Informatikgebäude M2 an der JMU statt.

Aktuelles

Datum: 17.-18.03.2026

Der Call for Papers ist nun online.

Wir freuen uns Prof. Andreas Gerstlauer als Keynote Speaker begrüßen zu können!

Registrierung:

Die Anmeldung ist nun geöffnet: Registrierungslink

Deadlines:

Abstract Deadline:	1̶2̶.̶0̶1̶.̶2̶0̶2̶6̶   26.01.2026
Full Paper Deadline	1̶9̶.̶0̶1̶.̶2̶0̶2̶6̶   30.01.2026
Notification:	1̶6̶.̶0̶2̶.̶2̶0̶2̶6̶   25.02.2026
Camera Ready Deadline:	0̶1̶.̶0̶3̶.̶2̶0̶2̶6̶   04.03.2026
Registrierungsfrist:	02.03.2026