BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260407T230016Z
UID:Seminar-dept-484@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20200128T130000
DTEND:20200128T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Daniel Neider: ICE: Learning Correctness Proofs of Software\n\nSoftware systems have become ubiquitous in our modern world and, consequently, so have bugs and glitches. While many software failures are harmless and often merely annoying, some can have catastrophic consequences. Just imagine the dire results of an autonomous car failing to stop at a red traffic light or a plane's control system becoming\n\nunresponsive during takeoff or landing.\n\n\n\nIn this talk, I will present ICE, a technique for formally proving the correctness of software. ICE combines inductive techniques from the area of machine learning with deductive techniques from the area of logic to infer correctness proofs of programs in a fully automated manner. Moreover, I will briefly survey various other application areas where\n\nthe ideas underlying ICE have been applied, such as the synthesis of reactive controllers.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=484
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR