The Summer School on Foundations of Programming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, SIGLOG, and SIGPLAN. It was first organised in 2017. The goal is to introduce the participants to various aspects of computation theory and programming languages. The school, spread over a single week, is aimed at students and researchers in Theoretical Computer Science, broadly construed. Each year the school is focused on a particular, actively researched topic; our focus in 2018 is Logic and Learning.

The sponsors this year are EATCS, ETAPS, SIGLOG, SIGPLAN, the Department of Computer Science, University of Oxford, and The Alan Turing Institute of data science and artificial intelligence.

For organisational reasons the topic of this year has been changed. The original topic of Nominal Techniques is postponed to the 3rd FOPSS school to be held next year and organised by Luca Aceto, Bartek Klin, Andrew Pitts, and Joanna Ochremiak.

Logic and Learning

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).

In the last few decades, logic has emerged as a fundamental paradigm for understanding complex systems. It has turned out to be instrumental in formal methods such as program verification, reasoning about hardware, reasoning about real-time systems and, more recently, probabilistic systems. Machine learning has recently had spectacular successes in fields such as image recognition, game playing, and many areas that involve the extraction of information from large datasets. The use of statistical approaches yields practical solutions to problems that seemed out of reach just a few years ago. The understanding of why these approaches are so successful has lagged behind the empirical successes. Using logic as the foundation to understand machine learning to obtain the best of both worlds is a major challenge.

The programme of the Logic & Learning School consists in eleven lectures of three hours each, starting with five introductory courses on computational and statistical learning theory, reinforcement learning, Bayesian inference, and automata learning, 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. Accordingly, the School represents a perfect opportunity to learn for both students and working researchers. The School will take place in St Anne's College in the centre of Oxford, an ideal learning environment with accommodation and lunches provided on site (see local information). The lectures will be from Sunday 1st July in the morning to Friday 6 July in the afternoon, which is the week before the main activities of FLoC.




56 Woodstock Rd, Oxford OX2 6HS, UK