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

MBMV2014

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

Willkommen

Der 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) wird vom deutschen IBM Forschungs- und Entwicklungszentrum ausgerichtet und findet in den dortigen Auditorien statt.

IBM Research and Development Labor in Böblingen

Alle Daten auf einen Blick

  • 02. November 2013: Anmeldung der Beiträge zur Gutachterwahl
    (Titel und Zusammenfassung)
  • 11. November 2013: Einreichung der Beiträge zur Begutachtung
  • 12. Dezember 2013: Mitteilung der Begutachtungsergebnisse
  • 14. Februar 2014: Ende der vergünstigten Anmeldung
  • 10. - 12. März 2014: Tagung in Böblingen


 

Jetzt anmelden und mitmachen!

Melden Sie sich bis zum 14. Februar zu vergünstigten Konditionen an.

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


Jürgen Ruf
Dirk Allmendinger