BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Nicholas Pischke (University of Bath) DTSTART:20260327T130000Z DTEND:20260327T140000Z DTSTAMP:20260419T150906Z UID:TheoryCSBham/75 DESCRIPTION:Title: An overview of proof mining and probability theory\nby Nicholas Pischke (University of Bath) as part of University of Birmingham theoretic al computer science seminar\n\nLecture held in LG23\, Computer Science.\n\ nAbstract\nOn the surface\, the theory of probability measures requires th e use of proof-theoretically strong principles to already develop some of the most basic notions. Contrary to these apparent limitations\, an approa ch for extending the program of proof mining to this area has recently bee n proposed. This approach\, which is fundamentally based on the use of pro bability contents (i.e.\, finitely additive [0\, 1]-valued functions defin ed on algebras of sets)\, has proven to be widely effective based on a ran ge of new case studies presented in the last years. In this talk\, we give a short overview of both the theoretical work that supports this endeavou r\, as well as recent applications to stochastic analysis and optimization which rely on these methods. The talk is based on various (joint) works\, in collaboration with Morenikeji Neri\, Paulo Oliva and Thomas Powell.\n LOCATION:https://researchseminars.org/talk/TheoryCSBham/75/ END:VEVENT END:VCALENDAR