Wednesday, March 21, 2018

[DMANET] Logic and Learning school in Oxford 1 - 6 July

Dear all,

This e-mail advertises the Logic & Learning school organised as part of
FLOC in Oxford on 1 - 6 July.

**The early bird registration deadline is April 15.**

Official website:

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 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. The lectures will be from Sunday 1 July in the morning to
Friday 6 July in the afternoon, which is the week before the main
activities of FLoC.

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 Summer School on Foundations of Programming and Software Systems
(FoPSS) was jointly created by ETAPS, SIGLOG, SIGPLAN and EATCS. It is
additionally sponsored by the Department of Computer Science at Oxford and
The Alan Turing Institute of data science.

Complete list of speakers

Borja Balle (Amazon Research Cambridge) Spectral algorithms for automata
Richard Evans (DeepMind) Inductive logic programming and deep learning
Hado van Hasselt (DeepMind) Reinforcement learning
Nina Gierasimczuk (Technical University of Danemark) Learning and epistemic
modal logic
Varun Kanade (University of Oxford) Statistical learning theory
Guy Katz (Stanford University and Hebrew University of Jerusalem)
Verification of machine learning programs
Jan Křetínský (Technical University of Munich) Learning for verification
Stephen H. Muggleton (Imperial College London) Inductive logic programming
Doina Precup (McGill University and DeepMind) Reinforcement learning
Dan Roy (University of Toronto) Bayesian learning
James Worrell (University of Oxford) Computational learning theory


The summer school is a residential course held at St Anne's College,
Oxford. The registration fee includes bed & breakfast accommodation for 6
days (1-6th July 2018), buffet lunches and evening meals. There will be a
banquet on 4th July at St Johns College.

Arrivals are on 30th June 2018 and departures on 6th July. As the number of
rooms available at St Anne's is very limited, early registration is
strongly advised to avoid disappointment.

Registration fees are:

Early bird £750 15 April, 2018

Late £850 15 May, 2018

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.
FLOC will feature a number of AI-related events, including a public lecture
by Stuart Russell at the Sheldonian Theatre (,
a Debate in the Oxford Union Chamber on Ethics for Robots (,
and the Summit on Machine Learning Meets Formal Methods (

Students and postdocs may also be interested in the FLOC Volunteer

For registration and further information about the Logic & Learning School
(opens early February) see:

Information about FLOC 2018 can be found at:

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.