2 - 6 July 2018, 2nd School on Foundations of Programming and Software Systems (FOPSS): Logic and Learning, Oxford, England
Using logic as the foundation to understand machine learning to obtain the best of both worlds is a major challenge. The Logic & Learning School is an opportunity to learn from, and interact with, the world's experts leading recent progress in understanding the relationships between logic and learning. These experts come from both academia and some of the leading industrial research labs (Amazon Research and DeepMind).
The programme of the Logic & Learning School consists of ten lectures of three hours each, starting with four introductory courses on computational and statistical learning theory, reinforcement learning and Bayesian inference, and six advanced courses on exciting and recent developments relating logic and learning. The lectures target an audience of logicians and computer scientists broadly construed and do not assume any knowledge on machine learning. The summer school is perfectly aligned for students who want to attend the four-yearly Federated Logic Conference (FLOC) taking place in Oxford after the summer school.