posted by user: wimmer || 4634 views || tracked by 10 users: [display]

MBMV 2015 : 18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

FacebookTwitterLinkedInGoogle


Conference Series : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
 
Link: http://www.tu-chemnitz.de/etit/sse/mbmv2015/
 
When Mar 3, 2015 - Mar 4, 2015
Where Chemnitz, Germany
Submission Deadline Nov 2, 2014
Notification Due Dec 17, 2014
Final Version Due Feb 1, 2015
Categories    verification   formal methods   circuits   systems
 

Call For Papers

18. Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV 2015).

Der Workshop findet am 3. und 4. März 2015 im Mercure Kongress Hotel in
Chemnitz statt. Alle Termine und Informationen zum Workshop finden Sie auf der
Veranstaltungs-Website: http://www.tu-chemnitz.de/etit/sse/mbmv2015/
und im beiliegenden CfP.

Anbei die Wichtigsten Information im Überblick

## Termine
* 01. August 2014 Beginn Einreichungsphase
* 02. November 2014 Einreichung der Beiträge zur Begutachtung
* 17. Dezember 2014 Benachrichtigung der Autoren
* 25. Januar 2015 Ende der vergünstigten Anmeldung
* 01. Februar 2015 Einreichung der finalen Beiträge
* 22. Februar 2015 Ende der Anmeldefrist
* 03./04. März 2015 Durchführung der Tagung

## Themen
Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und
aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation
sowie der Beschreibungssprachen digitaler, analoger und
Mixed-Signal-Schaltungen zu diskutieren. Er soll somit ein Forum zum
Ideenaustausch sein.

Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl
praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen.
Diese sollten aus den folgenden Themengebieten kommen:
* Formale und semi-formale Spezifikation und Modellierung
* Standards und Erweiterungen von Hardware-Beschreibungssprachen
* Entwurfsmethodik
* Entwurfswiederverwendung (Reuse, IP)
* Syntheseverfahren (Behavioral, RTL)
* Codesign (analog/digital, Hardware/Software)
* Formale Synthese
* Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
* Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)
* Verifikation nichtfunktionaler Eigenschaften
* Simulationsbasierte Verifikation

## Einreichung
Die Autoren werden gebeten, ihre Beiträge im Umfang von bis zu 10 Seiten (DIN
A4, einspaltig, 12pt Times) als PDF-Datei über Easychair einzureichen. Das
Programmkomitee begutachtet und kommentiert diese im Anschluss. Angenommene
Beiträge werden in einem Tagungsband mit ISBN veröffentlicht. Die Sprache des
Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch willkommen.

Related Resources

KI-KMU 2021   KI-KMU 2021 : 2. Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises (2. Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen)
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
Gam-R 2021   Gam-R – Gamification Reloaded 4th International Workshop in Conjunction with the Mensch und Computer 2021
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
KUI 2021   19th ACM Conference Culture and Computer Science – Physical und Virtual Spaces
FM 2021   Formal Methods 2021
Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
CPSIOT 2021   2021International Conference on Cyber Physical Systems and IoT(CPSIOT 2021)
IoTE 2021   2nd International Conference on Internet of Things & Embedded Systems
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)