BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63396336-3432-4935-b866-353937633933
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:32663431-6232-4537-b239-613938383861
DTSTAMP:20260626T225527Z
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:30363232-6366-4330-b532-653631373762
DTSTAMP:20260626T225527Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:31313761-3361-4962-a364-663364633663
DTSTAMP:20260626T225527Z
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:35613331-6462-4634-a236-336363306535
DTSTAMP:20260626T225527Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:30623661-3336-4635-a562-633462636431
DTSTAMP:20260626T225527Z
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:32646664-3936-4639-b763-303039663630
DTSTAMP:20260626T225527Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:63333561-6462-4431-a230-663336323761
DTSTAMP:20260626T225527Z
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:37653837-3335-4537-a562-316534336662
DTSTAMP:20260626T225527Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
END:VCALENDAR