BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38653762-3961-4134-a238-313461613766
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:33643962-3061-4431-a233-303239663430
DTSTAMP:20260425T183507Z
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:32303234-3662-4636-a237-613832636565
DTSTAMP:20260425T183507Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:38323563-6538-4435-b531-393733383666
DTSTAMP:20260425T183507Z
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:35616463-3830-4237-b039-396538313665
DTSTAMP:20260425T183507Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:61663530-3137-4736-b663-366339373538
DTSTAMP:20260425T183507Z
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:63643566-6237-4333-b732-656437613932
DTSTAMP:20260425T183507Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:31346463-6534-4033-a663-303032613736
DTSTAMP:20260425T183507Z
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:65333637-3736-4338-b966-363265363333
DTSTAMP:20260425T183507Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
END:VCALENDAR