18 Folgen
My FLoC Experience Chris Patuzzo
-
- Technologie
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: Introduction
First, let me tell you a bit about who I am and what this conference is.
-
#2: Measures of Expressiveness
Today was the first official day of the Logic and Learning summer school.
-
#3: Alternative Viewpoints
Bayesian networks and reinforcement learning were the topics for today.
-
#4: Automata Learning
Automata learning in the morning, followed by a tour of Oxford.
-
#5: Crossing the Streams
Combining Markov decision processes with software verification.
-