BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1982-3687@fg-fomsess.gi.de
CLASS: PUBLIC
SUMMARY:Jahrestreffen 2015
DESCRIPTION:Das zwölfte Jahrestreffen der GI-Fachgruppe FoMSESS findet am 2
 4. und 25. März 2015 an dem Deutschen Forschungszentrum für Künstliche Inte
 lligenz bzw. an der Universität Bremen statt.\n\nZielsetzung dieser Fachgru
 ppe ist es, im Bereich Computer- und Informationssicherheit ein Diskussions
 forum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforsc
 hung und Anwendung formaler oder mathematisch präziser Techniken im Softwar
 e-Engineering beschäftigt. Von Interesse für die FG ist Sicherheit im Sinne
  sowohl von Safety als auch von Security.   Das Jahrestreffen dient zum inf
 ormellen Austausch zu aktuellen Forschungsfragen auf diesem Gebiet. Es biet
 et (insbesondere für jüngere Nachwuchswissenschaftler) eine einmalige Geleg
 enheit 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 kon
 krete Arbeits- und Forschungsergebnisse berichtet wird oder Übersichtsvortr
 äge, die das Profil einzelner Arbeitsgruppen beschreiben.\n\nHighlights des
  Jahrestreffens\n\n 	Bremer Arbeiten im Bereich formaler Sicherheit stellen
  sich vor: von Chip-Entwurfstechniken bis zu IT-Security für Smartphones 	P
 anel-Diskussion zur Sicherheit von Open Software:wer überprüft/zertifiziert
  Open Software? mit Vertretern der Open Software Business Alliance, Bundesa
 mt für Sicherheit in der Informationstechnik 	u.v.m. 
LOCATION:DFKI
DTSTAMP:20190109T113303Z
DTSTART:20150324T120000Z
DTEND:20150325T143000Z
END:VEVENT
END:VCALENDAR