From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id BF8CA2DF5 for ; Sat, 17 Mar 2018 00:06:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,318,1517871600"; d="scan'208,217";a="318482922" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Mar 2018 01:06:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 167F982416; Sat, 17 Mar 2018 01:06:09 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6E9568240D for ; Sat, 17 Mar 2018 01:01:51 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Andrzej.Murawski@cs.ox.ac.uk; spf=Pass smtp.mailfrom=Andrzej.Murawski@cs.ox.ac.uk; spf=None smtp.helo=postmaster@relay16.mail.ox.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3A0ZgpJR2MJ7DGCYGksmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMWL/ad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?= =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWVOXt1RWSJPAY2y?= =?us-ascii?q?cpUBAPYaMOlCs4XwvUEDoQeiCQSuAu7k1z9GhmXx3a0/y+ksDQfG0xE6H9MPrn?= =?us-ascii?q?vUrsj+OqAPUeCv1qbJwy7Db/BX2Tzg74XFbhYhruyWXbNxb8XRy1MjGQTYjlWK?= =?us-ascii?q?s4PkMSiV1ucMs2WA8+VgTviji2koqg1ruDeg2t0gipTKho8MzF3P6Ct3wIEwJd?= =?us-ascii?q?KiSU57Z8apEJVUtyGdK4R6XN8uT3xrtSogzb0Go5G7cDAPyJQmwh7fdvKGf5KW?= =?us-ascii?q?7R3+SeadOy94hHZ9dL2lnxay6VOgyvX7VsmoylpFsi1FktzKu3sQ1BLT8tCKRu?= =?us-ascii?q?Z880qvwzqDyhrf5v9eLUwplKfWKoYtzqAsmpcXq0jOHS/7lF/ogKOLdkgo4Oil?= =?us-ascii?q?5/rhb777vJGTLZV0hRv7Mqk2msywH+A4Mg8WUmiB5+u80Kfs/E3kTLhLlPE2l7?= =?us-ascii?q?PWsJHeJcgBoa64DBVZ3Zw/5BqlEjem08wUnXgBLF1bZBKKl5XlNlDALfziEPuz?= =?us-ascii?q?mUqgnC12y/3HP7DtGpDNIWLCkLflc7Z98UlcyA8rwN1D4ZJbF6sBIfPtVU/zrt?= =?us-ascii?q?DWCQI5MxauzOfpE9V91YIeVHmTDa+CKq/StlCJ6vg1LOaQfoMVpTX9J+A/5/Hy?= =?us-ascii?q?lX85hUMdfa6x0JQLcn+4G/BmL1ydYXrtmdcBDXwHvhE+TezvkF2NSyRfZ3e0X6?= =?us-ascii?q?Im5zE0EpiqDYnZRtPlvLvU9y6+GthyZ3taQgSHGHLsMoGFQOskaSSII8YnnCZS?= =?us-ascii?q?Bpa7TIp0/Beirh33yfJCM/Dd5TYbtNq3/d55/f/el1cX6CZ9EN+e0kmGVCdzji?= =?us-ascii?q?UBTHkr3/Ys8gRG1l6f3P0g0LRjHttJ6qYVA15rZ66Z9PRzDpXJYiyEe96ITFi8?= =?us-ascii?q?RdD/WmM6VZQ205kHaABgGIf710yR72+RG7YQ0oezKtks6KuFhCr6PIB62zDP3+?= =?us-ascii?q?88jAt+G5YdBSidnqd6sjPrKcvJnkGezf34b6kY1T+UqiGGxGuK+kZIFgd7F7jG?= =?us-ascii?q?DygS?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BfAQCXWqxah6YCAaNeFgUBAQEBCQEBA?= =?us-ascii?q?QMBAQGEJhByKINdgTBPmRQbgXoBjHGHIAEJGAEHgVuBUYR7GQcBBDQUAQIBAQE?= =?us-ascii?q?BAQEBAQESAQEBCgsJCCgvgjgMgwswFQMCBRgIDTcCJBIBBQEiLoR8AQ+Scoxfg?= =?us-ascii?q?x08iwiCJoddGGmCDoEehBODaIFUghgXPgSCL4ETCwQZgSQEgysWgksDl2RFCYY?= =?us-ascii?q?GiSiNLIovhXIPIYEJNYFzTTQ+MQaCDQiBcUeORlkBAYx/gkkBAQE?= X-IPAS-Result: =?us-ascii?q?A0BfAQCXWqxah6YCAaNeFgUBAQEBCQEBAQMBAQGEJhByKIN?= =?us-ascii?q?dgTBPmRQbgXoBjHGHIAEJGAEHgVuBUYR7GQcBBDQUAQIBAQEBAQEBAQESAQEBC?= =?us-ascii?q?gsJCCgvgjgMgwswFQMCBRgIDTcCJBIBBQEiLoR8AQ+Scoxfgx08iwiCJoddGGm?= =?us-ascii?q?CDoEehBODaIFUghgXPgSCL4ETCwQZgSQEgysWgksDl2RFCYYGiSiNLIovhXIPI?= =?us-ascii?q?YEJNYFzTTQ+MQaCDQiBcUeORlkBAYx/gkkBAQE?= X-IronPort-AV: E=Sophos;i="5.48,318,1517871600"; d="scan'208,217";a="318482356" Received: from relay16.mail.ox.ac.uk ([163.1.2.166]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Mar 2018 01:01:36 +0100 Received: from smtp6.mail.ox.ac.uk ([163.1.2.206]) by relay16.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1ewzHz-00035H-pi for caml-list@inria.fr; Sat, 17 Mar 2018 00:01:35 +0000 Received: from mail-lf0-f52.google.com ([209.85.215.52]) by smtp6.mail.ox.ac.uk with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1ewzHy-0005Q3-Li for caml-list@inria.fr; Sat, 17 Mar 2018 00:01:34 +0000 Received: by mail-lf0-f52.google.com with SMTP id y19-v6so17717270lfd.4 for ; Fri, 16 Mar 2018 17:01:34 -0700 (PDT) X-Gm-Message-State: AElRT7Gb+q1JK+dbTeRn5CH4wvHra5nc0iqjdK7O65fnuQ7r0Bu8ZDje MenFAOv2hqoebLUR9P6d/ekkeF2VYIsJdXWXC3E= X-Google-Smtp-Source: AG47ELvXmfgpIANL2cXerS+0vDi0IOdWbabIn97lGd6ML4KFu34dQP0tkDPRdlNsR7v+rimcZxtsg+lzf1pjlFJuf/c= X-Received: by 10.46.21.86 with SMTP id 22mr2489680ljv.24.1521244894033; Fri, 16 Mar 2018 17:01:34 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 16 Mar 2018 20:01:33 -0400 MIME-Version: 1.0 Sender: Andrzej Murawski From: Andrzej Murawski Date: Fri, 16 Mar 2018 20:01:33 -0400 X-Google-Sender-Auth: 1AoBu0-W1zL88ndHe9vwJqpORRI X-Gmail-Original-Message-ID: Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="94eb2c1cd12a867eb80567906dbf" X-Oxford-Username: lina0645 X-Oxmail-Spam-Status: score=-0.0 tests=HTML_MESSAGE,T_RP_MATCHES_RCVD,UNPARSEABLE_RELAY -0.0 T_RP_MATCHES_RCVD Envelope sender domain matches handover relay domain 0.0 HTML_MESSAGE BODY: HTML included in message 0.0 UNPARSEABLE_RELAY Informational: message has unparseable relay lines X-Oxmail-Spam-Level: / X-Validation-by: andrzej.murawski@cs.ox.ac.uk Subject: [Caml-list] FoPPS Logic and Learning School (Oxford, July 1-6) Reply-To: Andrzej Murawski X-Loop: caml-list@inria.fr X-Sequence: 16728 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --94eb2c1cd12a867eb80567906dbf Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable LOGIC & LEARNING SCHOOL July 1-6, 2018 (immediately before FLoC 2018) Oxford, UK **The early bird registration deadline is April 15.** School website: https://www.mimuw.edu.pl/~fopss18/ FLoC website: http://www.floc2018.org/ 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 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. 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. Complete list of speakers Borja Balle (Amazon Research Cambridge) Spectral algorithms for automata learning Richard Evans (DeepMind) Inductive logic programming and deep learning Hado van Hasslet (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=C5=99et=C3=ADnsk=C3=BD (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 Registration 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 =C2=A3750 15 April, 2018 Late =C2=A3850 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 (http://www.floc2018.org/speaker/stuart-russell/ ), a Debate in the Oxford Union Chamber on Ethics for Robots (http://www.floc2018.org/speaker/debate/ ), and the Summit on Machine Learning Meets Formal Methods (http://www.floc2018.org/summit-on-machine-learning/ ). Students and postdocs may also be interested in the FLOC Volunteer Programme: http://www.floc2018.org/volunteer/ For registration and further information about the Logic & Learning School (opens early February) see: http://www.floc2018.org/fopss/ Information about FLOC 2018 can be found at: http://www.floc2018.org/ [image: beacon] --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --94eb2c1cd12a867eb80567906dbf Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
LOGIC & LEARNING SCHOOL
July 1-6, 2018 (immediatel= y before FLoC 2018)
Oxford, UK

