BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38663132-6631-4236-b137-353435396130
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:39363434-6430-4430-b762-376537396363
DTSTAMP:20260626T225421Z
DESCRIPTION:We will give an introduction lecture about the course on Wednes
 day 28.\n\nIf you are considering taking the course\, we recommend you to 
 attend this lecture\, which will give you an overview of the topics that w
 ill be discussed.
DTSTART:20201028T090000Z
DTEND:20201028T110000Z
LOCATION:Zoom: https://cispa-de.zoom.us/j/91272899429?pwd=c1NRanNtbC90RmYwR
 W9lWEh3b3p0dz09
SUMMARY:Fms: Introduction Lecture
END:VEVENT
BEGIN:VEVENT
UID:64653934-6334-4332-b432-373233326439
DTSTAMP:20260626T225421Z
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:36643066-6533-4166-a265-303331653536
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201106T090000Z
DTEND:20201106T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:63343262-6533-4637-a134-316534663661
DTSTAMP:20260626T225421Z
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:38396162-3833-4530-a637-323364326636
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201113T090000Z
DTEND:20201113T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:36626265-3336-4466-b334-333766353831
DTSTAMP:20260626T225421Z
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:34353163-3332-4539-a161-633465353833
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201120T090000Z
DTEND:20201120T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:38363265-3236-4335-b733-306564393833
DTSTAMP:20260626T225421Z
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:37623039-3033-4535-b036-626138376130
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201127T090000Z
DTEND:20201127T110000Z
LOCATION:Zoom (TBA)
SUMMARY:Fms: Q&A IFC
END:VEVENT
BEGIN:VEVENT
UID:61626331-3738-4664-b539-623366626661
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201130T090000Z
DTEND:20201130T090000Z
SUMMARY:Fms: SysV: First recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:35633466-6231-4631-b765-356261613937
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201202T090000Z
DTEND:20201202T110000Z
LOCATION:https://cispa-de.zoom.us/j/97760616192?pwd=ZVJrRW9mclo2VmJ6TzF6V2d
 FY09udz09
SUMMARY:Fms: Q/A preliminaries
END:VEVENT
BEGIN:VEVENT
UID:35653664-3637-4466-a639-376236313266
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201207T090000Z
DTEND:20201207T090000Z
SUMMARY:Fms: SysV: Second recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:64656665-3934-4237-b965-636632653036
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201209T090000Z
DTEND:20201209T110000Z
LOCATION:https://cispa-de.zoom.us/j/98380099551?pwd=NGpyc29UWUhiaHZLQ2pqMXZ
 vUE9qZz09
SUMMARY:Fms: Q/A compositional verification
END:VEVENT
BEGIN:VEVENT
UID:32333866-6334-4839-a634-666131393836
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201214T090000Z
DTEND:20201214T090000Z
SUMMARY:Fms: SysV: Third recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:32376439-6233-4230-b337-376639636663
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20201216T090000Z
DTEND:20201216T110000Z
LOCATION:https://cispa-de.zoom.us/j/97307213380?pwd=eTNxbHI2eHJWRStMQVZIUWJ
 jTXhOZz09
SUMMARY:Fms: Q/A refinement
END:VEVENT
BEGIN:VEVENT
UID:39323834-6539-4435-a664-383131626463
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20210104T090000Z
DTEND:20210104T090000Z
SUMMARY:Fms: SysV: Fourth recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:66643231-3764-4135-a338-356236613732
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20210106T090000Z
DTEND:20210106T110000Z
LOCATION:https://cispa-de.zoom.us/j/94653471916?pwd=bzFtaUdaL1NTY3VUYUhEZ2g
 yNU9oZz09
SUMMARY:Fms: Q/A A marriage of verification and testing
END:VEVENT
BEGIN:VEVENT
UID:34333539-3964-4135-b038-303763653734
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210113
DTEND;VALUE=DATE:20210114
LOCATION:https://cispa-de.zoom.us/j/93479792168?pwd=WkIyeG9BUDFnWlBxZ1hUNG1
 QUjZvZz09
SUMMARY:Fms: PROTO1: modelling
END:VEVENT
BEGIN:VEVENT
UID:36363762-6362-4530-b163-383966626637
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:65656333-3136-4034-b733-353938303932
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210120
DTEND;VALUE=DATE:20210121
LOCATION:https://cispa-de.zoom.us/j/95553184253?pwd=UUdnZ1Nnc1lrWTdHV2VxcWl
 XRVJBZz09
SUMMARY:Fms: PROTO2: Applied-pi
END:VEVENT
BEGIN:VEVENT
UID:62663563-3532-4239-a465-623162396461
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:66363765-3534-4666-a463-633163616238
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210127
DTEND;VALUE=DATE:20210128
LOCATION:https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzl
 rM2JVQT09
SUMMARY:Fms: PROTO3: Verification tools
END:VEVENT
BEGIN:VEVENT
UID:38353239-3166-4537-a538-626331653738
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:31323761-3935-4064-a530-343065353531
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210203
DTEND;VALUE=DATE:20210204
LOCATION:https://cispa-de.zoom.us/j/99708000942?pwd=Z3YxNHg5RXpMd3VLRFpSMW9
 YSDJuUT09
SUMMARY:Fms: PROTO4: Privacy
END:VEVENT
BEGIN:VEVENT
UID:31636637-3266-4032-a231-306464653861
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:64636435-3562-4661-a330-313461336430
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:Fms: PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:32636239-3566-4165-b838-633036356665
DTSTAMP:20260626T225421Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:Fms: PROTO project: late deadline
END:VEVENT
END:VCALENDAR