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

Programm

Der Workshop findet im Auditorium des IBM Research and Development Labors statt.
Der Tagungsempfang befindet sich im Foyer des Empfangsgebäudes, direkt vor dem Saal.

Montag, 10.03.2014

12:00 - 13:00

  

Anmeldung zum Workshop, Mittagsimbiss

13:00 - 13:30

 

Eröffnung des Workshops

13:30 - 15:00

 

Session 1: Formale Verifikation I

   

15:00 - 15:30

  

Kaffeepause

15:30 - 16:30

 

Session 2: Verifikation hardwarenaher Systeme

   

16:30 - 16:45

Kaffeepause

16:45 - 17:45

Session 3: Formale und semiformale Spezifikation und Modellierung

17:45 - 18:00

 

Pause

18:00

 

Treffen der Fachgruppen


Dienstag, 11.03.2014

09:30 - 10:30

 

Eingeladener Vortrag

   

10:30 - 11:00

 

Pause

11:00 - 12:30

 

Session 4: Entwurfsmethodik I

   

12:30 - 13:30

Mittagspause

13:30 - 14:05

 

Postersession

   

14:05 - 14:45

 

Posterausstellung und Kaffeepause

14:45 - 16:15

 

Session 6: Formale Verifikation II

   

17:00

 

Social Event / Abendprogramm


Mittwoch 12.03.2013

09:00 - 10:00

 

Eingeladener Vortrag

   

10:00 - 10:30

 

Pause

10:30 - 12:00

 

Session 7: Entwurfsmethodik II

   

12:00 - 13:00

 

Verabschiedung mit Imbiss

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

Dirk Allmendinger


Jürgen Ruf