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 610555D5 for ; Tue, 17 Apr 2018 14:17:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,463,1517871600"; d="scan'208";a="323254218" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Apr 2018 16:17:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 82A5F82445; Tue, 17 Apr 2018 16:17:16 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6DFFB8240C for ; Tue, 17 Apr 2018 16:16:05 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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@relay12.mail.ox.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3AgsSROBDjBS9Ywzb/6xBCUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP37oM+wAkXT6L1XgUPTWs2DsrQY07GQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDSwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VjO/4ad2Ux/okD?= =?us-ascii?q?kIOCIl8G/ZjcxwibhUoBOnpxdix4LZb4WYOP94c6jAf90VWHBBU95RWSJPAY2y?= =?us-ascii?q?cpUBAPYOM+tDs4n9vkEDoQeiCQWwBu7izCJDiH/s3a091uQsCR3L3Ao9ENIUsX?= =?us-ascii?q?Xbstf1P7oVX+Co1qnH1zvCb+hV2Tf89YPFdQwsofeRUrJqcMve10svGxnCgFWN?= =?us-ascii?q?s4zqJT2U1v8Os2ia9OdvSfmvh3QgqwB+uDSg3NsjhpPUhoIW013J8zhyzogyJd?= =?us-ascii?q?29UkF7YNikHYNLtyGbOIt2RsQiQ25ytCY90L0Gtoa3fC4PyJQ82h7TceKIfJWV?= =?us-ascii?q?4h77VeaRJy14hHN/d76liRay61Csyuz+VsaoyllKtDRJnsXRun0OzRDT7dKHSv?= =?us-ascii?q?Rl8kev3TaP0Bzc5v9YLUwplqfXMZkhwqQ/lpYLv0TDGzH6lFnrgKKVbEkk/fKo?= =?us-ascii?q?6+v/brXiuJCQLZV7hR3kPqQzmcyzGfg3PRIQX2eH/uS80rPj8lPjQLpUiP05jr?= =?us-ascii?q?fWvIrdJcQBqa61GxVa04c+6xalETin3soXkmIcLFJEZBKIkZPpN0vIIP/mEfez?= =?us-ascii?q?m1OskThxy//cIrLtGIjNLnvFnbz8frh981ZRxBctwd1b/Z5ZC7MMLOjuVkPrqd?= =?us-ascii?q?DVDxE0PxSqz+r7DNhxzIATVGKVDqOHLa/fsUWE6+0yL+SKeYQboizyK+I/6P7r?= =?us-ascii?q?lXI5mUESfa2u3ZYPcnC3APBmLF+ZYHbxnNsNC2IKsRA/TOzuklGCVjFSa2yoUK?= =?us-ascii?q?0g/D07FYGmAZ/CRoCrnrOBwD+2EoBIam1CEFyBEHXle5+ZV/sWdS6fI8FsniQB?= =?us-ascii?q?Vbe7So8h0R+utBX9y7piNufZ5isYuo/51Nl0+eLTlws++ztpD8SHyW6MQXp0nm?= =?us-ascii?q?AJRzItwK9/ulZxylCM0KRimfNXCcZf5+5KUgsiL57T0/R6C8zuWgLGZtqGVEyp?= =?us-ascii?q?QtCiAT0oStIxwsQOY1pmFtW5jhHD2jKqDKUPm7yKApw06KPc0GLrK8Zz0XaVnJ?= =?us-ascii?q?Um2nIvR88KEWy9muYr/AHWA8vNkl6Fv6esb6UVmiDXojSt122L6WheXBRiXKeN?= =?us-ascii?q?eG0Fb1TNrtWxsmrEQ6W8BLZhFxZbwNGZKapiYcavikUATfylJdeIMDH5oHu5GR?= =?us-ascii?q?vdnuDEV4HtYWhIgHSEWRo01jsL9HPDDjAQQyKoombQFjtrTAm9aFiq9vk4oXj9?= =?us-ascii?q?U0xmlljWPX0k7KK8/1suvdLZU+kah+lWszxnrCUyFV37wtGEU4Pd9TokR71VZJ?= =?us-ascii?q?YG2HkC1W/dsFYmbIatK6lz3wRYdg12uwXpx1N+AcNdkppyoQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DEAQD3ANZah6MBQ4FdHAEBARwBAQUBA?= =?us-ascii?q?YQCDnoogyk/mAEagWUBhACOegEKI4FRhU8ZBwEENBQBAgEBAQEBAQEBARMBAQE?= =?us-ascii?q?KCwkIKCMMgjUMgnQRBjAVAwIFIA0PAiYCJBIBBQEiGxOBfoJzAQ+Kboxigx08i?= =?us-ascii?q?wWCHIdBGGiCJYEJhRWBQoF6P4EPgh44gzsLAQOEXoJUAiMChWeBBD6IEIgKCIU?= =?us-ascii?q?RSIhigTQ7gWaBPIc8iTBARoVeDyGBBDNUDYESTTQ/MQaCDAmCJYIFgjNUgxs7g?= =?us-ascii?q?maCVwJuAYw+gi4BAQ?= X-IPAS-Result: =?us-ascii?q?A0DEAQD3ANZah6MBQ4FdHAEBARwBAQUBAYQCDnoogyk/mAE?= =?us-ascii?q?agWUBhACOegEKI4FRhU8ZBwEENBQBAgEBAQEBAQEBARMBAQEKCwkIKCMMgjUMg?= =?us-ascii?q?nQRBjAVAwIFIA0PAiYCJBIBBQEiGxOBfoJzAQ+Kboxigx08iwWCHIdBGGiCJYE?= =?us-ascii?q?JhRWBQoF6P4EPgh44gzsLAQOEXoJUAiMChWeBBD6IEIgKCIURSIhigTQ7gWaBP?= =?us-ascii?q?Ic8iTBARoVeDyGBBDNUDYESTTQ/MQaCDAmCJYIFgjNUgxs7gmaCVwJuAYw+gi4?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.48,463,1517871600"; d="scan'208";a="262359991" Received: from relay12.mail.ox.ac.uk ([129.67.1.163]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Apr 2018 16:16:04 +0200 Received: from smtp6.mail.ox.ac.uk ([163.1.2.206]) by relay12.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1f8ROs-0002F5-ed for caml-list@inria.fr; Tue, 17 Apr 2018 15:16:03 +0100 Received: from mail-lf0-f41.google.com ([209.85.215.41]) by smtp6.mail.ox.ac.uk with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1f8ROs-0001eI-KT for caml-list@inria.fr; Tue, 17 Apr 2018 15:16:02 +0100 Received: by mail-lf0-f41.google.com with SMTP id m202-v6so10312911lfe.8 for ; Tue, 17 Apr 2018 07:16:02 -0700 (PDT) X-Gm-Message-State: ALQs6tBsR36TB0gxJyfi/vFkUrASZeDnv91G3iakHL+1/ySmsc3EfgY2 FE0cANoKuKhhHVVb5MsbokJRR0BWx3toT3kYdC0= X-Google-Smtp-Source: AIpwx48EVo3S8c1Fmgw+afBoNxr3dk9Ca9F9C/ejmfZl6LGHME3NNVM4311Es7KwsGS66WGwovRVd0wSze81LKd5OgA= X-Received: by 10.46.83.14 with SMTP id h14mr1519686ljb.108.1523974561569; Tue, 17 Apr 2018 07:16:01 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a19:5c4f:0:0:0:0:0 with HTTP; Tue, 17 Apr 2018 07:16:00 -0700 (PDT) From: Andrzej Murawski Date: Tue, 17 Apr 2018 15:16:00 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Oxford-Username: lina0645 X-Oxmail-Spam-Status: score=0.0 tests=none X-Oxmail-Spam-Level: / X-Validation-by: andrzej.murawski@cs.ox.ac.uk Subject: [Caml-list] FLoC 2018 - Call for Participation Reply-To: Andrzej Murawski X-Loop: caml-list@inria.fr X-Sequence: 16829 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: THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018) Call for Participation 6-19 July 2018 Oxford, England, UK You are warmly invited to participate in FLoC 2018, the 2018 Federated Logic Conference, to be held in Oxford, UK, on 6-19th July 2018. Registration is now open and we remind speakers and participants to book accommodation as soon as possible, as Oxford is popular in the summer. Website: http://www.floc2018.org/ Registration: http://www.floc2018.org/register/ Accommodation: http://www.floc2018.org/accommodation/ ABOUT FLOC During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called =E2=80=9Cthe calculus of computer science=E2=80=9D, playing a c= rucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science, and was first organised in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in 2014. The seventh Federated Logic Conference (FLoC'18) will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. CONFERENCES FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science: International Conference on Computer Aided Verification (CAV) http://cavconference.org/2018/ IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ International Symposium on Formal Methods (FM) http://www.fm2018.org International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2018/ International Joint Conference on Automated Reasoning (IJCAR) http://ijcar2018.org International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.siglog.org/lics18/ International Conference on Theory and Applications of Satisfiability Testing (SAT) http://sat2018.azurewebsites.net/ Please refer to the individual websites for conference-specific information. KEYNOTES Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs PLENARY LECTURES Peter O=E2=80=99Hearn, Facebook and UCL, Continuous Reasoning for Big Code Byron Cook, Amazon and UCL, Formal Reasoning about the Security of Amazon Web Services CONFERENCE INVITED SPEAKERS CAV: Somesh Jha, Eran Yahav CSF: Srini Devdas, Catuscia Palamidessi FM: Kim Gulstrand Larsen, Annabelle McIver, Leonardo de Moura FSCD: Stephanie Delaune, Grigore Rosu, Peter Selinger, Valeria Vignudelli ICLP: Elvira Albert, Thomas Eiter IJCAR: Erika Abraham, Martin Giese ITP: Dan Grayson, John Harrison, Jean-Christophe Filiatre LICS: Thierry Coquand, Javier Esparza, Ursula Martin, Val Tannen SAT: Christopf Scholl, Rahul Santhanam, Marijn Heule SPECIAL SESSIONS Corrado Boehm Memorial Martin Hofmann Memorial Industry Session FLoC Olympics Please refer to conference websites for more information. PUBLIC EVENTS PUBLIC LECTURE by Stuart Russell, University of California Berkeley, to be held as part of the Strachey Lecture series in the Sheldonian Theatre, the official ceremonial hall of the University of Oxford: http://www.floc2018.org/public-lecture/ PUBLIC DEBATE on =E2=80=9CEthics and Morality of Robotics=E2=80=9D, an even= t in the LogicLounge series (http://www.vcla.at/logiclounge/), first organised at the Vienna Summer of Logic in 2014, to be held at the Oxford Union, a debating society with a long history of iconic debates and world-renowned speakers founded in 1823. Panelists: Luciano Floridi, Ben Kuipers, Francesca Rossi, Matthias Scheutz, Sandra Wachter and Jeannette Wing Moderator: Judy Wajcman http://www.floc2018.org/public-debate/ SUMMIT ON MACHINE LEARNING MEETS FORMAL METHODS The Summit on Machine Learning Meets Formal Methods, supported by the Alan Turing Institute, will bring together academic and industrial leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss the benefits and risks of machine learning solutions. Speakers: Anupam Datta, Mark Girolami, Sumit Gulwani, Pushmeet Kohli, Alison Lowndes, Rupak Majumdar, Aditya Nori, Francesca Rossi, Stuart Russell, Christian Szegedy, Moshe Vardi and Martin Vechev http://www.floc2018.org/summit-on-machine-learning/ FOPSS LOGIC AND LEARNING SCHOOL, 1-6 July 2018 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). Speakers: Borja Balle, Richard Evans, Nina Gierasimczuk, Varun Kanade, Guy Katz, Jan K=C5=99et=C3=ADnsk=C3=BD, Stephen H. Muggleton, Doina Precup,= Dan Roy and James Worrell http://www.floc2018.org/fopss/ MENTORING AND STUDENT EVENTS FLoC will host several events aimed specifically at supporting emerging researchers, some of which will provide financial support, including: LICS 2nd Logic Mentoring Workshop, Sunday 8 July CAV Verification and Deduction Mentoring Workshop, Friday 13 July FM Doctoral Symposium, Saturday 14 July ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic Programming (ICLP =E2=80=93 DC 2018), 18 July WORKSHOPS In addition to conferences, FLoC 2018 will also feature 70+ workshops (7-8 July, 13 July, and 18-19 July). The list of workshops can be found at http://www.floc2018.org/workshops. SOCIAL EVENTS There is one Reception and one Banquet during each FLoC block, and one Workshop Dinner during each of the workshop blocks. For details, see http://floc2018.org/social-events/. Guests are welcome: you can reserve your place(s) via the registration system. REGISTRATION To register for FLoC, go to http://www.floc2018.org/register/ Registration for the main conference block gives you access to any other conference in the same period. Conference registration includes reception, lunches and coffee breaks. Stand up banquet can be added to the conference registration. Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks. A dinner at an Oxford college can be added to the workshop registration. You can bring a guest to the banquet or college dinner for an extra charge. Public events are free of charge. EARLY BIRD REGISTRATION CLOSES on 6th June 2018 LATE REGISTRATION until 25th June 2018 ON SITE REGISTRATION will be possible during the conference. ACCOMMODATION http://www.floc2018.org/accommodation/ We have made block bookings at several locations in Oxford, and have other recommendations as well. Book early to avoid disappointment, as July is a busy period in Oxford! VOLUNTEERING AND TRAVEL SUPPORT A generous scheme to provide travel support for early career researchers and opportunities to volunteer (subject to restrictions) is available: http://www.floc2018.org/volunteer/ LOCAL INFORMATION Our website includes details for travel (including accessibility), venues and things to do in Oxford for our attendees and their families: see http://www.floc2018.org/local-information/ for more information. FLoC 2018 promises to be an exciting meeting, and we hope to see you in Oxf= ord! FLOC 2018 CHAIRS Marta Kwiatkowska Daniel Kroening Moshe Vardi COMMITTEES FLoC'18 Steering Committee General Chair: Moshe Y. Vardi Conference Co-chairs: Daniel Kroening, Marta Kwiatkowska CAV Representative: Orna Grumberg CSF Representative: Stephen Chong FM Representative: Ana Cavalcanti FSCD Representative: Luke Ong ICLP Representative: Torsten Schaub IJCAR Representative: Franz Baader ITP Representative: Larry Paulson LICS Representative: Martin Grohe SAT Representative: Armin Biere SIGLOG Representative: Prakash Panangaden FLoC'18 Programme Committee General Chair: Moshe Y. Vardi Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska CAV: Hana Chockler CSF: Stephen Chong FM: Bill Roscoe FSCD: H=C3=A9l=C3=A8ne Kirchner ICLP: Paul Tarau IJCAR: Roberto Sebastiani ITP: Assia Mahboubi LICS: Anuj Dawar and Erich Graedel FLoC'18 Workshops Committee General Chair: Moshe Y. Vardi Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase CAV: Hana Chockler CSF: Cas Cremers FM: Helen Treharne FSCD: Paula Severi ICLP: Stefan Woltran IJCAR: Alberto Griggio ITP: Assia Mahboubi LICS: Patricia Bouyer SAT: Martina Seidl FLoC'18 Organising Committee Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska Website: Michael Tautschnig PR: Andrzej Murawski Fundraising: Hana Chockler Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase Proceedings: Radu Calinescu Program: Dave Parker Mentoring and Diversity: Alexandra Silva Volunteer Coordinators: Julian Gutierrez, Stefan Kiefer Oxford Union Debate: May Chan CAV: Georg Weissenbacher CSF: Cas Cremers FM: Erik de Vink FSCD: Paula Severi ICLP: Marco Gavanelli IJCAR: Ian Horrocks ITP: Jeremy Avigad LICS: Sam Staton SAT: Christoph Wintersteiger FLoC'18 Local Organising Committee Co-Chair: Daniel Kroening Co-Chair: Marta Kwiatkowska Website: Michael Tautschnig PR: Andrzej Murawski Fundraising: Hana Chockler Workshops Chair: Gethin Norman Workshops Deputy Chair: Christophe Haase Proceedings: Radu Calinescu Program: Dave Parker Mentoring and Diversity: Alexandra Silva Volunteer Coordinator: Julian Gutierrez, Stefan Kiefer Oxford Union Debate: May Chan Admin team =E2=80=93 coordination: Patrizia Ferrari Admin team =E2=80=93 volunteer coordination: Katherine Fletcher Admin team =E2=80=93 publications: Jordan Summers Young Admin team =E2=80=93 venues: Renate Henison Admin team =E2=80=93 speakers: Sarah Baldwin PR Strategy =E2=80=93 Helen Wilcox --=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=