20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

8. - 9. Februar 2017, Haus der Wissenschaft, Bremen

HOME | PROGRAMM | ANMELDUNG | EINREICHUNG | TAGUNGSORT | PROGRAMMKOMITEE | KONTAKT



Das Programm des MBMV ist online.

Die Anmeldung zum MBMV ist ab sofort ebenfalls möglich.

Call for Papers

Sehen Sie hier den Call for Papers zum Download. Wir freuen uns über Ihre Einreichung und sehen uns im Februrar in Bremen um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme zu diskutieren.

Termine

Einreichungsfrist: 10.10.2016 (verlängert)
Benachrichtigung der Autoren: 23.11.2016
Einreichung der finalen Beiträge: 07.12.2016
Workshop: 08.02.2017 - 09.02.2017

Organisation

General Chair
Prof. Dr. Rolf Drechsler
Universität Bremen | DFKI Bremen
E-Mail senden

Program Chair
Dr. Daniel Große
Universität Bremen | DFKI Bremen
E-Mail senden