18 episodes

My name is Chris, and this year I’m attending the Federated Logic Conference, located in Oxford. This is a mini podcast series about my experiences while I’m here.

My FLoC Experience Chris Patuzzo

    • Technology

My name is Chris, and this year I’m attending the Federated Logic Conference, located in Oxford. This is a mini podcast series about my experiences while I’m here.

    #1: Introduction

    #1: Introduction

    First, let me tell you a bit about who I am and what this conference is.

    • 5 min
    #2: Measures of Expressiveness

    #2: Measures of Expressiveness

    Today was the first official day of the Logic and Learning summer school.

    • 7 min
    #3: Alternative Viewpoints

    #3: Alternative Viewpoints

    Bayesian networks and reinforcement learning were the topics for today.

    • 8 min
    #4: Automata Learning

    #4: Automata Learning

    Automata learning in the morning, followed by a tour of Oxford.

    • 7 min
    #5: Crossing the Streams

    #5: Crossing the Streams

    Combining Markov decision processes with software verification.

    • 6 min
    #6: Droning On

    #6: Droning On

    Verifying the behaviour of drones and a truly exquisite song.

    • 6 min

Top Podcasts In Technology

Lex Fridman Podcast
Lex Fridman
All-In with Chamath, Jason, Sacks & Friedberg
All-In Podcast, LLC
No Priors: Artificial Intelligence | Machine Learning | Technology | Startups
Conviction | Pod People
BG2Pod with Brad Gerstner and Bill Gurley
BG2Pod
Acquired
Ben Gilbert and David Rosenthal
Hard Fork
The New York Times