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 6A5721E6 for ; Thu, 6 Jun 2019 15:16:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,559,1557180000"; d="scan'208";a="386330711" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jun 2019 17:16:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0FD23824A7; Thu, 6 Jun 2019 17:16:51 +0200 (CEST) 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 6656E8247D for ; Thu, 6 Jun 2019 16:50:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-ua1-f98.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AM/mlUxKemHB1hfgXKdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLvXxwZ3uMQTl6Ol3ixeRBMOHsqsC0raK+PC4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oMRm7ogrcusYVjId+N6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhS?= =?us-ascii?q?EaPDA77W7XkNR9gr9FrhympBJxzY7abZqJOPZiYq/RYckXSXZdUstXSidPApm8?= =?us-ascii?q?b4wKD+cZMuZXsY79p1UArRalGQasH/njyjpJhnDs2K060v4tHh/b0ww9Gd8FrX?= =?us-ascii?q?rarNLwNKgIUOC1yrHFwivZYPNN2Tby9IjIfQogofGWR75wdtDRyUY3GwzflFWf?= =?us-ascii?q?tZbqMC6L2egTr2SX8u5tWfipi2E5twF8pCWkyMQ0ioTRmI4Z1lTJ+T96zYs1P9?= =?us-ascii?q?G0VlB3bcC+HJZUtCyWL5Z6T8c8T21ytis216cKtJ2/cSQQ1Zgr2RjSYOGdfYeS?= =?us-ascii?q?+BLsTuORLC94hH17fLK/gA6/8U26xe39Usm4yUtKoTBYntXVuHAA0x/e5tKISv?= =?us-ascii?q?t6+Ueh1jKP2B7J5u5YJkA0kLLXK58nwrEuipoeqVrPEjPylUnsj6Kbdl8o9va2?= =?us-ascii?q?5+j5eLnropyRO5dxig7kM6QunsK/Af4/MggLR2Wb9vqz1Lrt/U33W7hFkuY2nr?= =?us-ascii?q?PcsJDbP8sbo6+5DxVL3Yk+9hazFy2m38gAnXkbMFJFfwqKgJTzNFHLJPD0FPO/?= =?us-ascii?q?g1W3kDd33P3GJb3gApDVLnfZirvhfLB961RdyAUp19xf6YhUWfk9J6enUUb0sJ?= =?us-ascii?q?ncDwQlGw2y2efuTttngNAwQ2WKV6CUN63cmVSToOcuKuyNIoIZpWWuY8M57uLj?= =?us-ascii?q?2Cdq0WQWerOkiMNOOSKIW89+KkDcWkLCx9IIEGMEpA07FbC4g0bEVD9aYnf0Uq?= =?us-ascii?q?4htGhiVdCWSLzbT4Xou4SvmSe2GpoMOzJDA1GIVGrhLsCKCqdKZyWVLcts1DcD?= =?us-ascii?q?UOr5EtNz5VSVrAb/joFfAK/M4CRB6cDoz55w5uTWlFc/+SEmV8k=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CcAgBiJ/lch2LeVdFbCh0BAQUBBwUBg?= =?us-ascii?q?WUCgWWBFFJajQ+NApd1gRADVAEIAQMBDCMMAQGHJRsHAQQ0EwEDAQEEAQECAQE?= =?us-ascii?q?DARMBAQEIDQkIKSMMQgEQAYFmIoMSIwEBJhI7DCgdCAEFASIcC4JDSwGCCg+bQ?= =?us-ascii?q?jyKL4IignkBAQWCSIMPByCBJwkJAQiBIgGHA4ISgkUXgX+BEYJdgXcBgVELBBi?= =?us-ascii?q?BAhoIYoJ9giaLNp1nCYhThFOIGyeDDIlZiiOECZAXjzcPIYFFgXlyLYMNCYEOe?= =?us-ascii?q?BgCg1aEWTuFWyMzAYUkil4BAQ?= X-IPAS-Result: =?us-ascii?q?A0CcAgBiJ/lch2LeVdFbCh0BAQUBBwUBgWUCgWWBFFJajQ+?= =?us-ascii?q?NApd1gRADVAEIAQMBDCMMAQGHJRsHAQQ0EwEDAQEEAQECAQEDARMBAQEIDQkIK?= =?us-ascii?q?SMMQgEQAYFmIoMSIwEBJhI7DCgdCAEFASIcC4JDSwGCCg+bQjyKL4IignkBAQW?= =?us-ascii?q?CSIMPByCBJwkJAQiBIgGHA4ISgkUXgX+BEYJdgXcBgVELBBiBAhoIYoJ9giaLN?= =?us-ascii?q?p1nCYhThFOIGyeDDIlZiiOECZAXjzcPIYFFgXlyLYMNCYEOeBgCg1aEWTuFWyM?= =?us-ascii?q?zAYUkil4BAQ?= X-IronPort-AV: E=Sophos;i="5.63,559,1557180000"; d="scan'208";a="386324454" X-MGA-submission: =?us-ascii?q?MDHzudUKAIY4g/S+MbRAtyu3F8MNhJX14Emf7k?= =?us-ascii?q?jhoA788cN6210XtGZZ1snOkXWsld9nlrj8YQO9g0u7rUfX6KqctP+df8?= =?us-ascii?q?1YC/1FOq5bwDAtOuO+n+BTT4OD0DXW1NpD1QHfcSMQOeZxeNrpxdkncu?= =?us-ascii?q?dwcP1z14JWZCM8J+ol2M/Yvw=3D=3D?= Received: from mail-ua1-f98.google.com ([209.85.222.98]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Jun 2019 16:50:56 +0200 Received: by mail-ua1-f98.google.com with SMTP id s4so949346uad.7 for ; Thu, 06 Jun 2019 07:50:56 -0700 (PDT) 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=7BpPKTV3w5hLKbywalaGeZAaP8X6OaR2yAfoihtBvCY=; b=q4O5/rztKTO2Ka7moxBCOvXFa3fJpkw5b+rU6UBAzLgoPO00GTybpLa67b010ecncb YzVuH4RyPrlgsjHUs1S100JB01acZ0JD0QMnOdiNakN1KMaw7b2Q1FGCiRUGkb73nfnX TzOXs5jflTvFX2ZfvE1pq1B5leAWgYqIK5HMBqXK4a/pGGQWqajMbYVmVFrnMPk4XpLr VJsB31S+W4Z22G0xvuk0B4Uendbt/gwVj6n9dEMiCHh5G8EEEiQerf8kVakCMwBtbw7o 9FrPUm9WWeKtEAF6mmwacz38eVsxUGbR5UskH2h7QdlUOddTMAeq+nA4xqBqPYWC6ZYy gcaA== 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=7BpPKTV3w5hLKbywalaGeZAaP8X6OaR2yAfoihtBvCY=; b=BUn/veDJiBaKXAI/pwwhm3dVjvNVK2BPqhWg6k1uqvViaV2cfwUXvq5Ejn0IuDW39G aS66cfoQhlStWPV3RqB9HcNbPtGJ2xGAnUBm31QSa6DXiHNaDG0j1k4GSl8lJmLwSDbO k35z2cbxNPEQ+Nw3CIZA+NVax08vlhZl9dmFkeXQcyQqdwASvfSdnHmr8/db4XBr9gOs quCKmLTSIrpZlTcTlC2+EvnuAGP3dr1Whze+HCIpIhVAg3YqiEBTMFe2DgxIKIW/LOok At1em5KPfUBFZHPBOitYnwqS+REHx2iKhDOZj8kgiRn7+sP/e6HTi8OSBj16cLl1bvPy NuYQ== X-Gm-Message-State: APjAAAW83VWrhhGjZnfm30d/gP4CO/NKcbAdeGj8r1iyc7YZJlcUFauM YD0kd5OaNLsNEnxGYz5p2nWUSkPfnw8zFOyICKy1pQvW6WDzOA== X-Google-Smtp-Source: APXvYqz7208WHGgGiENDI1xy9Z1VwmnQ0GOZrcqIPjn9hPTBxzmEhNNnPZ6L+UBrSTrdgm12bg5VLnbx5Pf9 X-Received: by 2002:ab0:2488:: with SMTP id i8mr10896147uan.104.1559832655441; Thu, 06 Jun 2019 07:50:55 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id 203sm213086vkf.6.2019.06.06.07.50.55 for ; Thu, 06 Jun 2019 07:50:55 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id CD1A61700B08; Thu, 6 Jun 2019 10:50:28 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190606145028.CD1A61700B08@cs.miami.edu> Date: Thu, 6 Jun 2019 10:50:28 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] ARCADE 2019 - submission deadline extension Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17610 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 submission deadline of ARCADE 2019 has been extended to 23 June 2019! ARCADE is a lively informal workshop, intended to discuss ideas, challenges and directions related to the future of automated reasoning. Make it more interesting and fun by contributing your ideas! *** CALL FOR PAPERS *** ARCADE http://arcade2019.net/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 26 August 2019, Natal, Brazil (co-located with CADE-27) DESCRIPTION: The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal. We invite extended abstracts (2-4 pages, using the EasyChair class style http://www.easychair.org/publications/for_authors) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage: Challenges: What are the next grand challenges for research on automated reasoning? Thereby, we refer to problems, solving which would imply a significant impact (e.g., shift of focus) on the CADE community and beyond. Applications: Where is automated reasoning applicable in real-world (industrial) scenarios? Which directions should be pursued to open new application domains? Directions: Based on the grand challenges and requirements from real-world applications, what are the research directions the community should promote? What bridges between the different subcommunities of automated reasoning need to be strengthened? What new communities should be included (if at all)? Exemplary achievements: What are the landmark achievements of automated reasoning whose influence reached far beyond the CADE community itself? What can we learn from those successes when shaping our future research? Input from our community raised exciting questions like the following: - What is the role of automated reasoning in AI, and vice versa? - How can AR help to obtain explainable AI? - What can full first-order logic as opposed to SAT/SMT do for verification? - How to identify relevant facts from large knowledge bases? - How can provers exploit semantic knowledge? - How can we ensure reliability of formal verification tools? - How can we attract young people to our field? in addition to many other intriguing issues (see http://arcade2019.net/#topics for an extensive collection). But we are most interested in your take on the upcoming challenges! At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in an EPiC post-proceedings, taking into account the discussion. Submissions are to be made via the following EasyChair link: https://easychair.org/conferences/?conf=3Darcade2019 IMPORTANT DATES (Anywhere on Earth): New submission deadline: 23 June 2019 New notification: 7 July 2019 Workshop: 26 August 2019 Post-proceedings deadline: 29 September 2019 PROGRAM COMMITTEE: Franz Baader, TU Dresden Christoph Benzmueller, Freie Universitaet Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjorner, Microsoft Research Jasmin Christian Blanchette, Inria Nancy & LORIA Maria Paola Bonacina, Universite degli Studi di Verona Pascal Fontaine, LORIA, Inria, University of Lorraine Silvio Ghilardi, Universite degli Studi di Milano Jurgen Giesl, RWTH Aachen Alberto Griggio, FBK-IRST Reiner Hahnle,TU Darmstadt Marijn Heule, The University of Texas at Austin Cezary Kaliszyk, University of Innsbruck Laura Kovacs, Vienna University of Technology Aart Middeldorp, University of Innsbruck Neil Murray, SUNY at Albany David Plaisted, University of North Carolina at Chapel Hill Andrei Popescu, Middlesex University London Renate Schmidt, The University of Manchester Stephan Schulz, DHBW Stuttgart Martin Suda, Czech Technical University (co-chair) Geoff Sutcliffe, University of Miami Josef Urban, Czech Technical University Christoph Weidenbach, Max Planck Institute for Informatics Sarah Winkler, University of Innsbruck (co-chair)