**The early bird registration dead= line is April 15.**

School website: https://www.mimuw.edu.pl/~fopss18/
FLoC= website: http://www.floc2= 018.org/

The Logic & Learning School is an opportunity to le= arn from, and
interact with, the world's experts leading recent prog= ress in
understanding the relationships between logic and learning. Thes= e
experts come from both academia and some of the leading industrial
= research labs (Amazon Research and DeepMind).

In the last few decade= s, 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-ti= me systems and, more recently,
probabilistic systems. Machine learning h= as recently had spectacular
successes in fields such as image recognitio= n, game playing, and many
areas that involve the extraction of informati= on from large datasets.
The use of statistical approaches yields practic= al solutions to
problems that seemed out of reach just a few years ago. = The
understanding of why these approaches are so successful has laggedbehind the empirical successes. Using logic as the foundation to
under= stand machine learning to obtain the best of both worlds is a
major chal= lenge.

The programme of the Logic & Learning School consists of = eleven
lectures of three hours each, starting with five introductory cou= rses
on computational and statistical learning theory, reinforcement
= learning, Bayesian inference, and automata learning and six advanced
cou= rses on exciting and recent developments relating logic and
learning. Th= e lectures target an audience of logicians and computer
scientists broad= ly construed and do not assume any knowledge on
machine learning. Accord= ingly, the School represents a perfect
opportunity to learn for both stu= dents and working researchers. The
School will take place in St Anne'= ;s College in the centre of Oxford,
an ideal learning environment with a= ccommodation and lunches provided
on site. The lectures will be from Sun= day 1 July in the morning to
Friday 6 July in the afternoon, which is th= e week before the main
activities of FLoC.

