<description>My last day at FLoC, with an awards ceremony and some final thoughts.</description>

#18: Reflections

<description>More flavours of SAT, a group photo and a business meeting.</description>

#17: Group Photo

<description>This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.</description>

#16: Coffee

<description>Combining logical and probabilistic models of AI.</description>

#15: Bayesian Logic

<description>Proof systems aren't as complicated as they sound.</description>

#14: Proof Systems

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.

My FLoC Experience

Details

Recent Episodes