posted by organizer: wimmer || 4740 views || tracked by 5 users: [display]

MBMV 2016 : 19. 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://ira.informatik.uni-freiburg.de/mbmv2016/
 
When Mar 1, 2016 - Mar 3, 2016
Where Freiburg im Breisgau, Germany
Submission Deadline Nov 12, 2015
Notification Due Dec 23, 2015
Final Version Due Jan 31, 2016
Categories    verification   formal methods   description languages   hardware
 

Call For Papers

CALL FOR PAPERS
---------------

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

(MBMV 2016)


Freiburg im Breisgau

1.-3. März 2016


Themenbereiche
---------------

Der Workshop soll ein Forum bilden, um neue Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Modellierung und Verifikation sowie der Be­schreibungssprachen 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 Nach­wuchswissenschaftler sind herzlich eingeladen, ihre Beiträge einzureichen.
Inhaltlich konzentriert sich der Workshop auf folgende Themengebiete:

* 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 Validierung


Einreichung
-----------

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, in der ggf. die Originalpublikation referenziert ist, über

https://easychair.org/conferences/?conf=mbmv2016

einzureichen. Das Programm­komitee begutachtet und kommentiert alle Einreichung­­en. 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 Vorlagen, die Sie auf der Webseite des Workshops finden:

http://ira.informatik.uni-freiburg.de/mbmv2016/

Die Sprache des Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch willkommen.


Termine
-------

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–03.03.2016


Organisation
------------
Ralf Wimmer, Uni Freiburg


mit freundlicher Unterstützung von:

Bernd Becker, Uni Freiburg
Angelika Fabry-Flashar, Uni Freiburg


Programmkomitee
---------------

Erika Ábrahám, RWTH Aachen
Bernd Becker, Uni Freiburg
Jens Brandt, Robert Bosch GmbH
Oliver Bringmann, Uni Tübingen
Manfred Dietrich, Fraunhofer IIS
Gero Dittmann, IBM Research
Rolf Drechsler, Uni Bremen
Martin Freibothe, Intel Deutschland GmbH
Ralph Görgen, OFFIS e.V.
Christoph Grimm, TU Kaiserslautern
Christian Haubelt, Uni Rostock
Ulrich Heinkel, TU Chemnitz
Jörg Henkel, Karlsruhe Institute of Technology
Christoph Jäschke, IBM Research
Thomas Klotz, Bosch Sensortec GmbH
Thomas Kropf, Robert Bosch GmbH / Uni Tübingen
Wolfgang Kunz, TU Kaiserslautern
Gunther Lehmann, Infineon Technologies AG
Wolfgang Müller, Heinz-Nixdorf-Institut / Uni Paderborn
Jürgen Ruf, Bosch Sensortec GmbH
Klaus Schneider, TU Kaiserslautern
Jens Schönherr, HTW Dresden
Christoph Scholl, Uni Freiburg
Dominik Stoffel, TU Kaiserslautern
Jürgen Teich, Uni Erlangen-Nürnberg
Markus Wedler, Synopsys, Inc.


Related Resources

EMoWI 2020   Ethik und Moral in der Wirtschaftsinformatik / Ethics and Morality in Business Informatics
CAV 2020   Computer Aided Verification
IT-Tage 2019   IT-Konferenz für Softwareentwicklung, Architektur und Management
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
ICAI 2020   11th International Conference on Applied Informatics
IJCAR 2020   10th International Joint Conference on Automated Reasoning
LiVe 2020   4th Workshop on Learning in Verification
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
CREST 2020   5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology