Event | When | Where | Deadline | |
FDL 2022 |
25th Forum on specification & Design Languages | |
Sep 14, 2022 - Sep 16, 2022 |
Linz (Austria) |
May 9, 2022 (May 2, 2022) |
MBMV 2023 |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
Mar 23, 2023 - Mar 24, 2023 |
University of Freiburg |
Feb 3, 2023 |
MBMV 2024 |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
Feb 14, 2024 - Feb 15, 2024 |
RPTU Kaiserslautern |
Dec 13, 2023 (Dec 6, 2023) |
|