Abgesagt: Workshop "Formalisierung von Gesetzen"
Online-Workshop - "Formalisierung von Gesetzen" der Fachgruppe "Formale Methoden und Software Engineering für sichere Systeme" (FoMSESS) - 06./07.11.2023 15 Uhr - 18:30 Uhr
Veranstaltungsort
OnlineBeschreibung
Der Workshop musste leider zunächst abgesagt werden. Wir hoffen, dass er später mit dem geplanten Inhalt stattfinden kann.