20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
Am 8. und 9. Februar 2017 veranstalten die Universität Bremen und der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungsbereichs für Künstliche Intelligenz (DFKI) den 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)“ im Haus der Wissenschaft in Bremen.
Um die Korrektheit, Robustheit und Zuverlässigkeit heutiger hochkomplexer Schaltungen und Systeme zu gewährleisten, müssen kontinuierlich neue, automatisierte und intelligente Testverfahren sowie Methoden der Qualitätssicherung entworfen werden. Dies ist besonders in sicherheitskritischen Anwendungsfeldern relevant. Der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, der durch die Gesellschaft für Informatik (GI), die Informationstechnische Gesellschaft im VDE (ITG) und die VDE/VDI-Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (GMM) getragen wird, bietet Wissenschaftlerinnen und Wissenschaftlern ein Diskussionsforum für neue Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme. Insbesondere wird der Kontakt zwischen Universitäten, Forschungseinrichtungen und Industrie gefördert und ein gegenseitiger Gedankenaustausch angeregt.
Neben Präsentationen von wissenschaftlichen Beiträgen zu diesen Themen, umfasst das Workshop-Programm auch Vorträge eingeladener Vertreter aus Industrie und Wissenschaft.
Weitere Informationen zum Workshop-Programm unter:
http://www.informatik.uni-bremen.de/mbmv2017/programm.php
Ansprechpartner:
Prof. Dr. Rolf Drechsler
Tel.: +49 421 218 63932
E-Mail: rolf.drechsler@dfki.de
Dr. Daniel Große
Tel.: +49 421 218 63935
E-Mail: daniel.grosse@dfki.de
Breaking News
-
Monday, 14 Sep 2015TRANSPORTALE: Future Lab IT and Logistics
-
Wednesday, 9 Sep 2015Internationale Summer School über cyber-physische Systeme tagt in Bremen
-
Tuesday, 8 Sep 2015Prof. Dr. Gesche Joost besucht Cyber-Physical Systems
-
Thursday, 23 Jul 2015RoboCup 2015: Team B-Human wird Vizeweltmeister und holt drei Trophäen nach Bremen
-
Monday, 20 Jul 2015Anpfiff zur RoboCup-Weltmeisterschaft in China – Viermaliger Weltmeister B-Human mit dabei
