19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV)
1. & 2. März 2016, Albert-Ludwigs-Universität Freiburg im Breisgau
Home
Call for Papers
Anmeldung
Austragungsort
Programm
Organisation
Copyright: Michael Spiegelhalter
Neuigkeiten
Vorläufiges Programm ist online.
Reduzierte Anmeldegebühr noch bis 31.01.2016.
Prof. Dr. Joost-Pieter Katoen
(RWTH Aachen) und
Dr. Tino Teige
(BTC Embedded Systems AG, Oldenburg) werden eingeladene Vorträge beim MBMV'16 halten.
Anmeldung zum Workshop ist geöffnet.
