BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:8247-409@50jahre.gi.de
CLASS: PUBLIC
SUMMARY:International Conference on Reliable  Software Technologies
DESCRIPTION:\n\nDie 31. Ada-Europe International Conference on Reliable Sof
 tware Technologies (AEiC 2027) findet vom 8. bis 11. Juni 2027 in Berlin, D
 eutschland statt. Sie gilt als führendes internationales Forum für Anbieter
 , Praktiker und Forscher im Bereich zuverlässiger Softwaretechnologien.\n\n
 \n\nTermine (Deadlines 2027)\n\n• 25. Januar 2027: Einreichungsfrist für Be
 iträge im Journal Track\n\n• 8. Februar 2027: Einreichungsfrist für Regular
  Track, Industrial Track sowie Vorschläge für Tutorials und Workshops\n\n• 
 15. März 2027: Erste Benachrichtigungsrunde für Journal-Beiträge & finale Z
 usage für alle anderen Einreichungen\n\n• 22. März 2027: Einreichungsfrist 
 für Work-in-Progress-Beiträge\n\n• 5. April 2027: Benachrichtigung für Work
 -in-Progress-Beiträge\n\n\n\nThemenschwerpunkte\n\nDie Konferenz deckt die 
 Theorie und Praxis des Entwurfs, der Entwicklung und der Wartung langlebige
 r, qualitativ hochwertiger Softwaresysteme ab. Zu den Kernbereichen gehören
 :\n\n• Formale Methoden: Spezifikation, Verifikation und modellbasierte Ent
 wicklung sicherheitskritischer Systeme.\n\n• KI für sicherheitskritische Sy
 steme: Code- und Testgenerierung mittels KI, Programmanalyse sowie robuste 
 und verantwortungsvolle KI.\n\n• Ada-Technologien: Compiler-Fragen, Runtime
 s, SPARK sowie Praxisberichte zu den Sprachfeatures von Ada 2012/2022.\n\n•
  Anwendungsdomänen: Luft- und Raumfahrt, Robotik, Automatisierung, Medizint
 echnik und Transportwesen.
LOCATION:Holiday Inn Berlin - City West (Rohrdamm 80, 13629 Berlin)
DTSTAMP:20261001T084036Z
DTSTART:20270608T060000Z
DTEND:20270611T150000Z
END:VEVENT
END:VCALENDAR