Programme (PDF version)
Lecturers
Borja Balle (Amazon Research Cambridge)
Spectral algorithms for automata learning
Slides
Video (part I)
Video (part II)
Richard Evans (DeepMind)
Inductive logic programming and deep learning
Material (zipped folder includes slides and videos)
Video (part I)
Video (part II)
Nina Gierasimczuk (Technical University of Denmark)
Learning and epistemic modal logic
Slides (part I)
Slides (part II)
Video (part I)
Video (part II)
Varun Kanade (University of Oxford)
Statistical learning theory
Slides with animations
Slides without animations
Video (part I)
Video (part II)
Guy Katz (Stanford University and Hebrew University of Jerusalem)
Verification of machine learning programs
Slides
Video (part I)
Video (part II)
Jan Křetínský (Technical University of Munich)
Learning for verification
Slides
Annotated slides
Video (part I)
Video (part II)
Stephen H. Muggleton (Imperial College London)
Inductive logic programming
Zip folder containing slides and papers
Video (part I)
Video (part II)
Doina Precup (McGill University and DeepMind)
Reinforcement learning
Slides (part I)
Slides (part II)
Video (part I)
Video (part II)
