My FLoC Experience

Follow My FLoC Experience
Share on
Copy link to clipboard

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.

Chris Patuzzo


    • Jul 15, 2018 LATEST EPISODE
    • infrequent NEW EPISODES
    • 6m AVG DURATION
    • 18 EPISODES


    Search for episodes from My FLoC Experience with a specific topic:

    Latest episodes from My FLoC Experience

    #18: Reflections

    Play Episode Listen Later Jul 15, 2018 6:51


    My last day at FLoC, with an awards ceremony and some final thoughts.

    reflections floc
    #17: Group Photo

    Play Episode Listen Later Jul 14, 2018 6:45


    More flavours of SAT, a group photo and a business meeting.

    #16: Coffee

    Play Episode Listen Later Jul 14, 2018 4:15


    This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.

    coffee
    #15: Bayesian Logic

    Play Episode Listen Later Jul 11, 2018 4:33


    Combining logical and probabilistic models of AI.

    ai logic bayesian
    #14: Proof Systems

    Play Episode Listen Later Jul 11, 2018 4:55


    Proof systems aren't as complicated as they sound.

    proof
    #13: S-S-S-Symmetry Breaker

    Play Episode Listen Later Jul 11, 2018 4:21


    Impress your friends by rotating a chess board.

    breaker impress symmetry
    #12: SAT Conference

    Play Episode Listen Later Jul 11, 2018 6:21


    The first day of the the international SAT conference.

    conference
    #11: Checkmate in Nine

    Play Episode Listen Later Jul 9, 2018 7:12


    A last minute change of mind to learn about quantifiable boolean formulae.

    checkmate
    #10: The Inside Scoop

    Play Episode Listen Later Jul 8, 2018 9:20


    A workshop on the pragmatics of SAT and some insider information.

    inside scoop
    #9: Social Norms

    Play Episode Listen Later Jul 7, 2018 6:33


    Today was the final day of the Logic and Learning summer school.

    learning logic social norms
    #8: Program Synthesis

    Play Episode Listen Later Jul 6, 2018 5:51


    Test your 'general' knowledge in this innovative new game show.

    synthesis
    #7: Plausible Hypotheses

    Play Episode Listen Later Jul 6, 2018 5:58


    Are all hypotheses equal or are some better than others?

    plausible hypotheses
    #6: Droning On

    Play Episode Listen Later Jul 5, 2018 6:14


    Verifying the behaviour of drones and a truly exquisite song.

    verifying droning
    #5: Crossing the Streams

    Play Episode Listen Later Jul 5, 2018 6:08


    Combining Markov decision processes with software verification.

    crossing the streams
    #4: Automata Learning

    Play Episode Listen Later Jul 4, 2018 7:02


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

    learning oxford automata
    #3: Alternative Viewpoints

    Play Episode Listen Later Jul 3, 2018 8:43


    Bayesian networks and reinforcement learning were the topics for today.

    bayesian viewpoints
    #2: Measures of Expressiveness

    Play Episode Listen Later Jul 2, 2018 7:30


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

    learning logic measures
    #1: Introduction

    Play Episode Listen Later Jun 30, 2018 5:22


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

    Claim My FLoC Experience

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel