Der Workshop soll ein Forum bilden, um neue Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme zu diskutieren. Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen. Insbesondere Nachwuchswissenschaftler sind herzlich eingeladen, ihre Beiträge einzureichen.
Inhaltlich konzentriert sich der Workshop auf folgende Themengebiete:
| Einreichungsfrist: | verlängert bis zum 12.11.2015 |
| Benachrichtigung der Autoren: | 23.12.2015 |
| Einreichung der finalen Beiträge: | 31.01.2016 |
| Workshop: | 01.03.2016 & 02.03.2016 |
Eine pdf-Datei mit dem Call for Papers können Sie hier herunterladen.
Die Autoren werden gebeten, ihre bis jetzt unveröffentlichte Beiträge im Umfang von bis zu 10 Seiten (DIN A4, einspaltig, 12pt Times) oder bereits veröffentlichte Beiträge als einseitige Zusammenfassung (DIN A4, einspaltig, 12pt Times) als Pdf-Datei zusammen mit der dazugehörigen Veröffentlichung über EasyChair einzureichen. Das Programmkomitee begutachtet und kommentiert alle Einreichungen im Anschluss. Angenommene unveröffentlichte Beiträge werden komplett, bereits veröffentlichte Beiträge in Form eines extended Abstracts in einem Tagungsband mit ISBN veröffentlicht. Verwenden Sie für die Ausfertigung Ihres Beitrags die auf dieser Seite herunterladbaren Vorlage: LaTeX-Vorlage.
Die Sprache des Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch willkommen.