BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260424T143440Z
UID:1740393000@ist.ac.at
DTSTART:20250224T113000
DTEND:20250224T123000
DESCRIPTION:Speaker: Samara Ren and Michael Sammler\nhosted by Andela Saric
 \nAbstract: Samara's Talk Title: "Computational Inverse Design of Shape-Mo
 rphing Structures"Michael's Talk Title: "Automated and Foundational Verifi
 cation of Low-Level Programs"The correctness of low-level software like op
 erating systems or hypervisors is crucial to the reliability and security 
 of modern applications. This makes such low-level programs a prime target 
 for formal verification. However\, to apply formal verification to low-lev
 el software\, we must deal with three challenges: 1) handling realistic sy
 stems code and programming languages\, which is often idiomatic and nuance
 d\, 2) ensuring the soundness of the verification technique\, ideally via 
 foundational proofs in a proof assistant\, and 3) automating the verificat
 ion as much as possible.In this talk\, I present my work and my vision tow
 ards advancing formal verification along these dimensions simultaneously.
LOCATION:RLH\, ISTA
ORGANIZER:diana.gruber@ista.ac.at
SUMMARY:Samara Ren and Michael Sammler: Inaugural Lecture: Samara Ren and M
 ichael Sammler
URL:https://talks-calendar.ista.ac.at/events/5374
END:VEVENT
END:VCALENDAR