BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TU Wien//Informatics//News//EN
CALSCALE:GREGORIAN
URL;VALUE=URI:https://informatics.tuwien.ac.at/news
REFRESH-INTERVAL;VALUE=DURATION:PT3H
SOURCE;VALUE=URI:https://informatics.tuwien.ac.at/news.ics
NAME:TU Wien Informatics
DESCRIPTION:Upcoming events at TU Wien Informatics
X-WR-CALNAME:TU Wien Informatics
X-WR-CALDESC:Upcoming events at TU Wien Informatics
X-PUBLISHED-TTL:PT3H
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20270328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20261025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20261027T103917Z
UID:dde46fa4144c767d49bf626a73a8cd7ad7f489b6
DTSTART;TZID=Europe/Vienna:20261116T160000
DTEND;TZID=Europe/Vienna:20261116T173000
CLASS:PUBLIC
CREATED:20261025T230000Z
DESCRIPTION:Join us on Nov 16\, when Guest Professors Ferreira &amp\; Mende
 s will give a lecture on generating proofs and assessing specifications fo
 r formal verification!\n\nTU Wien\, Campus Gußhaus\, EI 5 Hochenegg-Hörs
 aal\, 1040 Vienna\, Gußhausstraße 25\, Stiege 8\, 2. Stock\, CF0229
GEO:48.196661;16.37042
LAST-MODIFIED:20261027T152210Z
LOCATION:Gußhausstraße 25\, 1040 Vienna\, Austria
SUMMARY:Joao F. Ferreira and Alexandra Mendes: Effective Formal Verificatio
 n
URL;VALUE=URI:https://informatics.tuwien.ac.at/news/3252?utm_campaign=feed&
 utm_term=calendar
CATEGORIES:Doctoral School
CATEGORIES:Guest Professor
CATEGORIES:Focus CE
END:VEVENT
END:VCALENDAR