The Summer School on F= oundations of Programming and Software Systems
(FoPSS) was jointly creat= ed by ETAPS, SIGLOG, SIGPLAN and EATCS. It is
additionally sponsored by = the Department of Computer Science at
Oxford.

Complete list of sp= eakers

Borja Balle (Amazon Research Cambridge) Spectral algorithms f= or
automata learning
Richard Evans (DeepMind) Inductive logic program= ming and deep learning
Hado van Hasslet (DeepMind) Reinforcement learnin= g
Nina Gierasimczuk (Technical University of Danemark) Learning and
e= pistemic modal logic
Varun Kanade (University of Oxford) Statistical lea= rning theory
Guy Katz (Stanford University and Hebrew University of Jeru= salem)
Verification of machine learning programs
Jan K=C5=99et=C3=ADn= sk=C3=BD (Technical University of Munich) Learning for verification
Step= hen H. Muggleton (Imperial College London) Inductive logic programming
D= oina Precup (McGill University and DeepMind) Reinforcement learning
Dan = Roy (University of Toronto) Bayesian learning
James Worrell (University = of Oxford) Computational learning theory

Registration

The sum= mer 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 a= void disappointment.

Registration fees are:

Early bird =C2=A0= =C2=A0 =C2=A3750 =C2=A0 =C2=A0 =C2=A015 April, 2018
Late =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A3850 =C2=A0 =C2=A0 =C2=A015 May, 2018

The = summer school is perfectly aligned for students who want to attend
the f= our-yearly Federated Logic Conference (FLOC) taking place in
Oxford afte= r the summer school.
FLOC will feature a number of AI-related events, in= cluding a public
lecture by Stuart Russell at the Sheldonian Theatre
= (http://www.floc2018.org/speaker/stuart-russell/),
a Debate in the = Oxford Union Chamber on Ethics for Robots
(http://www.floc2018.org/speaker/deba= te/),
and the Summit on Machine Learning Meets Formal Methods
(http://www.floc2018.org/summit-on-machine-learning/).

Students = and postdocs may also be interested in the FLOC Volunteer Programme:
http://www.fl= oc2018.org/volunteer/

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

= http://www.floc201= 8.org/fopss/

Information about FLOC 2018 can be found at:
http://www.floc2018.org/<= /a>
3D"beacon" --94eb2c1cd12a867eb80567906dbf--