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 4A84A5D4 for ; Mon, 2 Mar 2020 09:22:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,506,1574118000"; d="scan'208";a="438303170" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Mar 2020 10:22:00 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D29D87F441; Mon, 2 Mar 2020 10:22:00 +0100 (CET) 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 DD51A7F3B1 for ; Mon, 2 Mar 2020 10:21:56 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dboulytchev@gmail.com; spf=Pass smtp.mailfrom=dboulytchev@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f174.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A3fv1ERe5+GmNRqO8JoWmXKXLlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS5YR7h7PlgxGXEQZ/co6odzbaP7+a5ATBLuczJmUtBWaIPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sArcutMLjYd+Jas9xQfFrmVVcO?= =?us-ascii?q?lK2G1kIk6ekBn76sqs5pBo7j5eu+gm985OUKX6e7o3QLlFBzk4MG47+dPmuwDb?= =?us-ascii?q?QQSA+nUTXGMWkgFVAwfe9xH1Qo3xsirhueVj3iSRIND7Qqo1WTSm6KdrVQPohS?= =?us-ascii?q?IaPDM37G3blsp9h79drRm8pRJw3pTUbZmLOvR+Y63Tft0USmROUclNWCJMGZ+8?= =?us-ascii?q?YogVAuYdIepVoYvwql0TphW+HwmsA+bvxydGiH/z3K06z/4hEQDb1wE9GNIOrX?= =?us-ascii?q?DUrdXpNKgOUeC60rfIxijEYvxLwjj975XIchQhoPGQQb1wcdTeyVc0GgPKi1Wf?= =?us-ascii?q?s43lPzeP2usRtGib6vNtWOSygGAprAFxpyKgxsYqioTRnYIVy1/E9T19wIkvI9?= =?us-ascii?q?20Ukl7YcSrEJdItyGaMJd2Td84Q2Fwoio11roGuZu9cSMXy5on3wbSZ+Kbf4WM?= =?us-ascii?q?+B7uV+acLS1miH55e7+znQu+/Eqvx+HkS8W50lVHojBYntTNqHwBzQHf5tWdRv?= =?us-ascii?q?dj40us2DCC3B3J5O5eO0A7j6/bJoYhwrEukpoTtlzOHirsl0X3iK+ab0Ek+uq1?= =?us-ascii?q?5+j+bLXqu52ROoBuhgHxNaQuncO/AeAmPQQUQ2eb/uG82KXi/U3/XrpKkuU7nr?= =?us-ascii?q?fFvJ3eP8gWpa60DxVL3oo/6BuzFSqq3dYXkHUfKVJKYhOHj4znO1HUJ/D4CO+y?= =?us-ascii?q?jEm3nzds2vDGOr3gAonRIXjDjrjhY61w60FZyAUpzNBf44hYBa0GIPL2QkPxrs?= =?us-ascii?q?DXDgclMwyoxObqEMly2ZkbWWKLG6OZNKLSsUSU5u80OOmNZIoVuC7nJPQ/5v7u?= =?us-ascii?q?i2U5mV4HcqWz05sXciPwIvMzKEycZT/og8wdOWYMpAs3CuLw23OYVjsGS3OzQ7?= =?us-ascii?q?g9rhs8FYa3EYzDS57l1LCL2zq/D4FdZm1YIl+JGHbsMY6DXqFfO2qpPsZ9n2lc?= =?us-ascii?q?BvCaQIg72ET27VKo+/9cNuPRvxYgm9fj2dxyvbOBkBgz8XlwDZ3Y3TjSEyd7mW?= =?us-ascii?q?QHQzJw16d68xQklgWzlJNgivkdLuR9outTW15jZ5HZxu1+Tdv1X1CZJ4bbeBOd?= =?us-ascii?q?WtyjRAoJYJc0yt4KbVx6Hoz73B/G1iuuRbQSku7SCQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BaBABJz1xehq7QVdFmHgELHINzgR0DU?= =?us-ascii?q?lyEFI5+hX+Ge5BVCQEDAQoBAQUeDAQBAYZNHAcBBDQTAhABAQUBAQECAQIDBAE?= =?us-ascii?q?TAQEBCAsLCCmFXQyCOyKDHwsGDwEFCAEbDAMHCAMSEA8CJgIlEQEFAS8IAQEFC?= =?us-ascii?q?w6DBAGCSQEDLgQLngOBBD2LKIEVBQEXgwAFgTQFgQyBdAoZJw1iA4EyAgcJAQh?= =?us-ascii?q?8KowlGoFBP4ERJ4I/g0WCP4JEgl4EmB6XB3ZHgX+HUo8OBhyOfBKMIgGXbo5Sg?= =?us-ascii?q?3wCCgcGDyOBRoF6cIEBgjsJRxgNV41GGoNZhRSFRD4zkVYBAQ?= X-IPAS-Result: =?us-ascii?q?A0BaBABJz1xehq7QVdFmHgELHINzgR0DUlyEFI5+hX+Ge5B?= =?us-ascii?q?VCQEDAQoBAQUeDAQBAYZNHAcBBDQTAhABAQUBAQECAQIDBAETAQEBCAsLCCmFX?= =?us-ascii?q?QyCOyKDHwsGDwEFCAEbDAMHCAMSEA8CJgIlEQEFAS8IAQEFCw6DBAGCSQEDLgQ?= =?us-ascii?q?LngOBBD2LKIEVBQEXgwAFgTQFgQyBdAoZJw1iA4EyAgcJAQh8KowlGoFBP4ERJ?= =?us-ascii?q?4I/g0WCP4JEgl4EmB6XB3ZHgX+HUo8OBhyOfBKMIgGXbo5Sg3wCCgcGDyOBRoF?= =?us-ascii?q?6cIEBgjsJRxgNV41GGoNZhRSFRD4zkVYBAQ?= X-IronPort-AV: E=Sophos;i="5.70,506,1574118000"; d="scan'208";a="438303141" X-MGA-submission: =?us-ascii?q?MDGW3+8vCLLRCYM71v7ZCy1Bb44Wo/mIr6nUbz?= =?us-ascii?q?0PkrlcD4RQpICi/TnApssxWgNhYywYdDEzMo77+eil+UqxzKXmK0hvfi?= =?us-ascii?q?UxhjDzqP4ahBOrsWWEeRth9XZxUP9JzaSHsP3Z5lhnUD4oaDa61aYlMJ?= =?us-ascii?q?6bFJXoLImqPSE++o44lA+fgQ=3D=3D?= Received: from mail-lj1-f174.google.com ([209.85.208.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Mar 2020 10:21:56 +0100 Received: by mail-lj1-f174.google.com with SMTP id f13so2045737ljp.0 for ; Mon, 02 Mar 2020 01:21:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=Jn/J7M7drA5SwiiapoKgB9X8F1nTGNDY89KCi/p7DhU=; b=RGS4Fmp/sBdqwQHM6eJsxbWpWBHwKWUkkhOYBvBCZl0LPykoLlXTbwEO3wri7Yv8zY eRVHwxVZhVAj1QYa9umZh5MWcOzHqTphHBLyKMGjpw5PaI68Pgl0Iz+a52en0XTeFWqz aegvEOgxw+Aw+BqhV4k/lAM6elXlHan71J0AULnxJJAqVVlCshnfEoMEv9gLj3xhFxHo pYIQ40ZzcdbyOut5XINiV7ZWU/9ZP3dTI40GWMckxh3RBNpE9D434cgn4Fhr6hYv3d0V pZPSIaWcoSQ1rK17Nt5uhoaQTUbGky066/2qw97Akg/r9rvpplohXf4Hnrfwm9cBbllc 7Ywg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=Jn/J7M7drA5SwiiapoKgB9X8F1nTGNDY89KCi/p7DhU=; b=fjWePzIOFii/Ajgjcu5wPEWSIcnTXxPXF3GGB8ckT2C49lTiTrmPYEFxr0iMbu6Lf6 8t3y0Rgn+Mpw0/vvDsZymp+6ABYNqf3riGyB6sKEqEHsgK/UCPupYfvFHAcR59nGnNmO AhpBkbTJX9d1gF+e+BooMg1CGO+bKNFV7i5Z8ZpLTCXJqzY022VjFx9gGz63r81xE3F1 OX/rFAJXQZNrd4mNyVSEXfVvU0IHUTDT3YhzyTdYyrorhPvQu2zC/IFkSUhOIRAfWeLU MMg0Gtl3v9OozK5TNzYrH2lSXsM3CMIrhrVRqUQFWRer/TCeJ0LWexumhF4Balg7bM09 1XUA== X-Gm-Message-State: ANhLgQ2TG+gza12IKNM56c/4Bw4p/NwK+OO+CLFgnjCt0JXOJcEyqsYN 9jLxCZsG9Ri4tdsRtlK/l8NZQQpt X-Google-Smtp-Source: ADFU+vvxGEDskAIV+rn+3dzlnQ9KVnIWyhsCUSDpBwo/XJtU6bdklFP+IbtiYN9T7uduarDgQf5ikw== X-Received: by 2002:a2e:84d0:: with SMTP id q16mr11054811ljh.138.1583140914839; Mon, 02 Mar 2020 01:21:54 -0800 (PST) Received: from [192.168.1.204] ([178.162.11.216]) by smtp.gmail.com with ESMTPSA id u7sm10077849lfm.57.2020.03.02.01.21.53 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 02 Mar 2020 01:21:54 -0800 (PST) To: caml-list@inria.fr From: Dmitri Boulytchev Message-ID: <4bf7ec14-b9b7-c240-02fb-9bdc907772b0@gmail.com> Date: Mon, 2 Mar 2020 12:21:52 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] [CFP] The 2nd miniKanren and Relational Programming Workshop Reply-To: Dmitri Boulytchev X-Loop: caml-list@inria.fr X-Sequence: 18033 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 (Somewhere between) Sun 23 - Fri 28 August 2020, Jersey City, New Jersey, United States (colocated with 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