BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37616338-3466-4534-b331-393839666537
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:33356263-3366-4137-b639-396163643139
DTSTAMP:20260806T233646Z
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:34366231-3663-4330-b463-383135376136
DTSTAMP:20260806T233646Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:34633061-6234-4565-b538-626463313539
DTSTAMP:20260806T233646Z
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:35393261-3762-4437-b532-653036663265
DTSTAMP:20260806T233646Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:61396162-3936-4365-b566-393831346163
DTSTAMP:20260806T233646Z
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:65356336-6163-4665-b735-653763363839
DTSTAMP:20260806T233646Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:31646231-6130-4732-b633-646661316638
DTSTAMP:20260806T233646Z
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:31323832-3166-4837-a332-636436353466
DTSTAMP:20260806T233646Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Q&A IFC
END:VEVENT
END:VCALENDAR