Call for Papers
MBMV2023
Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen

23./24. März 2023, Technische Fakultät, Universität Freiburg
http://cca.informatik.uni-freiburg.de/mbmv23

Der 26. Workshop der GMM, ITG, und GI-Fachgruppen FG3 und FG4 "Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen
auf dem Gebiet der Modellierung.

Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:

- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
- Standards und Erweiterungen von Modellierungssprachen
für Hardware oder HW/SW-Systeme
- Modelle und Methoden für die domänenübergreifende Entwicklung:
analog-digital, cyber-physisch, HW/SW
- Verhaltensmodellierung, KI-basierte Modelle
- Modellbasierte Entwicklung
- Synthese und formale Synthese, Eigenschaftsverfeinerung
aus Spezifikationen
- Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
- Schaltungen und Systeme in sicherheitsrelevanten Produkten
- Verifikation nichtfunktionaler Eigenschaften
- Simulationsbasierte Verifikation und Validierung
- Digitalisierung der Entwicklung
z.B. durch Machine Learning oder Datenanalyse

Die Betrachtung weiterer Aspekte im Bereich Modellierung und Verifikation
ist im Sinne des Workshops.

## Eingeladener Vortrag
Early Co-verification of Firmware and Hardware to Speed up Development of Embedded Systems
Jörg Bormann, Siemens EDA

## Termine
Die Tagung findet am Donnerstag 23. und Freitag 24. März 2023 statt.
Die verlängerte Einreichungsfrist endet am 3. Februar 2023.

## Organisation
Veranstalter des MBMV sind GMM, ITG und GI FG3 und FG4
Armin Biere (Workshop Chair, co-PC Chair)
Daniel Große (co-PC Chair)

## Tagungsband
Der Tagungsband soll als E-Book des VDE-Verlages erscheinen und ausgewählte
englischsprachige Beiträge darüber hinaus in IEEE-Xplore übernommen werden.

## Einreichungskategorien
Als Einreichungskategorien sind einerseits Wissenschaftliche Beiträge
vorgesehen, zweitens Übersichtsvorträge, und drittens Kurzvorstellungen von
Open-Source Software bzw. Benchmarks.

Wissenschaftliche Beiträge: Wissenschaftliche Beiträge (6-12 Seiten)
ermöglichen unter anderem Doktorandinnen und Doktoranden ihre Arbeit vor
Fachpublikum zur Diskussion zu stellen und angemessen zu veröffentlichen.
Diese Beiträge werden vom Programmkomitee nach Originalität und Qualität der
Darstellung begutachtet. Ausgewählte englischsprachige Beiträge dieser
Kategorie sollen in IEEE-Xplore übernommen werden.

Übersichtsvorträge: Übersichtsvorträge (1-4 Seiten) ermöglichen, die
Bekanntheit schon veröffentlichter Arbeiten zu verbessern, Kontakte zu
knüpfen oder vorläufige Arbeiten zur Diskussion zu stellen ohne dabei einen
Beitrag veröffentlichen zu müssen. Diese Übersichtsvorträge werden daher nur
als Zusammenfassung im Tagungsband, aber nicht in IEEE-Xplore aufgenommen.
Sie werden vom Programmkomitee nach zu erwartender Qualität und inhaltlicher
Relevanz und Bedeutung des zu erwartenden Vortrags begutachtet.

Open-Source Software / Benchmarks: Demos von Open-Source Software und die
Vorstellung von Benchmarks ermöglichen entsprechende Entwicklungen
vorzustellen. Weiterhin besteht die Möglichkeit diese live in einer
Demosession vorzuführen und zu diskutieren. Zu diesem Zwecke soll eine
Kurzbeschreibung (maximal 1 Seite) über das Werkzeug oder den Benchmark
eingereicht werden. Diese Beiträge werden vom Programmkomitee nach
inhaltlicher Relevanz begutachtet.

## Einreichung
Bitte reichen Sie Ihren Beitrag über EasyChair unter
https://easychair.org/my/conference?conf=mbmv23 im PDF-Format ein. Nutzen
Sie bitte auch bei der Erstellung Ihres Papers die Formatvorlage des
VDE-Verlags. Die Sprache des Workshops ist Deutsch. Beiträge in englischer
Sprache sind willkommen.

## Programm Komitee
Armin Biere, Universität Freiburg
Jens Brandt, Hochschule Niederrhein
Oliver Bringmann, Universität Tübingen
Rolf Drechsler, Universität Bremen
Wolfgang Ecker, Infineon Technologies AG
Michael Glass, Universität Ulm
Christoph Grimm, TU Kaiserslautern
Daniel Große, JKU Linz
Christian Haubelt, Universität Rostock
Christoph Jäschke, IBM Research
Daniela Kaufmann, TU Wien
Thomas Klotz, Bosch Sensortec
Wolfgang Kunz, TU Kaiserslautern
Wolfgang Müller, Universität Paderborn
Daniel Müller-Gritschneder, TU München
Frank Oppenheimer, OFFIS
Martin Radetzki, Universität Stuttgart
Jürgen Ruf, Bosch Sensortec GmbH
Klaus Schneider, TU Kaiserslautern
Christoph Scholl, Universität Freiburg
Jens Schönherr, HTW Dresden
Frank Slomka, Universität Ulm
Jürgen Teich, Universität Erlangen-Nürnberg
Markus Wedler, Synopsys GmbH
Robert Wille, TU München
Ralf Wimmer, Altair Engineering GmbH

## Veranstaltungsort
SR 02-016/18, Geb. 101
Technische Fakultät
Universität FreiburgGeorges-Köhler-Allee, Gebäude 101
79110 Freiburg