AEiC2027: International Conference on Reliable Software Technologies
Veranstaltungsort
Holiday Inn Berlin - City West (Rohrdamm 80, 13629 Berlin)Berlin, Deutschland
Beschreibung
Die 31. Ada-Europe International Conference on Reliable Software Technologies (AEiC 2027) findet vom 8. bis 11. Juni 2027 in Berlin, Deutschland statt. Sie gilt als führendes internationales Forum für Anbieter, Praktiker und Forscher im Bereich zuverlässiger Softwaretechnologien.
Termine (Deadlines 2027)
• 25. Januar 2027: Einreichungsfrist für Beiträge im Journal Track
• 8. Februar 2027: Einreichungsfrist für Regular Track, Industrial Track sowie Vorschläge für Tutorials und Workshops
• 15. März 2027: Erste Benachrichtigungsrunde für Journal-Beiträge & finale Zusage für alle anderen Einreichungen
• 22. März 2027: Einreichungsfrist für Work-in-Progress-Beiträge
• 5. April 2027: Benachrichtigung für Work-in-Progress-Beiträge
Themenschwerpunkte
Die Konferenz deckt die Theorie und Praxis des Entwurfs, der Entwicklung und der Wartung langlebiger, qualitativ hochwertiger Softwaresysteme ab. Zu den Kernbereichen gehören:
• Formale Methoden: Spezifikation, Verifikation und modellbasierte Entwicklung sicherheitskritischer Systeme.
• KI für sicherheitskritische Systeme: Code- und Testgenerierung mittels KI, Programmanalyse sowie robuste und verantwortungsvolle KI.
• Ada-Technologien: Compiler-Fragen, Runtimes, SPARK sowie Praxisberichte zu den Sprachfeatures von Ada 2012/2022.
• Anwendungsdomänen: Luft- und Raumfahrt, Robotik, Automatisierung, Medizintechnik und Transportwesen.