MBMV2014. 10.-12. März 2014. IBM Deutschland Forschung & Entwicklung. Jetzt anmelden und mitmachen!

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:

Programmkomitee

 

Termin und Lokation

10.-12. März 2014

IBM Deutschland Forschung & Entwicklung
Schönaicher Straße 220
71032 Böblingen

Historie

Gesellschaft für Informatik
Fachgruppe Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme

Ansprechpartner

Dirk Allmendinger

Jürgen Ruf