30. WORKSHOP METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN (MBMV 2027)
Der 30. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2027) findet vom 02.-03.03.2027 im Heinz Nixdorf Museumsforum in Paderborn statt.
Der Workshop wird von der Fachgruppe Schaltungstechnik am Heinz Nixdorf Institut in Kooperation mit dem VDE organisiert.
Termine/Deadlines
Einreichung Abstract: 05.01.27
Einreichung Full Paper: 09.01.27
Notification of Acceptance: 01.02.27
Camera Ready Paper: 19.02.27
Conference Anmeldung: 20.02.27
MBMV 2027: 02.03.-03.03.27
Call for Paper
ist in Vorbereitung.
Die Tagung findet im Heinz Nixdorf MuseumsForum (HNF) Fürstenallee 7, 33102 Paderborn statt.
Nähere Informationen zur Anreise finden Sie auf der HNF-Webseite.
Es gibt eine regelmäßige Busverbindung von der Innenstadt und vom Bahnhof mit den Buslinien 9 und 14 zum Tagungsort.
Das Welcome Hotel (Paderborn, Fürstenweg 7) ist das nächstgelegende Hotel zum Tagungsort. Es befindet sich ca. 15 Minuten zu Fuß bzw. zwei Bushaltestellen vom Tagungsort entfernt. Auf telefonische Anfrage beim Hotel kann unter dem Stichwort “Universität Paderborn" das Hotel einen Rabatt gewähren. Hotels in der Innenstadt sind gut mit den regelmäßigen Buslinien zu erreichen (ca. 30 Minuten Fußweg).
Momentan noch nicht verfügbar.
Momentan noch nicht verfügbar.
Momentan keine Informationen verfügbar.