BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34363634-6438-4430-b263-626665353163
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:64383233-3366-4331-a638-366236373961
DTSTAMP:20261028T120434Z
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:35303831-6234-4438-b836-386332383838
DTSTAMP:20261028T120434Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:30633230-3863-4363-b738-363835303132
DTSTAMP:20261028T120434Z
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:32333166-3663-4364-b261-656239316537
DTSTAMP:20261028T120434Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:34653266-3134-4837-a635-356664626265
DTSTAMP:20261028T120434Z
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:66313063-6265-4662-b936-613664303838
DTSTAMP:20261028T120434Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:61626165-3533-4764-b038-326362346265
DTSTAMP:20261028T120434Z
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:63633864-3463-4166-a531-623464373561
DTSTAMP:20261028T120434Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
END:VCALENDAR