BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36373930-3766-4933-b038-363434376561
X-WR-CALNAME:Formal Methods in Security Calendar
X-WR-CALDESC:Events of the lecture Formal Methods in Security
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62383534-3065-4535-b636-383464653639
DTSTAMP:20260717T040329Z
DESCRIPTION:Basic background on Programming Language Theory and introductio
 n to static fine-grained IFC.\nBasic definitions (Lattice). Security IFC t
 ype system\, L-equivalence\, and non-interference.
DTSTART:20201104T090000Z
DTEND:20201104T110000Z
LOCATION:https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05
 JQkFpdz09
SUMMARY:Fms: IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:64643762-6439-4265-a533-346566643662
DTSTAMP:20260717T040329Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:36393131-3736-4262-a136-333766656337
DTSTAMP:20260717T040329Z
DESCRIPTION:Basic background on Programming Language Theory and introductio
 n to static fine-grained IFC.\nBasic definitions (Lattice). Security IFC t
 ype system\, L-equivalence\, and non-interference.
DTSTART:20201111T090000Z
DTEND:20201111T110000Z
LOCATION:https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05
 JQkFpdz09
SUMMARY:Fms: IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:30356635-3462-4232-b361-323533373463
DTSTAMP:20260717T040329Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:30653331-6165-4162-b164-633863373066
DTSTAMP:20260717T040329Z
DESCRIPTION:Basic background on Programming Language Theory and introductio
 n to static fine-grained IFC.\nBasic definitions (Lattice). Security IFC t
 ype system\, L-equivalence\, and non-interference.
DTSTART:20201118T090000Z
DTEND:20201118T110000Z
LOCATION:https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05
 JQkFpdz09
SUMMARY:Fms: IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:66633630-3238-4832-b463-633337396236
DTSTAMP:20260717T040329Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:38633238-3334-4666-a235-646562646132
DTSTAMP:20260717T040329Z
DESCRIPTION:Basic background on Programming Language Theory and introductio
 n to static fine-grained IFC.\nBasic definitions (Lattice). Security IFC t
 ype system\, L-equivalence\, and non-interference.
DTSTART:20201125T090000Z
DTEND:20201125T110000Z
LOCATION:https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05
 JQkFpdz09
SUMMARY:Fms: IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:65356332-6635-4332-b736-376539336534
DTSTAMP:20260717T040329Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
END:VCALENDAR