Herbsttreffen 2020 in Aachen

Das diesjährige wie immer zwei halbe Tage andauernde Herbsttreffen steht unter dem Motto:

Von sicheren Sprachen zu sicheren Systemen

Gastgeber des Herbsttreffens ist die Gruppe von Stefan Lankes an der RWTH Aachen, welche in diesem Jahr ihr 150-jähriges Jubiläum feiert.

IKT-Systeme dringen nicht nur in immer tiefer in alle Lebensbereiche vor, sondern werden auch immer komplexer. Dies erfordert größere Anstrengungen bei deren Entwicklung, um Fehlfunktionen durch Programmierfehler oder Hardwareversagen zu vermeiden. Allerdings besteht das Fundament häufig aus veralteten Infrastrukturen, welche das Vermeiden von Programmierfehlern erschweren. So wurden die ersten Betriebssysteme zeitgleich zu den ersten Programmiersprachen entwickelt. Beispielsweise wurde C im Jahr 1972 von Dennis Ritchie ins Leben gerufen, um die Verwendung von Assembler im ursprünglichen UNIX-Kernel auf ein Minimum zu reduzieren. Um Abwärts-kompatibilität zu gewährleisten und eine hohe Leistungsfähigkeit anbieten zu können, wird bis heute C für die Entwicklung der Systemsoftware verwendet. Im Rahmen des Herbsttreffens soll die Anwendung moderner Techniken der Software-Entwicklung sowie die Verwendung von neuen Programmiersprachen betrachtet werden, um die Sicherheit und die Robustheit der Systemsoftware zu erhöhen.

Vortragsvorschläge können in Form eines maximal einseitigen Abstracts oder optional in Form eines kurzen (bisher unpublizierten) Papiers zum Thema in deutscher oder englischer Sprache eingereicht werden. Im Falle der Annahme eines Papiers würde dieses in der digitalen Bibliothek der Gesellschaft für Informatik publiziert werden. Ein kleines Programmkomitee aus Mitgliedern des Leitungsgremiums der Fachgruppe entscheidet über die Annahme der Vortragsvorschläge.

Wir erbitten die Einreichung von Abstracts und Papieren in deutscher oder englischer Sprache bis TBA über EasyChair. Sie brauchen nur dann ein PDF hochzuladen, wenn Sie die Veröffentlichung in der digitalen Bibliothek der Gesellschaft für Informatik wünschen.

Termine:

TBA Meldung von Beiträgen
TBA Anmeldung zum Treffen
24./25. September 2020 Treffen

Veranstaltungsort:

E.ON Energy Research Center
RWTH Aachen University
Mathieustraße 10
52074 Aachen, Germany