BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2317-3687@fg-fomsess.gi.de
CLASS: PUBLIC
SUMMARY:Jahrestreffen 2019
DESCRIPTION:Das 15. Jahrestreffen der GI-Fachgruppe FoMSESS fand am 29.11.2
 019 am KIT in Karlsruhe statt. Veranstalter war Prof. Dr. Bernhard Beckert 
 vom KIT in Karlsruhe.\n\nZielsetzung dieser Fachgruppe ist es, im Bereich C
 omputer- und Informationssicherheit ein Diskussionsforum im deutschsprachig
 en Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung forma
 ler oder mathematisch präziser Techniken im Software-Engineering beschäftig
 t. Von Interesse für die FG ist Sicherheit im Sinne sowohl von Safety als a
 uch von Security.\n\nDie Jahrestreffen dienen zum informellen Austausch zu 
 aktuellen Forschungsfragen auf diesem Gebiet. Sie bieten (insbesondere für 
 jüngere Nachwuchswissenschaftler) eine einmalige Gelegenheit zur Präsentati
 on ihrer aktuellen und laufenden Arbeiten. Im Programm der Jahrestreffen is
 t deshalb u.a. Raum für ingeladene Vorträge: Vorträge über aktuelle Forschu
 ngsprojekt-Initiativen, Fachvorträge, in denenüber konkrete Arbeits- und Fo
 rschungsergebnisse berichtet wird oder Übersichtsvorträge, die das Profil e
 inzelner Arbeitsgruppen beschreiben.\n\nDetails zum Treffen und zum Program
 m finden sich unter  https://formal.iti.kit.edu/fomsess19/
DTSTAMP:20191203T131449Z
DTSTART:20191129T080000Z
DTEND:20191129T163000Z
END:VEVENT
END:VCALENDAR