Jahrestreffen 2016

Beschreibung

Zielsetzung dieser Fachgruppe ist es, im Bereich Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler oder mathematisch präziser Techniken im Software-Engineering beschäftigt. Von Interesse für die FG ist Sicherheit im Sinne sowohl von Safety als auch von Security.

Die Jahrestreffen dienen zum informellen Austausch zu aktuellen Forschungsfragen auf diesem Gebiet. Sie bieten (insbesondere für jüngere Nachwuchswissenschaftler) eine einmalige Gelegenheit zur Präsentation ihrer aktuellen und laufenden Arbeiten. Im Programm der Jahrestreffen ist deshalb u.a. Raum für ingeladene Vorträge: Vorträge über aktuelle Forschungsprojekt-Initiativen, Fachvorträge, in denenüber konkrete Arbeits- und Forschungsergebnisse berichtet wird oder Übersichtsvorträge, die das Profil einzelner Arbeitsgruppen beschreiben.