posted by organizer: wimmer || 6405 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 2, 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

KONVENS 2022   Konferenz zur Verarbeitung natürlicher Sprache/Conference on Natural Language Processing
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Gam-R 2022   5th International Workshop Gam-R - Gamification Reloaded in conjunction with ACM In-Cooperation Mensch und Computer conference (MuC 2022)
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
KI-KMU 2022   3. Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen auf der INFORMATIK 2022
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
Doktorandenkolloquium Villa Vigoni 2022   Krisen, Jugend und die Kritik am Erwachsensein - Crisi, giovinezza e critica all'adultità
FM 2023   Formal Methods
LiveCom-LAB 2022   LiveCom-LAB 2022 - Game Changing: Live-Kommunikation in der Digitalen Realität
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies