My FLoC Experience — Overcast

Overcast FAQ Ads Log In

My FLoC Experience

My FLoC Experience

makercasts.org/podcasts/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.

#18: Reflections

Jul 15, 2018 • 6 min

#17: Group Photo

Jul 14, 2018 • 6 min

Jul 14, 2018 • 4 min

#15: Bayesian Logic

Jul 11, 2018 • 4 min

#14: Proof Systems

Jul 11, 2018 • 4 min

#13: S-S-S-Symmetry Breaker

Jul 11, 2018 • 4 min

#12: SAT Conference

Jul 11, 2018 • 6 min

#11: Checkmate in Nine

Jul 9, 2018 • 7 min

#10: The Inside Scoop

Jul 8, 2018 • 9 min

#9: Social Norms

Jul 7, 2018 • 6 min

#8: Program Synthesis

Jul 6, 2018 • 5 min

#7: Plausible Hypotheses

Jul 6, 2018 • 5 min

Jul 5, 2018 • 6 min

#5: Crossing the Streams

Jul 5, 2018 • 6 min

#4: Automata Learning

Jul 4, 2018 • 7 min

#3: Alternative Viewpoints

Jul 3, 2018 • 8 min

#2: Measures of Expressiveness

Jul 2, 2018 • 7 min

#1: Introduction

Jun 30, 2018 • 5 min