BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//rc3-2021-fem//speaker//EPQADA
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-rc3-2021-fem-VX3YAS@pretalx.c3voc.de
DTSTART;TZID=CET:20211228T220000
DTEND;TZID=CET:20211228T225000
DESCRIPTION:This is a talk about how we can generate single transferable vo
 tes counting code from a logical specification automatically using advance
 d computer aided verification methods.\nIt is based upon a PhD dissertatio
 n but I think I made it non-technical.
DTSTAMP:20260315T150844Z
LOCATION:FeM Channel
SUMMARY:Formally Verified and Publicly Verifiable E-counting For Complex Vo
 ting Schemes - Rajeev Gore
URL:https://pretalx.c3voc.de/rc3-2021-fem/talk/VX3YAS/
END:VEVENT
END:VCALENDAR