<div dir="ltr">LOGIC & LEARNING SCHOOL<div>July 1-6, 2018 (immediately before FLoC 2018)<br>Oxford, UK<br><br>**The early bird registration deadline is April 15.**<br><br>School website: <a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=https%3A%2F%2Fwww.mimuw.edu.pl%2F~fopss18%2F">https://www.mimuw.edu.pl/~fopss18/</a><br>FLoC website: <a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2F">http://www.floc2018.org/</a><br><br>The Logic & Learning School is an opportunity to learn from, and<br>interact with, the world's experts leading recent progress in<br>understanding the relationships between logic and learning. These<br>experts come from both academia and some of the leading industrial<br>research labs (Amazon Research and DeepMind).<br><br>In the last few decades, logic has emerged as a fundamental paradigm<br>for understanding complex systems. It has turned out to be<br>instrumental in formal methods such as program verification, reasoning<br>about hardware, reasoning about real-time systems and, more recently,<br>probabilistic systems. Machine learning has recently had spectacular<br>successes in fields such as image recognition, game playing, and many<br>areas that involve the extraction of information from large datasets.<br>The use of statistical approaches yields practical solutions to<br>problems that seemed out of reach just a few years ago. The<br>understanding of why these approaches are so successful has lagged<br>behind the empirical successes. Using logic as the foundation to<br>understand machine learning to obtain the best of both worlds is a<br>major challenge.<br><br>The programme of the Logic & Learning School consists of eleven<br>lectures of three hours each, starting with five introductory courses<br>on computational and statistical learning theory, reinforcement<br>learning, Bayesian inference, and automata learning and six advanced<br>courses on exciting and recent developments relating logic and<br>learning. The lectures target an audience of logicians and computer<br>scientists broadly construed and do not assume any knowledge on<br>machine learning. Accordingly, the School represents a perfect<br>opportunity to learn for both students and working researchers. The<br>School will take place in St Anne's College in the centre of Oxford,<br>an ideal learning environment with accommodation and lunches provided<br>on site. The lectures will be from Sunday 1 July in the morning to<br>Friday 6 July in the afternoon, which is the week before the main<br>activities of FLoC.<br><br>The Summer School on Foundations of Programming and Software Systems<br>(FoPSS) was jointly created by ETAPS, SIGLOG, SIGPLAN and EATCS. It is<br>additionally sponsored by the Department of Computer Science at<br>Oxford.<br><br>Complete list of speakers<br><br>Borja Balle (Amazon Research Cambridge) Spectral algorithms for<br>automata learning<br>Richard Evans (DeepMind) Inductive logic programming and deep learning<br>Hado van Hasslet (DeepMind) Reinforcement learning<br>Nina Gierasimczuk (Technical University of Danemark) Learning and<br>epistemic modal logic<br>Varun Kanade (University of Oxford) Statistical learning theory<br>Guy Katz (Stanford University and Hebrew University of Jerusalem)<br>Verification of machine learning programs<br>Jan Křetínský (Technical University of Munich) Learning for verification<br>Stephen H. Muggleton (Imperial College London) Inductive logic programming<br>Doina Precup (McGill University and DeepMind) Reinforcement learning<br>Dan Roy (University of Toronto) Bayesian learning<br>James Worrell (University of Oxford) Computational learning theory<br><br>Registration<br><br>The summer school is a residential course held at St Anne's College,<br>Oxford. The registration fee includes bed & breakfast accommodation<br>for 6 days (1-6th July 2018), buffet lunches and evening meals. There<br>will be a banquet on 4th July at St Johns College.<br><br>Arrivals are on 30th June 2018 and departures on 6th July. As the<br>number of rooms available at St Anne's is very limited, early<br>registration is strongly advised to avoid disappointment.<br><br>Registration fees are:<br><br>Early bird     £750      15 April, 2018<br>Late           £850      15 May, 2018<br><br>The summer school is perfectly aligned for students who want to attend<br>the four-yearly Federated Logic Conference (FLOC) taking place in<br>Oxford after the summer school.<br>FLOC will feature a number of AI-related events, including a public<br>lecture by Stuart Russell at the Sheldonian Theatre<br>(<a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2Fspeaker%2Fstuart-russell%2F">http://www.floc2018.org/speaker/stuart-russell/</a>),<br>a Debate in the Oxford Union Chamber on Ethics for Robots<br>(<a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2Fspeaker%2Fdebate%2F">http://www.floc2018.org/speaker/debate/</a>),<br>and the Summit on Machine Learning Meets Formal Methods<br>(<a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2Fsummit-on-machine-learning%2F">http://www.floc2018.org/summit-on-machine-learning/</a>).<br><br>Students and postdocs may also be interested in the FLOC Volunteer Programme:<br><br><a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2Fvolunteer%2F">http://www.floc2018.org/volunteer/</a><br><br>For registration and further information about the Logic & Learning<br>School (opens early February) see:<br><br><a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2Ffopss%2F">http://www.floc2018.org/fopss/</a><br><br>Information about FLOC 2018 can be found at:<br><br><a href="https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501&link=http%3A%2F%2Fwww.floc2018.org%2F">http://www.floc2018.org/</a><br></div></div>
<img src="https://andrzej-s-murawski-dot-yamm-track.appspot.com/FireBase?ukey=1SV1qxI7tOqd1rZXjc7o73BNOMlxlVeFaCL8EcHlKrK4-0&key=YAMMID-44887501" width="1" height="1" alt="beacon" style="display:none; display:none!important;">