BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35353135-3037-4537-b839-363765366136
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:61626239-6335-4338-a264-613638316436
DTSTAMP:20260717T024907Z
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:IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:66623861-3539-4162-b136-393962356339
DTSTAMP:20260717T024907Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:34333364-3664-4930-b466-376138383361
DTSTAMP:20260717T024907Z
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:IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:37653133-6531-4563-b133-646561366164
DTSTAMP:20260717T024907Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:64383132-3365-4531-a431-343332363839
DTSTAMP:20260717T024907Z
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:IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:36336634-3264-4439-b762-316464373063
DTSTAMP:20260717T024907Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:63663861-3138-4230-b363-613834346633
DTSTAMP:20260717T024907Z
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:IFC Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:37343366-6561-4932-b864-366665616436
DTSTAMP:20260717T024907Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
END:VCALENDAR