FM 2024

FM 2024 ist das 26. Internationale Symposium zu formalen Methoden, organisiert von Formal Methods Europe (FME), einem unabhängigen Verband.Ziel ist die Förderung der Verwendung und Erforschung formaler Methoden in der Softwareentwicklung. Das FM-Symposium bringt erfolgreich Forscher und industrielle Anwender rund um Originalarbeiten, Workshops, Tutorials, Tool-Berichte, Projekte und laufende Doktorarbeiten zu Forschungs- und Industrieerfahrungen zusammen. FM 2024 ist sowohl ein Anlass zum Feiern als auch eine Plattform für leidenschaftliche Forscher und Praktiker mit unterschiedlichem Hintergrund zum Austausch von Ideen und Erfahrungen.

FM 2024 wird sich auf die Entwicklung und Anwendung formaler Methoden in einer breiten Palette von Bereichen konzentrieren, darunter vertrauenswürdige künstliche Intelligenz, Software, computergestützte Systeme, Systeme von Systemen, cyber-physische Systeme, Sicherheit, Mensch-Computer-Interaktion, Fertigung, Nachhaltigkeit, Energie, Transport, Smart Cities, Gesundheitswesen und Biologie. Wir freuen uns insbesondere über Beiträge zu Techniken, Werkzeugen und Erfahrungen in interdisziplinären Kontexten. Wir freuen uns auch über Beiträge zu Erfahrungen mit der Anwendung formaler Methoden im industriellen Umfeld sowie zur Entwicklung und Validierung formaler Methodentools.

Zu den Themen für FM 2024 gehören unter anderem:

Interdisziplinäre Formale Methoden:Demonstrieren Sie Techniken, Werkzeuge und Erfahrungen im Einsatz formaler Methoden in einem interdisziplinären Umfeld. Zu den formalen Methoden in der Praxis gehören: industrielle Anwendungen formaler Methoden, Erfahrungen mit industriellen formalen Methoden, Berichte zur Tool-Nutzung und Experimente zu anspruchsvollen Problemen. Wir ermutigen Autoren, zu erklären, wie formale Methoden Probleme lösen, Designs verbessern oder neue Erkenntnisse liefern.

Werkzeuge für formale Methoden:Fortschritte bei der automatischen Verifizierung, Modellprüfung und Prüfung formaler Methoden, Tool-Integration, Umgebungen formaler Methoden und experimentellen Validierung von Tools. Die Autoren werden ermutigt, empirisch nachzuweisen, dass das neue Tool oder die neue Umgebung den Stand der Technik voranbringt.
Formale Methoden in der Software- und Systemtechnik: Entwicklungsprozesse mit formalen Methoden, Richtlinien für den Einsatz formaler Methoden und Methodenintegration. Autoren werden ermutigt, Prozessinnovationen im Hinblick auf qualitative oder quantitative Verbesserungen zu bewerten. Darüber hinaus sind empirische Untersuchungen und Evaluationen gefragt.

Theoretische Grundlagen formaler Methoden:Alle Aspekte der Theorie im Zusammenhang mit Spezifikation, Verifizierung, Verfeinerung sowie statischer und dynamischer Analyse. Die Autoren werden ermutigt, zu erklären, wie ihre Ergebnisse mithilfe formaler Methoden oder Tools zur Lösung realer Probleme beitragen können.

Themen zu eingebetteten Systemen: FM 2024 organisiert in Zusammenarbeit mit ACM SIGBED eine Sondersitzung zu eingebetteten Systemen. Dieser Kurs konzentriert sich auf Theorien, Methoden und Werkzeuge formaler Natur, die auf eingebettete, Echtzeit- und cyber-physische Systeme angewendet werden.