Videos from the 2018 Federated Logic Conference, held 7-19 July 2018 in Oxford, UK. www.floc2018.org

James Worrell: Computational Learning Theory II
1:26:50
James Worrell: Computational Learning Theory II
James Worrell: Computational Learning Theory I
1:16:02
James Worrell: Computational Learning Theory I
Varun Kanade: Statistical Learning Theory II
1:23:22
Varun Kanade: Statistical Learning Theory II
Varun Kanade: Statistical Learning Theory I
1:18:21
Varun Kanade: Statistical Learning Theory I
Jan Křetínský: Learning in Verification II
1:31:42
Jan Křetínský: Learning in Verification II
Jan Křetínský: Learning in Verification I
1:30:31
Jan Křetínský: Learning in Verification I
Hado van Hasselt: Reinforcement Learning II
1:39:15
Hado van Hasselt: Reinforcement Learning II
Hado van Hasselt: Reinforcement Learning I
1:26:52
Hado van Hasselt: Reinforcement Learning I
Dan Roy: Bayesian Learning II
1:15:46
Dan Roy: Bayesian Learning II
Dan Roy: Bayesian Learning I
1:35:33
Dan Roy: Bayesian Learning I
Borja Balle: Automata Learning II
1:29:46
Borja Balle: Automata Learning II
Borja Balle: Automata Learning I
1:23:19
Borja Balle: Automata Learning I
Guy Katz: Verification of Machine Learning Programs II
1:14:05
Guy Katz: Verification of Machine Learning Programs II
Guy Katz: Verification of Machine Learning Programs I
1:14:32
Guy Katz: Verification of Machine Learning Programs I
Nina Gierasimczuk: Learning and Epistemic Modal Logic II
1:45:58
Nina Gierasimczuk: Learning and Epistemic Modal Logic II
Nina Gierasimczuk: Learning and Epistemic Modal Logic I
1:09:04
Nina Gierasimczuk: Learning and Epistemic Modal Logic I
Stephen H Muggleton: Inductive Logic Programming I
1:31:16
Stephen H Muggleton: Inductive Logic Programming I
Stephen H Muggleton: Inductive Logic Programming II
1:18:57
Stephen H Muggleton: Inductive Logic Programming II
Richard Evans: Inductive logic programming and deep learning I
1:13:45
Richard Evans: Inductive logic programming and deep learning I
Richard Evans: Inductive logic programming and deep learning II
55:14
Richard Evans: Inductive logic programming and deep learning II
Doina Precup: Reinforcement Learning IV
1:08:54
Doina Precup: Reinforcement Learning IV
Doina Precup: Reinforcement Learning III
1:26:21
Doina Precup: Reinforcement Learning III
Stuart Russell: Unifying logic & probability: the BLOG language
1:09:57
Stuart Russell: Unifying logic & probability: the BLOG language
Peter O'Hearn: Continuous Reasoning: Scaling the impact of formal methods
53:20
Peter O'Hearn: Continuous Reasoning: Scaling the impact of formal methods
Georges Gonthier: The Logic of Real Proofs
1:06:11
Georges Gonthier: The Logic of Real Proofs
Debate: Ethics & Morality of Robotics
53:22
Debate: Ethics & Morality of Robotics
Byron Cook: Formal Reasoning about the Security of Amazon Web Services
51:30
Byron Cook: Formal Reasoning about the Security of Amazon Web Services
Dana Scott: Looking Backward; Looking Forward
1:02:37
Dana Scott: Looking Backward; Looking Forward