BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Monitoring Security Policies with Metric First-Order Temporal Logi
 c
DTSTART:20100622T113000
DTSTAMP:20260510T135122Z
UID:796ba2df2c111c46ad52e5e79fb25b44195e4ca807126fc41c9d7395
CATEGORIES:Conferences - Seminars
DESCRIPTION:Felix Klaedtke\, ETHZ\, Information Security\n
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR