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 sympa.inria.fr (Postfix) with ESMTPS id 7C9EA7F61E for ; Tue, 31 Oct 2017 11:34:50 +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@relay11.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=129.67.1.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 129.67.1.162 as permitted sender) identity=mailfrom; client-ip=129.67.1.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@relay11.mail.ox.ac.uk) identity=helo; client-ip=129.67.1.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="postmaster@relay11.mail.ox.ac.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AeABcXhGLblDtulC96lc6gJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75r8+wAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWE1iMJAhj0KSZy?= =?us-ascii?q?I+30HMaS05X2hKiO/MjYaglFrDuhfPV+L1H+pA7V7OEdhYokIaE0jlPCpWINcO?= =?us-ascii?q?BLz0twLE+SmxL17YGx+oRi+mJeobZp/sFNV7nhV68jC6FdBj9gPmwooIXgvBzH?= =?us-ascii?q?CA+O/Wc0U2MMkxMODRKBpBrzQpr+tTH7u/FV3TWTe8b/Hp4uXjH3xqFnUg3lim?= =?us-ascii?q?8iKiQw73rUi4QkpaRXugCspVpa3pTdf5qWNdJ1ZeXabZUTTixcXZACBGR6Hoqg?= =?us-ascii?q?Yt5XXKI6NuFCotyh9lY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiAwAuUfhZh6IBQ4FcDg4BAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYQIEG4nB4MyQ54qAZNHghEBCSOBXogbB0EWAQEBAQEBAQEBAQE?= =?us-ascii?q?SAQEBCgsJCCgvgjgFAwQegk4RBjAVKg0PAiYCJBIBBQEjijQBEIpGkRtAjAyCJ?= =?us-ascii?q?4d0G4J5AQoBAQEBASKBD4IfRYMVgWmCNYQXhQSCYQWiBIdmjRaCFV6FIosZjF8?= =?us-ascii?q?7N4gtFAUfgRUmAYIYVTZNNQaCGQEPCYJjgTQ/dwEBimmBQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DiAwAuUfhZh6IBQ4FcDg4BAQQBAQoBARcBAQQBAQoBAYQ?= =?us-ascii?q?IEG4nB4MyQ54qAZNHghEBCSOBXogbB0EWAQEBAQEBAQEBAQESAQEBCgsJCCgvg?= =?us-ascii?q?jgFAwQegk4RBjAVKg0PAiYCJBIBBQEjijQBEIpGkRtAjAyCJ4d0G4J5AQoBAQE?= =?us-ascii?q?BASKBD4IfRYMVgWmCNYQXhQSCYQWiBIdmjRaCFV6FIosZjF87N4gtFAUfgRUmA?= =?us-ascii?q?YIYVTZNNQaCGQEPCYJjgTQ/dwEBimmBQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,323,1505772000"; d="scan'208";a="298694454" Received: from relay11.mail.ox.ac.uk ([129.67.1.162]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 31 Oct 2017 11:34:49 +0100 Received: from smtp6.mail.ox.ac.uk ([163.1.2.206]) by relay11.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1e9Tse-0004EW-bU for caml-list@inria.fr; Tue, 31 Oct 2017 10:34:48 +0000 Received: from mail-ua0-f174.google.com ([209.85.217.174]) by smtp6.mail.ox.ac.uk with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1e9Tse-000Cl9-Kn for caml-list@inria.fr; Tue, 31 Oct 2017 10:34:48 +0000 Received: by mail-ua0-f174.google.com with SMTP id e46so11667475uaa.4 for ; Tue, 31 Oct 2017 03:34:48 -0700 (PDT) X-Gm-Message-State: AMCzsaVKL3M/Fk7HUOqyqOqMKXTqLLgDiVOtutuQctIqcxqaqpwG73AW 7xXkx17Aw75C5qQEISO422/OFPgSZbS6HuIoVZU= X-Google-Smtp-Source: ABhQp+Ts3imInbdS2PUVKIIBFnogs/3/7BRo1DgSJP4NlE6iwWI9ywRaArMR4Rzrjpyzvd34Isn4MO73Jvs1JgLmOKA= X-Received: by 10.159.58.201 with SMTP id q9mr1133447uag.98.1509446087381; Tue, 31 Oct 2017 03:34:47 -0700 (PDT) MIME-Version: 1.0 Received: by 10.31.13.67 with HTTP; Tue, 31 Oct 2017 03:34:46 -0700 (PDT) From: Andrzej Murawski Date: Tue, 31 Oct 2017 10:34:46 +0000 X-Gmail-Original-Message-ID: Message-ID: To: cade@itu.dk, acl2@cli.com, coq-club@pauillac.inria.fr, agents@cs.umbc.edu, caml-list@inria.fr, categories@mta.ca 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 - 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