BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:4633-4419@fg-rss-verify.gi.de
CLASS: PUBLIC
SUMMARY:Methoden und Beschreibungssprachen zur Modellierung und Verifikatio
 n von Schaltungen und Systemen
DESCRIPTION:Der 25. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein For
 um um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modell
 ierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sin
 d gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkomm
 en.\n\nInhaltlich konzentriert sich der Workshop auf die folgenden Themenge
 biete im Kontext der Modellierung und Verifikation von Systemen:\n\n 	Forma
 le, semi-formale und andere Mittel zur Spezifikation und Modellierung 	Stan
 dards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/So
 ftware-Systeme, Modellbasierte Entwicklung 	Verhaltensmodellierung, KI-basi
 erte Modelle, Modellverfeinerung 	Modelle und Methoden für die domänenüberg
 reifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber
 /Physisch 	Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spez
 ifikationen 	Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) 	Sc
 haltungen und Systeme in sicherheitsrelevanten Produkten 	Verifikation nich
 tfunktionaler Eigenschaften 	Simulationsbasierte Verifikation und Validieru
 ng 	Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datena
 nalyse 	Special Focus Topic MBMV2022: 	 		Open Source Werkzeuge zur Modelli
 erung und Verifikation von Schaltungen und Systemen 		Benchmarks zur Verifi
 kation von Schaltungen und Systemen 	 	 
LOCATION:Hochschule Niederrein
DTSTAMP:20230128T103347Z
DTSTART:20220217T080000Z
DTEND:20220218T170000Z
END:VEVENT
END:VCALENDAR