Toggle navigation
Home
Seminar series
Workshops
Visiting researchers
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]]