My FLoC Experience

Chris Patuzzo
  • 0.0 (0)
  • Technology
  • Series

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. 06/30/2018

    #1: Introduction

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

  2. 07/02/2018

    #2: Measures of Expressiveness

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

  3. 07/03/2018

    #3: Alternative Viewpoints

    Bayesian networks and reinforcement learning were the topics for today.

  4. 07/04/2018

    #4: Automata Learning

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

  5. 07/05/2018

    #5: Crossing the Streams

    Combining Markov decision processes with software verification.

  6. 07/05/2018

    #6: Droning On

    Verifying the behaviour of drones and a truly exquisite song.

  7. 07/07/2018

    #7: Plausible Hypotheses

    Are all hypotheses equal or are some better than others?

  8. 07/07/2018

    #8: Program Synthesis

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

See All (18)

About

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.

Information