• 6 minutes 51 seconds
    #18: Reflections
    My last day at FLoC, with an awards ceremony and some final thoughts.
    15 July 2018, 12:40 pm
  • 6 minutes 45 seconds
    #17: Group Photo
    More flavours of SAT, a group photo and a business meeting.
    14 July 2018, 6:56 pm
  • 4 minutes 15 seconds
    #16: Coffee
    This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.
    14 July 2018, 3:41 pm
  • 4 minutes 33 seconds
    #15: Bayesian Logic
    Combining logical and probabilistic models of AI.
    12 July 2018, 1:38 am
  • 4 minutes 55 seconds
    #14: Proof Systems
    Proof systems aren't as complicated as they sound.
    12 July 2018, 1:37 am
  • 4 minutes 21 seconds
    #13: S-S-S-Symmetry Breaker
    Impress your friends by rotating a chess board.
    12 July 2018, 1:36 am
  • 6 minutes 21 seconds
    #12: SAT Conference
    The first day of the the international SAT conference.
    12 July 2018, 1:35 am
  • 7 minutes 12 seconds
    #11: Checkmate in Nine
    A last minute change of mind to learn about quantifiable boolean formulae.
    9 July 2018, 9:22 pm
  • 9 minutes 20 seconds
    #10: The Inside Scoop
    A workshop on the pragmatics of SAT and some insider information.
    8 July 2018, 11:26 pm
  • 6 minutes 33 seconds
    #9: Social Norms
    Today was the final day of the Logic and Learning summer school.
    7 July 2018, 9:39 pm
  • 5 minutes 51 seconds
    #8: Program Synthesis
    Test your 'general' knowledge in this innovative new game show.
    7 July 2018, 12:56 am
  • More Episodes? Get the App