LEARNING AND VERIFICATION

One-day event on 15 November 2018. It will be at UCL, Gower Street 66-72, room 4.05.

Programme

10:15–11:45

10:15 - 11:00 Andrea Patane (Oxford): robustness guarantees for Bayesian inference [[slides]]

11:00 - 11:45 Fred Dahlqvist (UCL): semantics of probabilistic programming [[slides]]

Lunch break

14:00–15:30

14:00 - 14:45 Pascale Gourdeau (Oxford): generalization bounds for neural networks [[slides]]

14:45 - 15:30 Alexander Clark (Alan Turing Institute): distributional learning of context-free grammars [[slides]]

Coffee break

16:00–16:45

16:00 - 16:45 Nathanaël Fijalkow (CNRS, LaBRI, and Alan Turing Institute) Data generation for programming by example [[slides]]