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 CF7375D4 for ; Wed, 6 May 2020 10:20:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,358,1583190000"; d="scan'208";a="448443915" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 May 2020 12:20:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AA9D97F47A; Wed, 6 May 2020 12:20:36 +0200 (CEST) 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 1F52F7EEE8 for ; Wed, 6 May 2020 12:20:33 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dboulytchev@gmail.com; spf=Pass smtp.mailfrom=dboulytchev@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f169.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ADEvftx8TypaFQf9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0uscTK2v8tzYMVDF4r011RmVBNidtKIP0bCempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffgVFiCC/bL5xIxm6sxvdvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?= =?us-ascii?q?odNzMh8G/Zl9J+gqFVrh2vqBNw34HabZqJNPd9ZK7RYc8WSGRDU8tXSidPApm8?= =?us-ascii?q?b4wKD+cZM+hYqoj9p0cUrRu/GAKhGeTvyiJMhn72wa01z+QhHh/Y3Ac9GN8BrW?= =?us-ascii?q?/brNLoNKcWUeG10LXHzTXdYPNIwjr9543IfQogofGIR75/bc3RyUw2Gg7Dk16f?= =?us-ascii?q?ppDrMSmP2eQRr2iU8fBgVeS3hmAotwx8rTqiy8MxhoTUmo4YxVDJ+yt6zYs7K9?= =?us-ascii?q?O1SU51bN+6HZZSuS+XKo97T8wjTmxspio31L0ItICncCULy5kqwQPUZfKAc4iN?= =?us-ascii?q?+B3jVeCRLC9jhHJkd7K/nxKy/lKmyuHmUcm0yllKojJFktnLqnACywbT6tCdRv?= =?us-ascii?q?Rh+Ueh3DCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1rPEjP1lUnskaObd0Ep9vC1?= =?us-ascii?q?5+nlYbjqvIKQOo5qhg3kL6gih9azDfolPgUPWWWQ5P6y26f5/ULjRbVHlv02nb?= =?us-ascii?q?fdsJDdPckbo7S2Aw5R0oo67xa/DSqq3M0WnXUaLV9IfAiLj4fuO1HJL/D4Cemw?= =?us-ascii?q?j06wnzdswvDKJrzhApPTIXjfiLrtY6px5kpGxAcwzd1T/YxYBq0CLf7pR0P8td?= =?us-ascii?q?jVAgc8MwOuwubnDNt91pkZWWKKGqKWLbjdsViV5uIrI+iMeJMauDbjJPg7/PPu?= =?us-ascii?q?gno5lkUcfamtx5cYdHe4HvF+L0WDfXXsmssBEXsNvgcmUOPlkliCUTpKa3a2Xq?= =?us-ascii?q?I8/S07BZm9DYbDQ4CtmKaO0D26Hp1QfGBGC0qDHW3md4WeCL8wb3eZK8pl1zgF?= =?us-ascii?q?TqSJSok71BjouhWp5aBgK7/4/ywEr5Or/t9o4/zPnhE/63QgA86azmWcU2p0k3?= =?us-ascii?q?0gSDo/3aQ5qkt4nATQmZNkiuBVQIQAr8hCVR03YMaFnr5KTuvqUweERe+nDVOv?= =?us-ascii?q?Q9GoGzY0F4tjzNoHYkI7ENKn3Emag3iaRoQNnrnOP6Qat7rG1iGodcl4wnfCkq?= =?us-ascii?q?Imigt+G5YdBSidnqd6sjPrKcvJnkGezfj4cK0d2GvJ9j7GwzPQ7QdXVwl/VaiD?= =?us-ascii?q?VncaNBPb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYCgD9jbJef6nQVdFmHgEBCxIMQIM/g?= =?us-ascii?q?SADUlyEI4N6iwOBZIQfhg5/kF8LAQMBCgEBBR4MBAEBhkccBwEENBMCEAEBBQE?= =?us-ascii?q?BAQIBAgMEARMBAQkLCwgnhV8Mgjsigy0LBg8BBQgBGwwDBwgDEhAPAiYCJREBB?= =?us-ascii?q?QEvCAEBBQsOgwQBgkoBAy4EC6R0gh2BBD2LKIEVBQEXgwEFgTcFgQ6CBQoZKA1?= =?us-ascii?q?iA4E0AgcJAQh8KoxEGoFBP4ERJ4I7g0iCP4JFgmAEmVCYBH1HgguIGI94Bh2Pf?= =?us-ascii?q?hKNEJlrjzmEDwIKBwYPI4FGgXhwgQGCOAlHGA1Xj2uDcoUUhUU+MzcCBgEHAQE?= =?us-ascii?q?DCZJGAQE?= X-IPAS-Result: =?us-ascii?q?A0DYCgD9jbJef6nQVdFmHgEBCxIMQIM/gSADUlyEI4N6iwO?= =?us-ascii?q?BZIQfhg5/kF8LAQMBCgEBBR4MBAEBhkccBwEENBMCEAEBBQEBAQIBAgMEARMBA?= =?us-ascii?q?QkLCwgnhV8Mgjsigy0LBg8BBQgBGwwDBwgDEhAPAiYCJREBBQEvCAEBBQsOgwQ?= =?us-ascii?q?BgkoBAy4EC6R0gh2BBD2LKIEVBQEXgwEFgTcFgQ6CBQoZKA1iA4E0AgcJAQh8K?= =?us-ascii?q?oxEGoFBP4ERJ4I7g0iCP4JFgmAEmVCYBH1HgguIGI94Bh2PfhKNEJlrjzmEDwI?= =?us-ascii?q?KBwYPI4FGgXhwgQGCOAlHGA1Xj2uDcoUUhUU+MzcCBgEHAQEDCZJGAQE?= X-IronPort-AV: E=Sophos;i="5.73,358,1583190000"; d="scan'208";a="347881034" X-MGA-submission: =?us-ascii?q?MDGbj7TlKAFh2AN7gn09EHnZxwm3jJBlg6dH33?= =?us-ascii?q?APb4LErCV3LAo78JT59JFRXG+c/eVf5H2fxTuSQTxm2CvDCP9evmtp+p?= =?us-ascii?q?GACVuZMy9/Kl42R0y2qvqtw/r1kg/WLnZZmXjxeK8gEzHByPvydT63tb?= =?us-ascii?q?TI0uX5s6mT9d2aIkW7glqgOA=3D=3D?= Received: from mail-lj1-f169.google.com ([209.85.208.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 May 2020 12:20:32 +0200 Received: by mail-lj1-f169.google.com with SMTP id l19so1720264lje.10 for ; Wed, 06 May 2020 03:20:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=vHwoZwmybKoMGlDUjTSpfX6a8r6kRaaGJh9tCfvvooY=; b=ru8l6mWX6cA5ErcXDoqDC3L7FubNJw08vsEnabj4ilsZMB4cZ/YIoaWt4WH4adwcLW 61rEMsedB+U+V0/yXPKk47bRh8hGStVkTeLkj7HLZkzns7e/yK5zvYzK0NfpY7gfLhcv Jlg61t1et7tPNKH+ORwnDXKY3XCkll7As/k0RP4WLGa0gMtJ5TBIoR+/7J5RexFByccf Agbaf+4WzETi5nPnJmvO1ewCt56xXLCBEm3nGfBVsInyw30huUluykCSpjxQxw3PDpMp hUz/T9rOcWEq+BkTFF7MgP6Dlx8Z6x4hK/mr2ysSVUnd4KGLJn5RuCgiiUEqVS3ecAFQ OcXg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=vHwoZwmybKoMGlDUjTSpfX6a8r6kRaaGJh9tCfvvooY=; b=UFY7yz+VTdCuuPSGZWUjljy3gLQuGgUuUMM/DtsIS83wZ6FhjGlejAGOoY51GvPluB /5ZxqlKGkHVaPfl0QBLr80X2DZL7S4BEb2wEyHMRoQY2zbL5cXW1xqzKO2KmHRYu2bhN p7zmC8Svb1k7jhlHedseXlUMWAxLYphl6fbEO3Jj6VsWUvz0zdWs6/yQ3e1GNGO+ZR1Z 6UxD1+j2JBHEIbCClcR65vNCsiD50fLFAw1nGs51IcIAzH5NCvAOvexC1j028FxeDEaH 6y7E/wJ8gMakugPp3wSrzrRZZnonHVU1FgMZqd74FE0glpgbGF1MWhRu8TEtQTLVkC/I 6VrQ== X-Gm-Message-State: AGi0PuYP3SV50WXc8AYE5+UKuTJI56EFhoOpip/hwA/vKVoWxHVfuyQZ GVVpRTlxOpcr0s1qRNTog04M0Elf X-Google-Smtp-Source: APiQypI7VbaaS9Y4XFVrNxDICcJDhv/yBNgow+253b4rXbuGpPzQ8/16AHdy6aZezUvYSv+ii8gJiQ== X-Received: by 2002:a2e:6a08:: with SMTP id f8mr4711242ljc.8.1588760430945; Wed, 06 May 2020 03:20:30 -0700 (PDT) Received: from [192.168.1.204] ([178.162.11.216]) by smtp.gmail.com with ESMTPSA id o204sm1289478lff.64.2020.05.06.03.20.30 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 06 May 2020 03:20:30 -0700 (PDT) From: Dmitri Boulytchev To: caml-list@inria.fr Message-ID: <7ecbd4a1-85ba-211d-e4be-476498047f1d@gmail.com> Date: Wed, 6 May 2020 13:20:27 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: [Caml-list] [2nd CFP] The 2nd miniKanren and Relational Programming Workshop Reply-To: Dmitri Boulytchev X-Loop: caml-list@inria.fr X-Sequence: 18130 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 miniKanRen-20 The 2th miniKanRen and Relational Programming Workshop Thu 27 August 2020, online (hosted by ICFP-2020) https://icfp20.sigplan.org/home/minikanren-2020 ========================================================================== Sumbission deadline: May 15, 2020 The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and users from the miniKanren community, and to share expertise and techniques for relational programming. Another goal for the workshop is to push the state of the art of relational programming — for example, by developing new techniques for writing interpreters, type inferencers, theorem provers, abstract interpreters, CAD tools, and other interesting programs as relations, which are capable of being “run backward,” performing synthesis, etc. We want to encourage all kinds of submissions. We expect short papers as well as longer papers. As a rough guideline, with the new ACM format, a short paper would be 2 to 7 pages and a long paper 8 to 25 pages. Authors are encouraged to publish any code associated with their papers under an open-source license, so that reviewers may try the code and verify the claims. Paper submissions must use the format acmart and its sub-format acmlarge. They must be in PDF, printable in black and white on US Letter size. Microsoft Word and LaTeX templates for this format are available at http://www.sigplan.org/Resources/Author/ Proceedings will be printed as a Technical Report at Northeastern University. Publication of a paper at this workshop is not intended to replace conference or journal publication and does not preclude re-publication of a more complete or finished version of the paper at some later conference or in a journal. *** Sumbission link:https://minikanren-2020.hotcrp.com/ *** Important dates: Sumbission deadline : May 15, 2020 Author notification : June 15, 2020 Camera-ready version: June 30, 2020 Workshop : TBA *** Program Committee: Dmitri Boulytchev, St. Petersburg State University, Russia Adam Foltzer, Fastly Jason Hemann, Northeastern University, USA Ekaterina Komendantskaya, Heriot-Watt University, UK Jan Midtgaard, University of Southern Denmark, Denmark Joseph P. Near, University of Vermont, USA Gregory Rosenblatt, University of Alabama at Birmingham, USA Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore Kanae Tsushima, National Institute of Informatics, Japan