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 ESMTP id 340465D4 for ; Tue, 3 Mar 2020 15:00:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,511,1574118000"; d="scan'208";a="438619567" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Mar 2020 16:00:22 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 62B887F44F; Tue, 3 Mar 2020 16:00:22 +0100 (CET) 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 E8C507F3B1 for ; Tue, 3 Mar 2020 15:57:15 +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-vk1-f225.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AyqQzVhTJMas/ISHZa9SYus+l69psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZRKN2/xhgRfzUJnB7Loc0qyK6vymADReqsnb+Fk5M7VyFDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMnIduNqc8xhTLr3dWZu?= =?us-ascii?q?9b2X5mKVWPkhnz4cu94IRt+DlKtfI78M5AX6T6f6AmQrFdET8rLWM76tD1uBfa?= =?us-ascii?q?VQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi66BrSAL0iC?= =?us-ascii?q?oCKjU0/n3bhtB2galGph+quh5xzJPOYIyNKfRwYKTTc9AUS2RBRctdSzBNDp+g?= =?us-ascii?q?Y4YVE+YNIeBVpJT9qVsUqhu+ABGhBOzxxT9PiH/207Y33Pg6EQ3c2QwgHsgBsH?= =?us-ascii?q?HVrNnvKqgdTP21wa/VxjvNaPNW3C3y6InOch05uvGDQat8cdHIyUkyDQzFlEuf?= =?us-ascii?q?pZbiPzOP2eQBq2mb7+h8Wu21kW4rtR19riazyss2jYnJnI0Vxkja+ipj24Y0Jc?= =?us-ascii?q?G3SE5hbt6lCptcrSaaN5F5Qs86WGFooDw6yrwAuZ60YicK0o4ryALYa/yCdYWD?= =?us-ascii?q?/xHtVP6JLDtmmH5ofKizihWy/ES61OHwSNS43ExUoiZbktTArm0B2hjN5sSdRP?= =?us-ascii?q?Zx412t1DWL2gzJ9+1IP0Y5nrfBJZE72L4/jJ8TvFzDHiDonEX2i7ebdkA+9eip?= =?us-ascii?q?7+Tre6vmppyBO4NthAHyLLoil8ylDeQ3NQgOWGeb+eCi27H54UL5R7BKguU3kq?= =?us-ascii?q?nfrp/aOdwWqrClDwJRyIou6BayAy243NgGgHULNkxJdAyHgoTxPlHBOvH4DfOx?= =?us-ascii?q?g1S2lzdrwujLPrL/DZXKIHjDnqzscqpm60JGzQozzMpQ55dVCr0bPv38R1LxuM?= =?us-ascii?q?TCDhAlKwy03/rnCNJl24wCQ22PB6uZPLrWsV+J/eIvP/KBZJQVuTb4M/gq/eTi?= =?us-ascii?q?jX4/mV8HfKmmx4EbaH6iHqcuH0LMNXHlh9NEFWYRoiI/SvbrgRuMS2gASWy1Wv?= =?us-ascii?q?cz6zY1BqqtFsHGR4mogfqM0DroTdVtemlaBwXUQj/TfIKeVqJUMX/AEopaijUB?= =?us-ascii?q?EIOZZcoh2BWp7lGozrNmKq/K+XRdu8i5iZ564OrckRx0/jtxXZzEgjO9Clpsl2?= =?us-ascii?q?ZNfAcYmaV2oEhz0FCGiPQqiOceEN1a4vIPXwsnZ8eFk75KTuvqUweERe+nDU68?= =?us-ascii?q?S4z6UzoqCNcwytoPJUtxBof6gw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B6AgDYb15eh+HdVdFlhVZVXI0XiQyZZ?= =?us-ascii?q?gNUAQgBAwEMJQoEAQGGPhwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQgNCQgphV0?= =?us-ascii?q?Mgjsigx8LIwEBJAISOzQdCAEFASInBweDBAGCew+fXoEEPYxagn8BAQWCRYMrC?= =?us-ascii?q?SOBHwkJAQiBJodHghmCRRqCAIERNoIpB4MTJA4LAwEagSABg2uCLJgml3qKGI8?= =?us-ascii?q?IKIJJhEmDVoQUjDWER5MnkmgPI4FGgXpyLYMNCUcYDY43g1mFFIVfIzMCjiYBJ?= =?us-ascii?q?4IbAQE?= X-IPAS-Result: =?us-ascii?q?A0B6AgDYb15eh+HdVdFlhVZVXI0XiQyZZgNUAQgBAwEMJQo?= =?us-ascii?q?EAQGGPhwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQgNCQgphV0Mgjsigx8LIwEBJ?= =?us-ascii?q?AISOzQdCAEFASInBweDBAGCew+fXoEEPYxagn8BAQWCRYMrCSOBHwkJAQiBJod?= =?us-ascii?q?HghmCRRqCAIERNoIpB4MTJA4LAwEagSABg2uCLJgml3qKGI8IKIJJhEmDVoQUj?= =?us-ascii?q?DWER5MnkmgPI4FGgXpyLYMNCUcYDY43g1mFFIVfIzMCjiYBJ4IbAQE?= X-IronPort-AV: E=Sophos;i="5.70,511,1574118000"; d="scan'208";a="341117260" X-MGA-submission: =?us-ascii?q?MDHtuRy+ahH+2CgFm1FGsrKwcxT6WfWKqccIGK?= =?us-ascii?q?s0OqZpi/USmNUFdUrk6M+0xSVtLJigyVVgW2lXwbFIZeRSQ77DECR4ms?= =?us-ascii?q?VekVTVqbEg/UoHpT0NJa6+l5pL3SH66fxcUL/EhpqtMJxU52rLU4OKgw?= =?us-ascii?q?5LvvxVdQC+cCHvuQT9MLbZMw=3D=3D?= Received: from mail-vk1-f225.google.com ([209.85.221.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Mar 2020 15:57:14 +0100 Received: by mail-vk1-f225.google.com with SMTP id y201so943097vky.8 for ; Tue, 03 Mar 2020 06:57:14 -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=xPJKG4j3AL8Ta1IOUZew4jQTiXlMprskPH6yTWHjt0I=; b=lh17Re1NHR5Ro+1vwTBC4ojrOSe1FZmfzoLdpPc3v2qPShxaAx6Hr9rooFmemvjsaf BXiUHG8zHvXvQFVR2eGQzSw6E97GSdRHp5qRWKotOVuUDBi9Keru3EUtIXIm8k6cSrFh FFoGj11n0b4rCF6g3CZZxH2j86mesd6JRKfoJt13Q4ReAXzzqbwbWRT76AIKREGojz2y qHgTxuClqZf9gNIG1g+LqY/Vx5yWNMHyBXEQPqqLDfAYOSNqacIvcB3jsD6F9OBhlUre 9Oxy14c5T9KRb4qp28rYB/r+6jOHw7I7OkFMS7o+f7hR3G680hv11yZaD5XiZEEaWJ05 tTNw== 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=xPJKG4j3AL8Ta1IOUZew4jQTiXlMprskPH6yTWHjt0I=; b=iqng9FsJYvobOFRr2XrM6RSxOpudho9kCXixxTtw1jTluciaEO19LZ/UWjx6ZJpOQg 7tSDry6eAmHb9R2CRsr0kBn2oAMJpQD4NT+v9lSYBts+7Fn8TTsVoKT+hQ2kO5dE3OiP NtZWnaYSNPUKu9QbubMHMb2NxAtKUJPYyL+wkLwzx/eNfMM7p5mdxir/Fn/gE4NLeExV 812IcLYSz7Fj86nGWDupS5apedLKRJ3E/y6nelaDuus6Fz3pc3NRmkejixdzQcPNqA8I //1HcVdhZVaPFwZXFd4VM+H0fZaAeL6RwkGCjRFAB8SdEeRT/K4Q3luOq0Sk2PKjhkds 54Tg== X-Gm-Message-State: ANhLgQ2YWDvn/eS2PcC/IO3FmGFV/TZhTkJIHKuNw4tRHfauPRPinEL/ ycyETyFo/G6Kc81/Ul4lph9beIkfw54HCLNMGQ2vmQqpVAquPw== X-Google-Smtp-Source: ADFU+vuPjqIslEqu/FY+ydaBOaL0+cz73bF0Y+NYVp5DvXABHBIa949QB7BIjz6aPOjnbRQU4q5zxY1w6R1f X-Received: by 2002:a1f:2c58:: with SMTP id s85mr3022163vks.93.1583247433826; Tue, 03 Mar 2020 06:57:13 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id g193sm399213vkg.6.2020.03.03.06.57.13 for ; Tue, 03 Mar 2020 06:57:13 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 18A5F17008FC; Tue, 3 Mar 2020 09:49:35 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20200303144935.18A5F17008FC@cs.miami.edu> Date: Tue, 3 Mar 2020 09:49:35 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Satisfiability Checking and Symbolic Computation - Call for Papers Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 18043 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 5th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2020) July 5th, 2020, Paris, France http://www.sc-square.org/CSA/workshop5.html Affiliated with IJCAR 2020: https://ijcar2020.org/ ==== Key Dates Submissions: Fri. 10 April 2020 Notification: Fri. 8 May 2020 Final version: Fri. 29 May 2020 Workshop: Sun. 5 July 2020 ==== Scope Symbolic Computation is concerned with the efficient algorithmic determination of exact solutions to complicated mathematical problems. Satisfiability Checking has recently started to tackle similar problems but with different algorithmic and technological solutions. The two communities share many central interests, but researchers from these two communities rarely interact. Also, the lack of common or compatible interfaces for tools is an obstacle to their fruitful combination. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. The aim of this workshop is to provide an opportunity to discuss, share knowledge and experience across both communities. The topics of interest include but are not limited to: + Satisfiability Checking for Symbolic Computation + Symbolic Computation for Satisfiability Checking + Applications relying on both Symbolic Computation and Satisfiability Checking + Combination of Symbolic Computation and Satisfiability Checking tools + Decision procedures and their embedding into SMT solvers and computer algebra systems ==== Submission Guidelines Submissions should be in English, formatted in Springer LNCS style and submitted via EasyChair using this link: https://easychair.org/my/conference?conf=scsquare2020 We invite three types of submissions: + NP: Normal papers describing research not published or submitted elsewhere (with a limit of 15 pages). + EA: Extended abstracts may be position papers, description of research prospects, challenges, projects, ongoing works, or applications relevant to SC-square (with a limit of 8 pages). + PO: Posters To receive the appropriate level of peer review, please declare the category of your submission by prefixing the title on the EasyChair form with "NP", "EA" or "PO" accordingly. For consistency, all submissions must use the LNCS style. The style files are here: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines We plan to publish the post proceedings of the workshop in digital form either in EasyChair EPiC series or as a special issue in a journal. Authors may opt out of this, should they prefer to publish the material elsewhere. People from industry and business are warmly invited to submit papers to describe their problems, challenges, goals, and expectations for the SC-square community. ==== Program committee: Konstantin Korovin (Co-Chair) (University of Manchester, UK) Ilias Kotsireas (Co-Chair) (Wilfrid Laurier University, Canada) Erika Abraham (RWTH Aachen University) Curtis Bright (University of Waterloo) James H. Davenport (University of Bath) Matthew England (Coventry University) Vijay Ganesh (Waterloo University) Marijn Heule (Carnegie Mellon University) Ahmed Irfan (Stanford University) Dejan Jovanovic (SRI International) Manuel Kauers (Johannes Kepler University, Linz) Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences) Martina Seidl (Johannes Kepler University, Linz) Thomas Sturm (CNRS) ==== Venue Affiliated with IJCAR, 29 June - 5th July, 2020, Paris, France