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



Der MBMV 2018 findet in T├╝bingen statt.

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