BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260605T050051Z
UID:Seminar-dept-1498@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20260623T130000
DTEND:20260623T140000
SUMMARY:School Seminar Series
DESCRIPTION:Chengyu Zhang: Quis custodiet ipsos custodes: Towards Trustworthy Software Guardians\n\nModern software systems are increasingly complex, relying on a diverse spectrum of automated "guardians" for quality assurance. These guardians range from foundational formal logic engines and rigorous program analysers to AI guardrails. However, a fundamental issue remains: these guardians are themselves intricate software systems, yet there is a severe lack of effective technologies to guarantee their own quality. This talk explores a classical philosophical question within the realm of software reliability: Who guards the guardians? This talk will illustrate how defects can undermine these critical tools and introduce novel technologies to effectively identify and mitigate them.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1498
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR