30 lines
978 B
Plaintext
30 lines
978 B
Plaintext
BEGIN:VCALENDAR
|
|
PRODID;X-RICAL-TZSOURCE=TZINFO:-//com.denhaven2/NONSGML ri_cal gem//EN
|
|
CALSCALE:GREGORIAN
|
|
VERSION:2.0
|
|
BEGIN:VTIMEZONE
|
|
TZID;X-RICAL-TZSOURCE=TZINFO:Europe/Berlin
|
|
BEGIN:DAYLIGHT
|
|
DTSTART:20180325T020000
|
|
RDATE:20180325T020000
|
|
TZOFFSETFROM:+0100
|
|
TZOFFSETTO:+0200
|
|
TZNAME:CEST
|
|
END:DAYLIGHT
|
|
END:VTIMEZONE
|
|
BEGIN:VEVENT
|
|
DTEND;TZID=Europe/Berlin;VALUE=DATE-TIME:20180922T154500
|
|
DTSTART;TZID=Europe/Berlin;VALUE=DATE-TIME:20180922T151500
|
|
DTSTAMP;VALUE=DATE-TIME:20180915T083144Z
|
|
UID:67dbfc12-f4ad-4a4d-8370-118f1c72e98b@frab.cccv.de
|
|
DESCRIPTION:An introduction on SPARK\, a programming language specificall
|
|
y designed for high reliability and used in safety critical areas such a
|
|
s avionics or railway signaling or in high security applications such as
|
|
the Muen micro kernel or the WooKey\, a secure USB mass storage device.
|
|
URL:/2018/fahrplan/events/9332.html
|
|
SUMMARY:Program verification with SPARK
|
|
ORGANIZER:DS2018
|
|
LOCATION:DS2018 - Kabinett
|
|
END:VEVENT
|
|
END:VCALENDAR
|