BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:018d83bb563ddf35680c6482fd7e97e0
DTSTAMP:20260513T033209Z
SUMMARY:AI Lund lunch seminar: Sure\, Your Algorithm Is Really Fast\, But I
 s It Really Correct?
DESCRIPTION:Contact: Jonas.Wisbrant@control.lth.se\n\nTopic: Sure\, Your Al
 gorithm Is Really Fast\, But Is It Really Correct?When: 15 April 12.00 to 
 13.00Where: OnlineSpeaker:&nbsp\;Jakob Nordström\, University of Copenhag
 en and Lund UniversityModerator: Jacek Malec\, Computer Science\, Lund Uni
 versity&nbsp\;Spoken language: EnglishAbstractEnsuring correctness of comp
 uter software\, safety of air traffic control\, and validity of smart cryp
 to contracts are examples of extremely challenging problems for which mode
 rn research has delivered inexplicably efficient algorithms. There is only
  one catch: These amazing algorithms are sometimes wrong. And we currently
  have no way of knowing for sure when this is the case. As these tools are
  increasingly being used autonomously\, sometimes even in life-critical ap
 plications\, it is urgent to ensure that what they compute is valid.This t
 alk is about the most promising way of solving this problem: to use proof 
 logging to make the algorithms output not only an answer\, but a machine-v
 erifiable proof that this answer has been computed correctly. Crucially\, 
 such proofs should require low overhead to generate and be easy to check\,
  but should still supply 100% correctness guarantees.Proof logging has wit
 nessed a revolution of its own in the last decade\, which promises to open
  up also new possibilities for algorithm development and analysis\, softwa
 re debugging\, and even research into AI explainability. We will give an i
 ntroduction to what proof logging is\, describe how it works\, and discuss
  what it can be used for.\n\nMore information about the event: https://www
 .ai.lu.se/evenemang/ai-lund-lunch-seminar-sure-your-algorithm-really-fast-
 it-really-correct
DTSTART;TZID=GMT:20260415T100000
DTEND;TZID=GMT:20260415T110000
LOCATION:Online - link by registration
END:VEVENT
END:VCALENDAR