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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BA573823D7 for ; Thu, 15 Feb 2018 18:18:35 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-vk0-f99.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=209.85.213.99; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 209.85.213.99 as permitted sender) identity=mailfrom; client-ip=209.85.213.99; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vk0-f99.google.com) identity=helo; client-ip=209.85.213.99; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mail-vk0-f99.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARyAGARz1767fRxjXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OwQIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsLxUL40RC+i7791RxD0lC?= =?us-ascii?q?cJOTk58GTNhcxxiqJQvRatqhN7zoLRZoyeKfhwcb7Hfd4CWGRPQMFfWS9PDI28?= =?us-ascii?q?dIYDE/YNMfpEo4Tnu1cCsR2zDhSsCuP1zT9Ig2f73aIk3OQmHwHG0hctEM4VsH?= =?us-ascii?q?jOqdX1Nb0dUeW0zKXS0zrMcu5W1DHg44bGdRAhpOuDXbN2ccfJzEkgDQXFgUmQ?= =?us-ascii?q?qYP7JDOVyvoCs3KB4+V6Se2jkXMnqwJprjigwccsjZPFho0Ryl3C6C53w541KM?= =?us-ascii?q?WmREJnZdOoCphduiGAO4doX88vTXtktSI+x7EepJK2eDYGxI4pyhLCcfCKcIyF?= =?us-ascii?q?7gj+WOqPJzpzmWhrd6ilhxmo9Eit0u38Wdew0FZNtidFl8PDtnEJ1xDK9MiHSe?= =?us-ascii?q?dx8l6v2TuL0w3f8O5EIUczlarUL54u3KQ8mYYUsUTGBiP2mUP2g7GKdkg85OSk?= =?us-ascii?q?9+Dqbq/lq5KcLYN4lBzyP6o0lsG7Bek0Kg0OUHKa+eS42r3j50r5QLBSg/05jK?= =?us-ascii?q?bZt57aJcoAq6GlGA9ZyIMj6xelADej0dQUh2cII09YeB6flYjmJ0nOIOzkDfe4?= =?us-ascii?q?m1mjjC1kx/XCPrH4BpXNL2PDkKv6cLZm609czRIzwspF65JVDLEBOvPzVVXruN?= =?us-ascii?q?zWFB9qezCzlrLsAdB5k4cfQn6nA6mDMaqUv0Xetcw1JOzZa4IStjjVIONj4v/n?= =?us-ascii?q?iH5/lFMALvrh5ocedH3tRqcuGE6ee3e53oZYQDU6+zEmRemvs2WsFDtaZnK8Ra?= =?us-ascii?q?U5v21pA5ngCIbKQ4HrjbCcjn7iQs9mI1teA1XJKk/GMp2eUq5QOimJZMpgmzkF?= =?us-ascii?q?E7WtVt15jEz8hErB07Nia9Hs1GgYuJbkjoUn4uTSkVQs9mQxAZXMlW6KSG5wky?= =?us-ascii?q?UDQDpkhK0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AxAwCfwIVahmPVVdFDGh4BBgyDJYETg?= =?us-ascii?q?RiOfoxxH4MZhlCPDmeBOQNcAQkjh1wZBwQwGAECAQEBAQEBAQEBEgEBAQgLCwg?= =?us-ascii?q?oL4I4DIMmAQE4OzQdCAEFASKKSBA0oURAiymDFYMLAQEFgXCDEAcdRoITAQEBA?= =?us-ascii?q?QEFAgEdCAkBCIRxgXwrhXdEg1YLAoI9gnyCNJNqhH6LTwmIII1YjDiIG44FhmC?= =?us-ascii?q?DIxQlgRcfggpygxYJFoInH4EWAQmBEFoBARYBAY4jAQEB?= X-IPAS-Result: =?us-ascii?q?A0AxAwCfwIVahmPVVdFDGh4BBgyDJYETgRiOfoxxH4MZhlC?= =?us-ascii?q?PDmeBOQNcAQkjh1wZBwQwGAECAQEBAQEBAQEBEgEBAQgLCwgoL4I4DIMmAQE4O?= =?us-ascii?q?zQdCAEFASKKSBA0oURAiymDFYMLAQEFgXCDEAcdRoITAQEBAQEFAgEdCAkBCIR?= =?us-ascii?q?xgXwrhXdEg1YLAoI9gnyCNJNqhH6LTwmIII1YjDiIG44FhmCDIxQlgRcfggpyg?= =?us-ascii?q?xYJFoInH4EWAQmBEFoBARYBAY4jAQEB?= X-IronPort-AV: E=Sophos;i="5.46,517,1511823600"; d="scan'208";a="254954376" Received: from mail-vk0-f99.google.com ([209.85.213.99]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Feb 2018 18:18:02 +0100 Received: by mail-vk0-f99.google.com with SMTP id o17so257503vke.7 for ; Thu, 15 Feb 2018 09:18:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=434BJup5SKA9EJRJsmc0HUSGens4h8l6OLSUJq6TQT4=; b=AqBt/Ew+qY87hHAP1zGMFFuWDBqcWwipi6GgdTXq3et14hk+QjxG9v63/9dZ5IT2Gk egDPl2VSWbZQMLUJ8FVDXjw525i7F772Thv0UvJLFNS9wdv/lQPzi0z6hqKBYZR12EWV V8IboUmSEHV6OXePu3hn0lfwBB6zqNR5bUYa/T/l/hTdEhBfrFrhODK3sK4X+VAoSWdI FgyRqsCSb5rjsBq29tas3IqANpxKbZg6qsYLZxbggboiz+Y83N6yFvrp6RnAcswQfIrQ TwaP7fRvz1HwcI4e6f8PPNkn6R5QDN+5sHlKDjVRWgw3nsFAiZvl3tLG2hdrKtDJp0x/ NKrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=434BJup5SKA9EJRJsmc0HUSGens4h8l6OLSUJq6TQT4=; b=J7Q1goXO+xvEhO2NcQi2dX1Tpm8OwRMUAZpvoQWd/YTV3PubTtgrNfgqPR8U1GhQG1 nlMe8URmdBXxMfZs/wMyebGtZez10DMBuUs/XWZQJCC/rLSVhb3j5JD8+gux/WJ+D7YH sVaftk8TgBfZjbQAwxWTISDB9n7G+LG4mRZwFG5go0FaZw1FYi5xIXhEw7y1HY9n8tvQ pLPqo+jX9CNsy9S+sraI4XFt7ohjC+uKFMZLtBnZZXlSIuE37XXZsEAwU7POqWkXFb8x Wv3q8NdSk9Aapf9HNR5GBDfR0kVYEyiQSwZjrjBAAMYsBRAW3mL9Q2xqU+OSWlFU+iyO 7DYQ== X-Gm-Message-State: APf1xPBikzvb36Mn+Lq5hv1lr2jDDUn40DF4uaqBJq8e+KINbk6qLLDH qlfBPplHek9Xm+EyUa35TxZlJJR3xN1gWS5h7c0WIFfKFcM4oA== X-Google-Smtp-Source: AH8x227n+i6y1umkBYwBCtAUChShv8ApRo8s0Mwgkj+W6nfGIPM8dAzkMLEkYhMS2pX6WKIvw5cDCTmiWAL8 X-Received: by 10.31.53.14 with SMTP id c14mr2620119vka.76.1518715081687; Thu, 15 Feb 2018 09:18:01 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id q12sm594120uae.9.2018.02.15.09.18.00 for ; Thu, 15 Feb 2018 09:18:01 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 4269D1700EA2; Thu, 15 Feb 2018 11:55:31 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180215165531.4269D1700EA2@cs.miami.edu> Date: Thu, 15 Feb 2018 11:55:31 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] SAT/SMT/AR Summer School 2018 SAT/SMT/AR Summer School 2018 We are pleased to announce that the next edition of the SAT/SMT/AR Summer School will take place in Manchester, UK on 3-6th July 2018. Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016. There will also be a special session on computer algebra to continue the activity of the SC2 summer school in 2017. Lecturers for this year's summer school have been announced on the school's website http://ssa-school-2018.cs.manchester.ac.uk/index.php/speakers/ and detailed programme of topics will appear soon. Applications can be made via the following form https://goo.gl/forms/e2hgn5GbnPROMTEK2