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 9E7695D4 for ; Thu, 18 Apr 2019 16:16:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,366,1549926000"; d="scan'208";a="379240116" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Apr 2019 18:16:56 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8698882691; Thu, 18 Apr 2019 18:16:56 +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 3828B822B9 for ; Thu, 18 Apr 2019 18:13:40 +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-it1-f227.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A3oN4wBx+r0qSfoHXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OIeIJqq85mqBkHD//Il1AaPAdyCrakZwLGJ++C4ACpcuM7H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjMusUMj4ZvKqk9xxXLr3BVf+?= =?us-ascii?q?ha2X5kKUickhrh+su85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6XQds4YS2VcRMZcTzFPDJ27?= =?us-ascii?q?YYUMAeQPPf1Vo5Xhq1cSsRezHxWgCP/pxzRVhnH2x6o60+E5HAHJwgMgGNwOsH?= =?us-ascii?q?rPodrpL6ceS+W1zKjSwjXGbvNawyny55XVch0nvPqCU7Vwcc/LxkkuEQPIlkuf?= =?us-ascii?q?ppb+PzKVyusNs3KU7+t6Ve61jG4nsQ5xriC1ycc2lobGnJ8axU7a+Sll3Yo4Ic?= =?us-ascii?q?e0SEhlbt64FpZbqiKUN5NuT888X21lvDw2x74GtJKhYSQHyZUqywTBZ/CZcYWE?= =?us-ascii?q?+g/vWeKPLTtiin9pZaizihW2/ES61+HwSM+520tQoCVfiNnDrHUN2gTT6seZTv?= =?us-ascii?q?t9+V+s2TOV2ADS7uFIOEE0lbbGJ5I4zL48iIQfvEbZEi/5n0X2i6CWdkE69eSy?= =?us-ascii?q?9+vnZbDmqoedN49ylA7+LrwjltKjDek8KAQDXGiW9f6h2LDi/ED1WqtGguM0n6?= =?us-ascii?q?XBtZDVP8Ubpqq3Aw9P1YYj7g6yDzi439Qfk3kHIklIdw6cj4TzPlHOIer3DfK+?= =?us-ascii?q?g1i2jjhk2u3GMqX7AprRNnjDjKvhfbFl5kFA0gUzyNRf64tQCrEAO/LzRlT8tM?= =?us-ascii?q?fYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6d+KFYYtQvDfmN9Ak4eTv?= =?us-ascii?q?hDk3gwlOU7Ou2M4YZXe2ENxtOAOcYHPpg5EMHXpZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?dkv21pOMedFY7GA7uVrvmZxi7iQs9dfSZDC1mJEDHle5jWA65ROhLXGddol3k/?= =?us-ascii?q?bZbkS4Il0kvw5grzyr4iL/aNvyNC782l299y6One0xo18G4sVpXP4yS2V2hx21?= =?us-ascii?q?gwaXoz1aF7r1Z6zw7fg6NjxflZHNlSof5FT1VjOA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AGAgCiobhchuOmVdFbCoN+gRJSWo0Jj?= =?us-ascii?q?TmXYIFnAQ8jimUbBwEENBMBAwEBBAEBAgEBAQETAQEBCAsLCCkaCQyCOiKDEiM?= =?us-ascii?q?BASYSOwwoHQgBBQEiHAuCQ0sBgggPnVE8iiyCIIJ5AQEFgkiDEwcfgSYJCQEIg?= =?us-ascii?q?SCGdIIQgkYXgX+BEYJdgXeBUgsEGIECGghignyCJopVm3cJiBSEJ4dlJ4JpiHK?= =?us-ascii?q?JLJIrjhIPIYFFgXdyLYMNCYEOgQ8Cg1WEWTuFWyMzAZBxAQE?= X-IPAS-Result: =?us-ascii?q?A0AGAgCiobhchuOmVdFbCoN+gRJSWo0JjTmXYIFnAQ8jimU?= =?us-ascii?q?bBwEENBMBAwEBBAEBAgEBAQETAQEBCAsLCCkaCQyCOiKDEiMBASYSOwwoHQgBB?= =?us-ascii?q?QEiHAuCQ0sBgggPnVE8iiyCIIJ5AQEFgkiDEwcfgSYJCQEIgSCGdIIQgkYXgX+?= =?us-ascii?q?BEYJdgXeBUgsEGIECGghignyCJopVm3cJiBSEJ4dlJ4JpiHKJLJIrjhIPIYFFg?= =?us-ascii?q?XdyLYMNCYEOgQ8Cg1WEWTuFWyMzAZBxAQE?= X-IronPort-AV: E=Sophos;i="5.60,366,1549926000"; d="scan'208";a="379239529" X-MGA-submission: =?us-ascii?q?MDGY6e5DP28xLLuyVV5MC7XRCSCe35YwcADhnd?= =?us-ascii?q?cC3TS90AcLyi0nMWKQrEnxWJt9GH2nOa+ii+5P7pIEJ5VproO4Ie5nx+?= =?us-ascii?q?L7VaD7WSU4wOosuQp5vT7cnMm2LozqAS2fhqlxglrwpGIs7q9YbkpUi2?= =?us-ascii?q?Jy7PAS4mCWwxpzOzDw8KApJg=3D=3D?= Received: from mail-it1-f227.google.com ([209.85.166.227]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Apr 2019 18:13:39 +0200 Received: by mail-it1-f227.google.com with SMTP id q14so4192458itk.0 for ; Thu, 18 Apr 2019 09:13:39 -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=fG4qM5NGR/8yjYlXSP4zChSzpMFXoCuVWRtUB8pDKtA=; b=fCOH4hBccCsjQnteQ1tfpdpGRxvNami9I+mKKEQSF/qsFCZcyMypVSl0BZQDqTD5eo ApDEQfM5GzP88aXswD0Pb6f0Nt9hBUEKLg0Jm15w61GW7YS4yNUCuMzyynw7YfVfhFkZ wQn3gyKwPDSHUlO3XjNDZ+gTknYtb5WrKopVUoake3VJAYW2DPOQdKDmmR9NcTFZx2X2 qzHqCd+NKu4E6DWJX15uJHxZBK28lQ6hLfF4cxbG90Oc6eKsgdYAB4TiRBQN8CclcqaD aj9XurNedKSM7/29J2cnSCv7KFeLHVDnjrxvTBv76yvLNEMIqAcRrLpxSOMjXM8dQmyZ h06A== 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=fG4qM5NGR/8yjYlXSP4zChSzpMFXoCuVWRtUB8pDKtA=; b=OpxflkuFucXnSdlj34Mkq8ExjtfGzsX8a/M2nNvIHsxtOjGk6cck0mwTJX8pUHj1dd McNqWLR8QmlCbmgHynGtvAx5sZ5J0kY5SL1pIqhPN2aptOj+ixCJJckbxifGD2hWgwJK 1oF0FTeIBsJnV0+vBqmjp+6DHBmjSZZlOu/iHawK4Mr3SmC9dc5nM+Q78ERdZ7lUq9OP x/900yuahtOzEwvSCvJzvvK9IADFHpR0AaWuO0knfSNqn7eth2ipjtN1ENc3o2uBWLGi fKG6nY6fZIL+L7OwjezjZdt3bSkGKsLyxO0IBAYLasZY+EFCwt3dZITiBv+OO3sKLRSH n5Yw== X-Gm-Message-State: APjAAAVzI0qCXgfIa54H3k4RRjZwJ1M2gDJ/qeWO0XzdJEqLnMcW13Fx G0S8mbSWU1cUnw1XutKUgwvjH/x8cAFIUJH21zX8uJG4+HiHvg== X-Google-Smtp-Source: APXvYqwyE1zgN7riUL2TrUgEE0AG+YLfI3S1RTO1szsB3rPhBlmqdmrQXIbvJtYGu5WUXVA1wOwCSQX76WSA X-Received: by 2002:a24:43c8:: with SMTP id s191mr3659196itb.109.1555604018491; Thu, 18 Apr 2019 09:13:38 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id 13sm252714itm.8.2019.04.18.09.13.37 for ; Thu, 18 Apr 2019 09:13:38 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id DAE1C1700460; Thu, 18 Apr 2019 12:03:25 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190418160325.DAE1C1700460@cs.miami.edu> Date: Thu, 18 Apr 2019 12:03:25 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] ARCADE 2019 CFP Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17495 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: *** CALL FOR PAPERS *** ARCADE http://arcade2019.net/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 25 or 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): Submission deadline: 2 June 2019 Notification: 30 June 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)