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 AE9F95D6 for ; Tue, 5 Oct 2021 20:54:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="532246060" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Oct 2021 22:54:12 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 41AC6E0156; Tue, 5 Oct 2021 22:54:12 +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 6AA79E010D for ; Tue, 5 Oct 2021 22:54:09 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonathan.protzenko@gmail.com; spf=Pass smtp.mailfrom=jonathan.protzenko@gmail.com; spf=None smtp.helo=postmaster@mail-pl1-f171.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A2wzhGBKsjZ8M47uJ5NmcuPxmWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbM81RSUAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipy+y+4ZnebxhHiDe9Y755MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDwQLspWzqt8r1rRQfoh?= =?us-ascii?q?ikaKTA382/ZhcJ/g61HrxysvAB/zo3ObY2JKPZzcKHQcNUHTmRBRMZRUClBD5u?= =?us-ascii?q?4YYsICeoOJ/pYr4nnqFsIsBCwHxOsBOTzyj5JmHD226460+M8GgzB3gwgGNQOv?= =?us-ascii?q?27IrNX1LqgSV/q5zLHSzTXEc/NX2Cny6I7LchAmuvyMUrdwftDQyUkrDQ/KklK?= =?us-ascii?q?QqYn8Mj6Ty+8CvHSV4fB6WuKzl24otRtxoj63y8osl4THiYIbxF7a+Ct53Ys4O?= =?us-ascii?q?cO1Rk55bNOlEJVcqi+XOoR2TM0tQ2xltyk3xL0YtJO1fCUHy4gqygLDZ/CbfIa?= =?us-ascii?q?F5A/oWuiWITd9nn1lebS/ig6p8Uihxe38Ts2030xMriZfldnMrH8N2wTT6siAV?= =?us-ascii?q?vty4l2h2S6V2w/P7eFEJEY5nrfYJZ452rM8iIYfvEDZEiL1mEj6lrGaelgr9+S?= =?us-ascii?q?y9ujqYKjqqoedOoJ2kA3yL6YjltClDeglLgQDX3KX9fmi2LH++0DyXa9Egecsk?= =?us-ascii?q?qbDtZDXPcQbqbC9Aw9Syosj7gywDzai0NgBhXkHKE9JdAuJj4T0OVzCPer0Dfi?= =?us-ascii?q?4g1Srnzdrw+7JMqf9DZXKK3jPiLbhfbBj5E5A0Ac/08xT6pZOBrwCIP//QFH9u?= =?us-ascii?q?MHXAxMjLgC5wfvrBM141owEWGKPBqGZMLnVsV+N/u8vIe6MZIkPtzbhK/gq/fj?= =?us-ascii?q?ugWUhmV8HeqmpwZoWZ26+HvRlJEWUenXsgtIbHmcLugoyVvDliFqHUTJLfXa9Q?= =?us-ascii?q?7o85i0nCIKhFYrMWpqigLmF3CuiGp1WZ3tGCkyXHHfzd4SEXu8MZziILs9glDw?= =?us-ascii?q?ET7mhRJU72RGgrg+pg4Zge+Hd/yldsZP4yPB04ffSnFc8729aFcOYhkOKSWhon?= =?us-ascii?q?moODwcs27xtrEp+zR/X069+iuBYHNoV/+lOThU3M53b5+N/AtH2HAnGe4HaGx6?= =?us-ascii?q?dXty6DGRpHZoKyNgUbhMlcz1Hph/G1iuuRbQSku7TbHTb2q3Z1nn1Yc16ziSfv?= =?us-ascii?q?EHAp1wvQ88KLWn/w6AmqFGVCInOnEGU0a2tcPZEtBM=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ak3LkhK0q3Had3J+AWN5D0gqjBIUkLtp133Aq?= =?us-ascii?q?2lEZdPUnSL3jqynIpoVh6faUskdoZJhEo7q90ca7MBThHPJOkOos1NSZLXDbUQ?= =?us-ascii?q?mTXeVfBOLZqlWKexEWntQ96U4KSdkdNDSfNykesS+32njfLz/i+rW6GWKT6Ns2?= =?us-ascii?q?A00DceiiUc9d0zs=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DJAgASaxphf6vWVdFaHQEBAQEJARIBB?= =?us-ascii?q?QUBQIFZAoMgV2uER4kEhkWBdy2EG4dWkXYLAQMBCwEBNQoCBAEBgWyFYgIdBwE?= =?us-ascii?q?ENBMBAgQVAQEFAQEBAgEDAwQBEwEBDQsQCDgmhWgNQAEMAYFnIoQECwYPAQUIA?= =?us-ascii?q?RsPDwMSAw0PAhgOAiURAQUBAi0IAQEQDoJPAYJUAQMvD4tijHmCHoEEPYsygRU?= =?us-ascii?q?FF4EBgggGgVYPdYISChkoDWUDgVcCAQYJAQh+KgGFbYgsEIFVRIEVJ4FVgWeBB?= =?us-ascii?q?AGBXQSCK4JKgmQEhS0hKYEoGVM6kSoTjlqcbi0HgysFgSwGC4h7lAAGDwUmg2W?= =?us-ascii?q?LY4YBkSyiT5NbE4RwAgoHBhAjEoFCgX1NI4EBgjhQGQ5XjUkXIIM7hRSFaiEyO?= =?us-ascii?q?AIGAQoBAQMJa4ILhn8BAQ?= X-IPAS-Result: =?us-ascii?q?A0DJAgASaxphf6vWVdFaHQEBAQEJARIBBQUBQIFZAoMgV2u?= =?us-ascii?q?ER4kEhkWBdy2EG4dWkXYLAQMBCwEBNQoCBAEBgWyFYgIdBwEENBMBAgQVAQEFA?= =?us-ascii?q?QEBAgEDAwQBEwEBDQsQCDgmhWgNQAEMAYFnIoQECwYPAQUIARsPDwMSAw0PAhg?= =?us-ascii?q?OAiURAQUBAi0IAQEQDoJPAYJUAQMvD4tijHmCHoEEPYsygRUFF4EBgggGgVYPd?= =?us-ascii?q?YISChkoDWUDgVcCAQYJAQh+KgGFbYgsEIFVRIEVJ4FVgWeBBAGBXQSCK4JKgmQ?= =?us-ascii?q?EhS0hKYEoGVM6kSoTjlqcbi0HgysFgSwGC4h7lAAGDwUmg2WLY4YBkSyiT5NbE?= =?us-ascii?q?4RwAgoHBhAjEoFCgX1NI4EBgjhQGQ5XjUkXIIM7hRSFaiEyOAIGAQoBAQMJa4I?= =?us-ascii?q?Lhn8BAQ?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="395002036" X-MGA-submission: =?us-ascii?q?MDFw1O+I+L5casaZOhqrWvmNMb04zMe+VeMW5N?= =?us-ascii?q?GJhniZ0kCcDgo5IvG0DWLeXGI5pL/xv3I63W7neQH0cGWJYb8ODHH9QY?= =?us-ascii?q?lL8fLQu58rKUC9NIPOxqOSAiyMhQlJy/xNh1aOKSLZbzraOwWt/9tFWg?= =?us-ascii?q?MLnnwAz3sjm9DYr+g8UJnZ/g=3D=3D?= Received: from mail-pl1-f171.google.com ([209.85.214.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Oct 2021 22:54:07 +0200 Received: by mail-pl1-f171.google.com with SMTP id c4so299339pls.6 for ; Tue, 05 Oct 2021 13:54:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:subject:to:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=6qScSrW06ziwhb4tdwIBHrEe7TFUK2lD0cYbs/m2Twg=; b=BI9gHodcaGt/DuDEDzf1NjjWYpDClG7rp/fCB5Npa+weFngSirWA7wbBVbtsHPDULl x4JGgyy8ZtAcIRhc3Vh+WiYn/FE+PreiQ+ul1ChcBx1hjjfhFsyfrkHKlC+WxxDMsXTE lW2xRjamjO+EwsysHRcKR+gCjz83/ALRe9Jv6z9OgNVwtHd2iVZ/edeJ38R/QNUT/5tK gCtUe2utR535QdTc5/1u7mPNhh9hKhrme57lq5jOJ8joEYqYkt2svlxcQ72X8/MvGd4Y JgAp26dFSY5goWk+0l82EmYS0D5Wu6zmsA0CYGVt0BKJ4y3EKcjbWyQV9mW/ob7JSrNR Opnw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=6qScSrW06ziwhb4tdwIBHrEe7TFUK2lD0cYbs/m2Twg=; b=dB6fVstddPOdR/XeVCErN69lcILXLk2/z2EJGIrwTvb57vq4iFZQoo8PHZ5NbfWHGY dTia87GrJr6RM/1G4qzfxY4+Wny3Z4sCVgo31UfiFnDRROzhfTNYt+XWutoxjrYVqtdW KkXctYHUdSth6je+9jWsv1YzPnOJItF5Ewi2fEgbZ61UmLSN4VAbIIkbSJd2sEAz4fa8 4rWBxCNpNXK2ZdyOGcrq5LI2jJ9ilO2NZEt6+EnYUXIo8rjFNL0v/Of4HtwGin1ZhZ/o VJ3QaH+zfOu6iIGg7yeclprLW+BQgMn/XFcV41BHthzx3C8x1DexCnsmw6IxIlhqYM1p mLcA== X-Gm-Message-State: AOAM530QuyJecH540rq/YgykXZyuvt7WCk6Wk3ChgG2ipWnn6mtwISlV j+Odtg6NYIt8kLKIGXWaoGoPup7pHp4= X-Google-Smtp-Source: ABdhPJyrIX/i+Nk9bVSZ5TrDqvH7Ey2p+tcBbAYrtFI3VvmEWkvvku79tvMHVmKPBcwCiQZC/ZRW4g== X-Received: by 2002:a17:902:c40c:b0:13e:6404:6ef4 with SMTP id k12-20020a170902c40c00b0013e64046ef4mr7241459plk.33.1633467245801; Tue, 05 Oct 2021 13:54:05 -0700 (PDT) Received: from absinthe.local (c-67-170-105-121.hsd1.wa.comcast.net. [67.170.105.121]) by smtp.gmail.com with ESMTPSA id v7sm2801898pjk.37.2021.10.05.13.54.05 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 05 Oct 2021 13:54:05 -0700 (PDT) From: Jonathan Protzenko To: caml-list@inria.fr Message-ID: Date: Tue, 5 Oct 2021 13:54:04 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa) Reply-To: Jonathan Protzenko X-Loop: caml-list@inria.fr X-Sequence: 18580 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: -----------------------------------------------------------------------    ProLaLa 2022 -- 1st Workshop on Programming Languages and the Law                        Sunday Jan 16th, 2022                          Philadelphia, PA                      co-located with POPL 2022 -----------------------------------------------------------------------                     (please forward to anyone who might be interested!) We are pleased to announce ProLaLa'22, a new workshop concerned with the intersection of PL (Programming Languages) techniques and the law. We are particularly concerned with the following topics: - language design for legal matters; - static analysis of legal texts; - program synthesis and repair for legal software components; - formal modeling of legal semantics; - non-standard logics in support of legal reasoning; - program verification for legal expert systems. If you have explored any of these areas, we encourage you to submit a short abstract. We are hoping to solidify around this workshop what we believe is a nascent community. As such, the workshop will be informal, and we strongly encourage you to submit ongoing or already-published work in the form of a brief 3-page submission for a long talk, or a 1-page submission for a short talk. Full details: https://popl22.sigplan.org/home/prolala-2022#Call-for-submissions ### Venue ProLaLa will be colocated with POPL'22. If POPL'22 goes virtual, we will be virtual too. If POPL'22 happens in-person, we will support hybrid (in-person and remote) participation. ### Submission details We accept two kinds of submissions. - Long talks: 3 pages excluding references - Short talks: 1 page excluding references No formatting requirements. We recommend using SIGPLAN's two-column LaTeX format if possible. Submission site: https://prolala22.hotcrp.com/ ### Important dates - Thu 28 Oct 2021: Submission deadline - Thu 11 Nov 2021: Notification of acceptance - Sun 16 Jan 2022: Workshop ## Program committee - Timos Antonopoulos, Yale University - Joaquin Arias, Universidad Politécnica de Madrid and IMDEA Software Institute, Spain - Shrutarshi Basu, Cornell University, USA - Nate Foster, Cornell University, USA - James Grimmelmann, Cornell University, USA - Sarah Lawsky (Co-Chair), Northwestern University, USA - Denis Merigoux, INRIA, France - Ruzica Piskac, Yale University, USA - Jonathan Protzenko (Co-Chair), Microsoft Research, USA - Giovanni Sartor, University of Bologna, Italy - Ken Satoh, National Institute of Informatics, Japan - Kanae Tsushima, National Institute of Informatics, Japan - Meng Weng Wong, Singapore Management University, Singapore