From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 903578239C for ; Tue, 5 Dec 2017 02:09:41 +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@relay14.mail.ox.ac.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Andrzej.Murawski@cs.ox.ac.uk) identity=pra; client-ip=163.1.2.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="Andrzej.Murawski@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Andrzej.Murawski@cs.ox.ac.uk designates 163.1.2.162 as permitted sender) identity=mailfrom; client-ip=163.1.2.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="Andrzej.Murawski@cs.ox.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay14.mail.ox.ac.uk) identity=helo; client-ip=163.1.2.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="postmaster@relay14.mail.ox.ac.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AVmFVCx+3+JT90f9uRHKM819IXTAuvvDOBiVQ1KB8?= =?us-ascii?q?2uIcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47IXEDJunC58RIVHxz+M0I1?= =?us-ascii?q?erW0ScbuiJG83uy/05zPfkNEh371arRraR6ysA/5rsALgI9mI613yx3To3IOdf?= =?us-ascii?q?4SjWpnKFSPhD73/YGt+ZRotSlcprZp/MdFVeD+fr8kZb1eFjUvdW4voIXgvAXO?= =?us-ascii?q?QgyV53YHemAKm1xDCkyN5xjkG571tgPxreM70zLcIcD9TbY1XjLk5qwtSRuswC?= =?us-ascii?q?wDLxYy92TPzMptl+RWrA/nvBM7i4XTZZmRM/VWdbibe9YBWCxMUtsVHydGB5um?= =?us-ascii?q?aJsnA+0Ke+dT6YD24UYN6VO1Agy0GefoxTlFmjru1Lc71vwJHQDPmgIhWc8WtT?= =?us-ascii?q?LZt4bbLqAXBMmzwLPawDeLSu5M0Cjm64mAJjknreueULA2VNfLwFY0FALthU7W?= =?us-ascii?q?rpyjNjjTy+db4DvT1PZpSe/60z1vkAp2uDX6mpYh?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ByAwDX8CVah6ICAaNcDhABBgyEEhBuJ?= =?us-ascii?q?weDNUOeIQGWDAEJI4FeiGkHQxQBAQEBAQEBAQEBEgEBAQgNCQgoL4I4BQMEHoJ?= =?us-ascii?q?TEQYwFSoNDwImAiQSAQUBI4ozARCKEZEcQIwQgieEFQGDXxuCUQEKAQEBAQEig?= =?us-ascii?q?Q+COEWDG4FpgjWEGoUSgmMFomyHdI0dghZjhS6LL4x+PzyIQBQFH4EWNoFvTDQ?= =?us-ascii?q?+MgaBYQEPCYJZgTQEO3gBAYgmgUQBAQE?= X-IPAS-Result: =?us-ascii?q?A0ByAwDX8CVah6ICAaNcDhABBgyEEhBuJweDNUOeIQGWDAE?= =?us-ascii?q?JI4FeiGkHQxQBAQEBAQEBAQEBEgEBAQgNCQgoL4I4BQMEHoJTEQYwFSoNDwImA?= =?us-ascii?q?iQSAQUBI4ozARCKEZEcQIwQgieEFQGDXxuCUQEKAQEBAQEigQ+COEWDG4FpgjW?= =?us-ascii?q?EGoUSgmMFomyHdI0dghZjhS6LL4x+PzyIQBQFH4EWNoFvTDQ+MgaBYQEPCYJZg?= =?us-ascii?q?TQEO3gBAYgmgUQBAQE?= X-IronPort-AV: E=Sophos;i="5.45,362,1508796000"; d="scan'208";a="303953513" Received: from relay14.mail.ox.ac.uk ([163.1.2.162]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Dec 2017 02:09:40 +0100 Received: from smtp4.mail.ox.ac.uk ([129.67.1.207]) by relay14.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1eM1jv-0005lG-lN for caml-list@inria.fr; Tue, 05 Dec 2017 01:09:39 +0000 Received: from mail-lf0-f48.google.com ([209.85.215.48]) by smtp4.mail.ox.ac.uk with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1eM1jv-0002AL-EK for caml-list@inria.fr; Tue, 05 Dec 2017 01:09:39 +0000 Received: by mail-lf0-f48.google.com with SMTP id 94so21322267lfy.10 for ; Mon, 04 Dec 2017 17:09:39 -0800 (PST) X-Gm-Message-State: AJaThX4r9HCKdIPeWq4lu/19WUTLb1fO2Qv8Ol4tjTETTBY/2Gc8i9kr wJZGEGDRHtE9wNQfLkl+pbmk9MrlyWJgIhD5do4= X-Google-Smtp-Source: AGs4zMZiIS5XyzOIsuQbYgN/IFQcOpa2HeXhpzZ6aAX9Jv/XUmkr3W0vJitoDVsNHD4myhih3ehNy/QiJB7VZuXlMms= X-Received: by 10.46.1.18 with SMTP id 18mr8601502ljb.51.1512436178654; Mon, 04 Dec 2017 17:09:38 -0800 (PST) MIME-Version: 1.0 Received: by 10.25.145.68 with HTTP; Mon, 4 Dec 2017 17:09:38 -0800 (PST) From: Andrzej Murawski Date: Tue, 5 Dec 2017 01:09:38 +0000 X-Gmail-Original-Message-ID: Message-ID: To: cade@itu.dk, coq-club@pauillac.inria.fr, agents@cs.umbc.edu, caml-list@inria.fr, categories@mta.ca, cav-all@csa.cs.technion.ac.il, clp@comp.nus.edu.sg, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, compulognet-parimp@dia.fi.upm.es Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Oxford-Username: lina0645 X-Oxmail-Spam-Status: score=-0.0 tests=T_RP_MATCHES_RCVD -0.0 T_RP_MATCHES_RCVD Envelope sender domain matches handover relay domain X-Oxmail-Spam-Level: / X-Validation-by: andrzej.murawski@cs.ox.ac.uk Subject: [Caml-list] FLoC 2018 - Second Joint Call for Papers FLoC 2018 =E2=80=94 The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modelled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. 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. 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/people/cas.cremers/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 Calls for Papers, deadlines and information on how to submit. In addition to conferences, FLoC 2018 will also feature 79 workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June =E2=80=93 6 July). The list of workshops can be found at http://www.floc2018.org/workshops. A separate call for workshop papers will follow in February 2018. IMPORTANT DATES Conference papers due: see individual conference webpages Conference papers notification: 31st March 2018 Workshop papers due: 15th April 2018 Workshop papers notification: 15th May 2018 Camera-ready versions: 31st May 2018 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 Programme Committee Chairs General Chair: Moshe Y. Vardi Co-chairs: Daniel Kroening, Marta Kwiatkowska CAV: Hana Chockler, Georg Weissenbacher CSF: Stephen Chong, St=C3=A9phanie Delaune FM: Jan Peleska, Bill Roscoe FSCD: H=C3=A9l=C3=A8ne Kirchner ICLP: Alessandro dal Pal=C3=B9, Paul Tarau IJCAR: Didier Galmiche, Stephan Schulz, Roberto Sebastiani ITP: Jeremy Avigad, Assia Mahboubi LICS: Martin Hofmann SAT: Olaf Beyersdorff, Christoph Wintersteiger