My FLoC Experience

PODCAST · technology

My FLoC Experience

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. 18

    #18: Reflections

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

  2. 17

    #17: Group Photo

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

  3. 16

    #16: Coffee

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

  4. 15

    #15: Bayesian Logic

    Combining logical and probabilistic models of AI.

  5. 14

    #14: Proof Systems

    Proof systems aren't as complicated as they sound.

  6. 13

    #13: S-S-S-Symmetry Breaker

    Impress your friends by rotating a chess board.

  7. 12

    #12: SAT Conference

    The first day of the the international SAT conference.

  8. 11

    #11: Checkmate in Nine

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

  9. 10

    #10: The Inside Scoop

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

  10. 9

    #9: Social Norms

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

  11. 8

    #8: Program Synthesis

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

  12. 7

    #7: Plausible Hypotheses

    Are all hypotheses equal or are some better than others?

  13. 6

    #6: Droning On

    Verifying the behaviour of drones and a truly exquisite song.

  14. 5

    #5: Crossing the Streams

    Combining Markov decision processes with software verification.

  15. 4

    #4: Automata Learning

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

  16. 3

    #3: Alternative Viewpoints

    Bayesian networks and reinforcement learning were the topics for today.

  17. 2

    #2: Measures of Expressiveness

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

  18. 1

    #1: Introduction

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

Type above to search every episode's transcript for a word or phrase. Matches are scoped to this podcast.

Searching…

No matches for "" in this podcast's transcripts.

Showing of matches

No topics indexed yet for this podcast.

Loading reviews...

ABOUT THIS SHOW

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.

HOSTED BY

Chris Patuzzo

CATEGORIES

URL copied to clipboard!