BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:5492-4419@fg-rss-verify.gi.de
CLASS: PUBLIC
SUMMARY:Methoden und Beschreibungssprachen zur Modellierung und Verifikatio
 n von Schaltungen und Systemen
DESCRIPTION:>\n\nDer 26. Workshop der GMM, ITG, und GI-Fachgruppen FG3 und 
 FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation v
 on Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und
  aktuellen Fragen auf dem Gebiet der Modellierung.\n\nDiskussionsbeiträge z
 u folgenden Themen sind im Blickpunkt:\n\n 	Formale, semi-formale und ander
 e Mittel zur Spezifikation und Modellierung 	Standards und Erweiterungen vo
 n Modellierungssprachen für Hardware oder HW/SW-Systeme 	Modelle und Method
 en für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch
 , HW/SW 	Verhaltensmodellierung, KI-basierte Modelle 	Modellbasierte Entwic
 klung 	Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifik
 ationen 	Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) 	Schalt
 ungen und Systeme in sicherheitsrelevanten Produkten 	Verifikation nichtfun
 ktionaler Eigenschaften 	Simulationsbasierte Verifikation und Validierung 	
 Digitalisierung der Entwicklung, z.B. durch Machine Learning oder Datenanal
 yse \n\nDie Betrachtung weiterer Aspekte im Bereich Modellierung und Verifi
 kation ist im Sinne des Workshops.\n\n 
LOCATION:Universität Freiburg
DTSTAMP:20230128T104714Z
DTSTART:20230323T080000Z
DTEND:20230324T140000Z
END:VEVENT
END:VCALENDAR