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 sympa.inria.fr (Postfix) with ESMTPS id 64B61E0090 for ; Mon, 26 Sep 2022 18:03:42 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-pg1-f179.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jonathan.protzenko@gmail.com) identity=pra; client-ip=209.85.215.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jonathan.protzenko@gmail.com designates 209.85.215.179 as permitted sender) identity=mailfrom; client-ip=209.85.215.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:35.190.247.0/24 ip4:64.233.160.0/19 ip4:66.102.0.0/20 ip4:66.249.80.0/20 ip4:72.14.192.0/18 ip4:74.125.0.0/16 ip4:108.177.8.0/21 ip4:173.194.0.0/16 ip4:209.85.128.0/17 ip4:216.58.192.0/19 ip4:216.239.32.0/19 ~all" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pg1-f179.google.com) identity=helo; client-ip=209.85.215.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="postmaster@mail-pg1-f179.google.com"; x-conformance=sidf_compatible IronPort-SDR: 6331cd5d_D27E+jWBPIGF+ZutxT6716WmjX6+JuL565M0E0LBKkATXQN oNkH2vrD7RNtzRysBNG3+kF7D4keCtwf3D8QfsA== X-IPAS-Result: =?us-ascii?q?A0BTAwBOzDFjf7PXVdFagliCJIEBVi4EUAOES45vgXcuh?= =?us-ascii?q?CmIHooIL4YXgXwBCgEDAQwBNgwEAQE+AQaBTReHSgIdBwEEMAkOAQIEAQEBA?= =?us-ascii?q?QMCAwEBAQEBAQMBAQUBAQECAQECBAQBEwEBGAkZBw4OBSSFaA2CNSKEBBEdA?= =?us-ascii?q?RsMAw8DEgMNNwIlEQEFAS8GAgEBEA6CVgQBAYJsAQMwAxCOII0Agh+BBEKLM?= =?us-ascii?q?oEVBQIWgQGCCQaBQQEYD4JmChkoAwpnA4FZAgEGCQEIgSuBXoUmgUUBhmV6J?= =?us-ascii?q?xCBVUSBFSeCFIEtgQWBXQQYhRyCZgSZAwQFDgcOAwMCDwQOAxkrHQIJAyMQA?= =?us-ascii?q?gELEAgTOgYGBQEBCgIBBAEFAwEEBQMHAgEFBgIJAwMJAwEBBQEDBAMDAwIHA?= =?us-ascii?q?wECDAQIAwMCAwQCAgICAQMCBwUIBAIHAgICAQICBgIBAwkBAgMFAgIJCwEEA?= =?us-ascii?q?gIDAQMBAQIIBAkEAgMEAgEBAwIBAgIBBQIMBQEBAQECBQECAwEGBwIIAhwKA?= =?us-ascii?q?QMEAgIFAgIBAgMCDQEBBAIBAgECBgEDAQICAwEDAQICAwIGCQIEAQUDAwICA?= =?us-ascii?q?wEBBQ8FAgQCAQIGBQIBAQEEAQMEBAYCAgEDAwIOAgQBBAECAQEjAwQCAwEDF?= =?us-ascii?q?wECAQIDAwMEBgcFAgECEwECAQEBBQECAQEDBAQHCQMCAgQDAwUBAQIDAgEBA?= =?us-ascii?q?QcLAQICAhICEwMBBgEOBRQDAQEEAgIBAgIKAwECAgEDAgkCAQIBBSADAQEPJ?= =?us-ascii?q?AEBAgICAgMEBwIBBAYDDQICAQEBBQYNAwIDBQMNAgcDAgEDBQICBAECBAoJA?= =?us-ascii?q?QICAQIEBQcCAQgGBQ0FCQsBAQIBAwcEAxECBQMFBQMDAgEJAQUCAwECAQEDB?= =?us-ascii?q?AMEBgEBAgMCAgEGAgIBAQMDBAMBAgYCAgcCAwIBBAIDAwEBAQICAgICAgMDC?= =?us-ascii?q?AMCCAcFAQYBAgEEAwICAQIHAQQBCAMDBQMEAQoPAwUDAQMDAhQKBQEDCAYJA?= =?us-ascii?q?gQFAgUDAgQCAwMCAggDAgQDCwMFBAIHEwcCAwICBQICAgICBQQDAQICAgICA?= =?us-ascii?q?gUCAwIBBQECAgECAgIEAQICBwQCAwEDBA4EAwICAgUBAgIBBgIHAwECAQQDA?= =?us-ascii?q?QEEAgQBAgUCBAEDAQIGAgQDCgICAwICAgYIAwMKCQIDBQIEAQECBwQCAgsBB?= =?us-ascii?q?gIHAgIDEAEDAQQFBQMDAwkCAgMCBAICCgEBAQECAgEFBQIEBw8CAgIEAgICA?= =?us-ascii?q?QMCAgEBAgIFBAkSAQECAwYEBgUDAggYAQYCAgEBAgIDAwIGAgECCAIEAQQFA?= =?us-ascii?q?gECAgICBAEDBgIDAQECAQICAwMCAQQCBAMDAQIBAgICAwICAgMCAgEQAgYGA?= =?us-ascii?q?QICAgICAgICAQIGAQIBAgQCBwIEAwIBAgIFAgICAwEBBgIECwEDAgcGAQMCB?= =?us-ascii?q?wUCAwEEAwQDAwUGBQwIAQUBAwEhAwICCAIHAgEFAwUBDwMCAgMCAgEECgIDB?= =?us-ascii?q?QIEAgEECQcCBAECCQMCBgIHBRgBAgIHBAwKAgICBQYCBAEBAgMBAgEBAgMEA?= =?us-ascii?q?gMCBAUBBQIBAgUEAgIBAQIFAgwBAgEHBgIHAwICAgMBBAIBAgEDAwIDAQEBA?= =?us-ascii?q?wYGBQYEAgMDBgICAgYCAgMCEgMJAgYDAgQBDQ8FBAcIAQIBAQcCBAIHCQ4CA?= =?us-ascii?q?QYBBQICAwICAQQBAgEEBAcBAgICAgIFCAUDBAUCAwkMAwEBBAMCAQIBBAMCA?= =?us-ascii?q?wkDAgQEAwECAwEEBgYBCQMCAgYDAgICDQMEAgIBAgECAwMEBAYCAgECAgEDA?= =?us-ascii?q?gICAwEEAgICAQEDAwMCAgIDAgQCAwMLBgoIAgICAwIBBQsEAgMCAQEBAwYJA?= =?us-ascii?q?gQCAgYBAgQCAgICAgICAwMBAQMLBAIBAgMCAgYDBwIBAgECAQoFAi+YLIMrI?= =?us-ascii?q?SmBKAYOHjo6kg4XEY8sgRKKNZN2NAeDXIFDBgyJZpRnBg8ELoN2jFCGIRSSC?= =?us-ascii?q?YcqiRmGSI08lHQThH0CCgcGECMSgSw6D4FMTSOBAYI2EzsDGQ9XjSc5IIM7h?= =?us-ascii?q?RSFaiE0AgEBATYCBgEKAQEDCYpWAQE?= IronPort-PHdr: A9a23:SgzAhh3oIcmqnt8GsmDO8g0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo64x1hSYAc3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4ZPebgpWiDayZb5/I wi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7 bpkSAXwhSgbNDA3/m7YhcJwgqxGvhysvAZwz5LObYyPKPZzcKHQcNUHTmRBRMZRUClBD5u4Y YsICeoOJ/pYr4nnqFsIsBCwHxOsBOTzyj5JmHD226460+M8GgzB3gwgGNQOv27IrNX1LqgSV /q5zLHSzTXEc/NX2Cny6I7LchAmuvyMUrdwftDQyUkrDQ/KklKQqYn8Mj6Ty+8CvHSV4fB6W uKzl24otRtxoj63y8otlITEhowbx1/L+Ct2wIs4OMC0RUFmbNOmDpZetz2XOpdqTs0tQGxlp CU3x74atZO/eCUHx4oqygLDZvGDb4SF5A/oWuiWITd9nn1lebS/ig6p8Uihxe38Ts2030xMr iZfldnMrH8N2wTU6siaVvt9+kCh2TGM1wzJ9u5EJkU0mbLbK54m3r4/ioATsVzZEiDqn0X2i ambfVgn9Oiw8+nrfKnqq5uGO4J3igzyKLoiltG/DOgiLwQDXWyW9fy92bDh50H1XbdHguEsn qXErJzXJd4XqrOnDwNI1Iso9gyxAC280NsCmHkKNFJFdwyDj4juI1zOJer3Dfa7g1i1iDdry O3KMqTvApnQLHXOlK3tfbl6605bxwozyc5Q64hIBbEGJfL/Qk7xtNrGAR8lKwG43frrBdFn2 o4dWW+DGLGVPL7SvFOS++4iIe2BaJcQuDnnKvgl4/DujWU+mV8YZaSp35wXaHaiEfR6I0WWe 3zsjs0ZEWcQuQo+UO3rh0OEUT5QYHa/RK085jQhB4KnCYfPXJyigLuE3CujGJ1ZfXhJCkqQH nfwa4WER/AMZTqPLsN5iDwLSaChS5M91RGprAL116BoLu/Q+iEBsZLj1cN15/HImBEp9T10C tyd3HuXQ2F1mGMIXT4207plrUxz0FfQmZR/1vdRENgW4/JSTi87M4Tdxqp0EYPcQAXEK/WOT l+6QtygSQkrSc4jztkNZA4pGdKkhwzD1izsG6USi66GAp8z2q3Z1nn1Yc16ziCVh+Eak1A6T 54XZiWdjall+l2Lb2aou0CQlqLwML8ZwDaI7mCIi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5IbdvgkVVPQrH7ItPCcW+3mGCYChOBx7fKZ43vKC0GxCuIMEEfiEgI+ Gqecw03ByOvuWXbWT5pE1vzY0rqt/Fkr2+pQ0k3yCmFakRg0/y+/RtGzeeERaY12bQJ8Dwkt y0yHFu52IfODMGcogN6YKhGSdY04VMCzW2A8gIkYc3mIKdliVoTNQ9wuisCzj1RDYNN2Ygvp XIulk9pLL6AlUlGfHWe1IzxPbveLi/z+gquYujYwAOW1tHe4aoJ5Pkizjer9Ai0Ckov9Wlm2 NhJwjOd4JvNFg8bTZP2VA4+6RF7o7jQZiR16ZnT0DVgNqy9szmK3NxMZqNtyBGmdstfOaXCD BX1D98XAcupAOMvklmtKBkDOaEa9aI5Od+na+rTwLSib4MC1HqtiWVK5pw401rZrXItDL6Vm cxcnrfBgVrUMlW0xE2suc32h41eMDQbH27ljDPhGJYUfKp5O4ACFWapJcSzgNR4nZ/kHXBCp zvBTxsL3tGkfR2KYhnzxwpVgA4VpnquhSuxyXpsiTY1vKeZ3yvmzOHrdR5BMWlODjoH7x+kM c2vgtYWUVL9JQoukhK55U/8gbBBo7htIm/QRm9HeiH3KydpVa765d/gK4ZfrZgvtytQSuG1Z 1uXH6X8rxUt2CTmB2JCxTo/ellGo73BlgdhwCKYJXd39j/CfN1ogA3Y75raTOJQ2TwPQG95j yPWDx6yJYvh8dKRnpbF+uewMgDpHp9UdyD3zYqG8jOh4nF4DBu8mNi8n9TmFU4x1iqz29RxV CrOpQrxecGxj/X8Yb8hJBA1QgajuoJzAeQc2sMoiYsV2GQGi5nd5ncBnWrpcJ1a1a/4cHsRV GsOyt/R7hLi3R4GTDrBzIb4W3OBh8p5MoPiMyVGh2Rntp0MUfjFv9km1WNvr1G1rBzce614l zYZk7417WICxvsOs0wrxzmcBbYbGQ9ZOzbtnlKG9YPbzu0faWCxfLy3zEc7k8qmCeTIoAZaU Wr5c5FkBTV38tdyNlHL+HL244DgPtLXaJhA03/c2weFlOVTJJ8rw7AIgixuJWL0uzs90eknn xFo3paSs42OKmEr96W8SE09VHW9d4YY/Tfjirxbl8Cd0tW0H5lvLT4MWYPhUfOiFD9B/eSiL QuFFycw72uKAbeKVxHK819o9jicdvLjf2HSPnQSys9uAQWQNFAKyh5BRy00x9Y4Dlz4n5GnK RYhoGpNuRig7UEQguNwa0uhDiGF/1zuM2lsDsDYdUszjEkK5l+JY5LAqLsrRWcAuMXm9lTFK 3THNVoWSztVCwrUXxa7eeP2rdjYr7rHXKznc72XMO/I8asHB5Lqjdquytc0oGrKb5/SeCEkV 7pihAJCRSwrQpyJ3WxQFGpH0XqKNZfTpQ/gqHQo9YbmoaitAES3otLRbtkaedR3p0Ls2fbFZ 7PW3Xwpb24fj8xExGeUmuJGghhP22c3JmPrSfNZ5GbMVP6CwPYJSURAOmUobo0QqPttu2sFc djSjte/vlJhptgyDVoNFVnom8XzINcPP3n4LlTMQkCCKLWBIzTPhcDxe6K1D7NK3q1SsFWrt DCXHlWGXHzLniT1Vx2pLeBHjT2KdB1Ytoandx9xCG/lBNv4Yxy/OdVzgHU427oxzn/NMGcdN 3B7fSYv5vWI6jhEh/xkB2Fbxn9sLO3BgynAqueBdcdQvvxsDSB50eld5TVyyrdY6j1FWO0gm CbWqY0LwRnume2Oxzx7FRtW/2wT1cTb4AM4YPifr8YRChOmtFoX4G6dCgoHvY5gA9zr4eVLz 8TX0bj0I3FE+s7V+s0VA47VLtiGOTwvK0mMenacAQ0bQDqsLWyaiVZalaTY9HqTp4Q6o56qg IAJVq1WUl8yPvwfA0VhWtcFJd0kO1Fs2a7el8MO6Xek+VPJQ95Gu5ncSv+IKfDmKTLclbYdI hVRnuK+IoMUOYn2nUdlbxMp+eaCU1qVVtdLrCp7awYyq0gY63lyQFo43Ef9Yx+s6nsefRZRt hEzgwp6J+8q8WW0i7/YDlXPrSo01kI2nIe86dhwWDv4LaP1RY4PTiSt6Bl3PZT8TAJ4Kwa1m B48XAo= IronPort-Data: A9a23:den6HaiaF+FrNWA2NHj8dqYbX161hRQKZh0ujC45NGQN5FlHY01je htvD2DUaP+OMTfwKNpwaYuxoxlQvp/TydE1HgZp/i8wESJjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqicUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYpdDNPg06/gEk35q6q6WlG5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVPKCSDXjCCd86HJW3fI7sduNEgcBr0F2+wnKCYTr u0+eBlYO3hvh8ruqF66Yuxlh8BmNMayeY1G5SAmwjbeAvIrB5vERs0m5/cChGZ21p0IR6+DI ZNGOFKDbzyYC/FLElUQDpsinO6uwGHldCFKpVSWooI45mHSyEp6172F3N/9J4DXFZQIwRjwS mTu80rZEEFKNdWl8QWD7DWD28nCnD7gcddHfFG/3qcy3Af7KnYoIBYfUF/+pfiilmalStdHI goV/DAvpO487iSWosLVWhS5pDucsUdZVYMPQqs17waCzqeS6AGcboQZctJfQNACmf02fTUA7 W+Uvtm5LHsy66yzGVvIo994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHosL/Emd3oKdJN3g/ 9yZhHNh2OhL3Kbnw43+rA+X2Wv9znTcZldtvl2/Y46z0u9uiGeYi2GA7FHa6bNYI9/cQADe7 T4LnM+R6O1IBpaI/MBsfAnvNOH3jxpmGGeE6bKKI3XH32r1k5JEVd4JiAyS3G8zbq45lcbBO Sc/Qz956p5JJ2eNZqRqeY+3AMlC5fG+S4i8DaiKNIofPsMZmOq7EMdGNRD4M4fFwBhErE3DE crznTuEVitDUPw6nFJauc9CjuZ1rszB+Y8jbcmjk07PPUu2a3mSRrMIWGZinchohJ5oVD79q o4FX+PTk0s3eLSnPkH/rNBORXhXciBTLc6s96R/KLXYSiI4QzFJNhMk6el+E2CTt/8FyLmgE 7DUchMw9WcTclWdcVvRMS4+Neq/NXu9xFpiVRER0Z+T8yBLSe6SAG03LvPbpJF2r7Ax/u0+V PQfZcSLD9JGTzmNqXxXboDwoMYmPF6njB6HdXjtKjUuXY9SdyqQ8P/dfyzr6HYvCAizvpAAu LGO7F7QbqcCYAVAN/zoTsyT4Wm/h0VAp9IqbXD0eoFSXG7O7LlVLzfAi65rAsMUdjTG6Dio9 yeXJhY6o+PyjZc/24TLj/rcrqOCMeh3LmxFFUb1sJe0Mij7+DK44IliCeynQxHUZFnWyo6DO 9pH7qjbG+IVuXp3qKxAKqZP4YNiwsrwtplY4x9BHn6WX2+0C7hlHGaK7fNPuoJJ2LVdnwm8A WCLxfV3JpSLP9HDAncKBQ94cNmG6+4YqgPS4dsxPk/+wi19p5iDcEdKOiizmD5vF6R0PKwl0 NUelpYvsSLnsSUTM/GCkixw3EaPJCZZU6wY67crMLWygQ8vklx/cZjQDxHt2662avJODBgOA iSVj6/8lbhj1hL8U34sJ0Psg8tZp7oz4S5v8nFTBm60iuLkh+A21iJ/6T4YbBpY5TQZ3vNRO lpEDVxUJ6KP9QhGnMJoBn+eCSxdNh+0oWvKll0DzjzfRWaVS12XfXEcOPmMzm8d4WlzbjhWx 5DG6WfHABLBXtD94Ts2YmFh88fcdN1W8hbQveyWBOGHIsUKWiXkiaqQemY4kRvrLscvjknhp +Mx3uJPRYDkFCwX+YsXNpK70OkOdRW6O2Bye/Ft06cXF2X6ejvp+zyvKVi0S/xdNc7x7k60J Mx/FP1hDy3k+n61kQkaIqoQL5tfvv0jvoMCc4y2A182ieKUqz4xva/A8iT7unQQfOxvtsQDe 6fxbDOJF1KCiUREw1HtqNZ2AUvmQN0mSjCl4sWL3rQoLbwhvttoU3kO6ZqvnnDMMAJY7xOe5 wzCQKnNzt1d84dnnqqyM6BPGzSLLcjXUcKW+juSqPVLV8vEau3VhjMWq37mHgVYBqQQUNJJj oawsMb78UfGnbQuWUXbpsWlO4xWw/6tBcx7H9nSLnZIuQejAurX/Aol6WS0DbdrgeFtzJCra CXgYfThaONPfclWwUNkThR3EjEfLv/SRbjhrybslMa8IEER/iKfJez26EKzS39QcxIJHJjMC gXUnfKKzfIApaRuAC40Pd1XM6VaEnTCB5R/L8bQsAOGBFaGmlmB47vutSQx4AHxV0WrLpzI3 oLndDPfKjKC4a3G9YQM+cg69BgaF210juQMb1oQsYw+wSyzCGkda/8RK9MaA5VTiTb/z4z8e CqLVmY5FCHhRn5RRH0QOjg4stu3XYTi++sVJwDFO2uRYiayQZuPWf5vr3gxpXhxfTTnwaesL tR2Frgc+PSu6skBeArRzqXTbSRbKjfyyXcB+ES7mMv3a/rbKatfz2RvRWKhSgSee/wgVyz3y awdSmVNQUX9Qkn0eSqll7i5BzlB1A7SI/4UgetjDToRV0h3DAGN9REnB9zO7w== IronPort-HdrOrdr: A9a23:M7gj3KGbkbPvj2OepLqE2ceALOsnbusQ8zAXPjNKOGdom62j5q OTdZEgvyMc5wxhPU3I9erwXpVoIkmskaKdg7NhX4tKNTOO0ADJEGgL1+rfKlbbalTDH4BmpN 9dmuRFebrN5JtB4foSIjPULz/t+ra6GWmT69vj8w== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,346,1654552800"; d="scan'208,217";a="54589576" X-MGA-submission: =?us-ascii?q?MDG1GV9UWKbLWUlwCFAca0z1tUz3Cji8toXmew?= =?us-ascii?q?PrGDI8xv8v9WEqjncB2FDe6yUFIBaYqkWEyRSLcSfWOgwucoxZ3SwRhc?= =?us-ascii?q?iHh6mjRiTHXcAhscOcpihakUTjGoBQ6Q2jTigol69vYWkSXChL16h8cH?= =?us-ascii?q?ceYlWuH5BfYx/SXmFhwdGRpQ=3D=3D?= Received: from mail-pg1-f179.google.com ([209.85.215.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Sep 2022 18:03:41 +0200 Received: by mail-pg1-f179.google.com with SMTP id b5so6953646pgb.6 for ; Mon, 26 Sep 2022 09:03:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-language:to:subject:from:user-agent:mime-version:date :message-id:from:to:cc:subject:date; bh=2GeiIqeG3XR0iFrp30ZE61eEd2a9K8XdkVeevKgq/8Q=; b=X5V860AbjvbyhAISYeJx7uGKJK0rPSLdnBE58m/Q1g/QbSZCflsqdPuj9orDfCpOWE WzMKWVhljoWJfCzCzuqH5w+kZi23tiKFJUJrTKgFRwwu4DEGfircu74A5sN0W8mSYyKf 33Al5rXMNpxNAWR2nRxNOhdsDDXWyXsV+mkR6qiZGwUfMXXoqowXWhYiJy1HWoTp4yB/ e59vGcjXRc2G/b7Z8+9XN4DH2CXR1F0TpjFP/G83hJfvwLpR7aAMenImOvFVbCNj+JZW HSSzAaVoEMa902qIfr2HQzINWGxwsSl1BACOKwuTMIxYY3G8h6CTe17ssfLWmSUsrCXS 8RmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-language:to:subject:from:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date; bh=2GeiIqeG3XR0iFrp30ZE61eEd2a9K8XdkVeevKgq/8Q=; b=t4NN+njjvJ8BIgFSqSH+Ivk0//mrwk2Wf3ngE2Sm8B1iSoVjuZUwqGa3f8m9Hc/sMo yFR03YfOb3NKrQOrIhJk8XhWYjf4iJ9eYe4zI6xCJeRkipXOHBlSQ6CCUDPCtmdjAwzy 1ywleDWDE18q75KX+SNFX4VDi6YXYW06uurZbEMYrKG2WY9xUGzaJwjEmpUAUoD0OQKd hFXktCNbRTcYXFtWmZEF4045/A6tEkVkS6pyOul69cNQ67TUhfG4Dc/jkPsKQDpot62F /1cVz5rldCoG75Dk1QJcC2dQHC6swKBjWc0lJp/15ATuwyHBxxAWFwcOHrqRzaQMZr+Q VWKg== X-Gm-Message-State: ACrzQf284/Nt5dEAZVA5yLMmht2WcCoAxcoNmtCKH+FNxz7heQ4N6YZz LvRLYxe1GHZNi3hdtpYSgcatL9AFSMXnDw== X-Google-Smtp-Source: AMsMyM6sZVQZ0iQT39yAODj0f9br2taHfMHIIKsVfoqMYV+h7Or9kIbqjf+5Tmb4WbQCiMDn7dCSqg== X-Received: by 2002:aa7:838a:0:b0:550:5e4a:ab55 with SMTP id u10-20020aa7838a000000b005505e4aab55mr24858553pfm.10.1664208219383; Mon, 26 Sep 2022 09:03:39 -0700 (PDT) Received: from [192.168.1.108] (c-67-170-105-121.hsd1.wa.comcast.net. [67.170.105.121]) by smtp.gmail.com with ESMTPSA id p9-20020a17090a2c4900b001fd76f7a0d1sm6687298pjm.54.2022.09.26.09.03.38 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 26 Sep 2022 09:03:38 -0700 (PDT) Content-Type: multipart/alternative; boundary="------------XjodQBhYBps3voL54LCB5gWN" Message-ID: Date: Mon, 26 Sep 2022 09:03:38 -0700 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.3.0 From: Jonathan Protzenko To: caml-list@inria.fr Content-Language: en-US Subject: [Caml-list] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022 This is a multi-part message in MIME format. --------------XjodQBhYBps3voL54LCB5gWN Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit -----------------------------------------------------------------------------------------    ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law                                              Sunday Jan 15th, 2022                                                        Boston, MA                                           co-located with POPL 2023 ------------------------------------------------------------------------------------------                   (please forward to anyone who might be interested!) We are pleased to announce ProLaLa'23, the second edition of the 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 but growing community; last year we had 25 submissions and 60 participants. 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 5-page submission for a long talk, or a 2-page submission for a short talk. Full details: https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers Venue ProLaLa will be colocated with POPL'23. We plan to coordinate with the POPL conference on remote participation. We would like to have remote participation even if the workshop happens in person. Our plan is to create an inclusive environment that does not demand traveling for COVID-19 (or other) reasons. Submission details We accept two kinds of submissions. - Long talks: 5 pages excluding references - Short talks: 2 page excluding references We require using SIGPLAN's one-column LaTeX format (acmsmall). Submission site: https://prolala23.hotcrp.com Important dates - Thu 27 Oct 2022: Submission deadline - Thu 10 Nov 2022: Notification of acceptance - Sun 15 Jan 2023: Workshop Program committee - Shrutarshi Basu (co-chair), Middlebury College, USA - Denis Merigoux (co-chair), Inria, France - Jonathan Protzenko (co-chair), Microsoft Research, USA - Timos Antonopoulos, Yale, USA - Joaquín Arias, Universidad Rey Juan Carlos, Spain - James Grimmelman, Cornell, USA - Ekaterina Komandantskaya, Herriot-Watts University, UK - Emma Tosch, University of Michigan, USA - Saeid Tizpaz-Niari, University of Texas at El Paso, USA - Giovanni Sileno, University of Amsterdam, Netherlands - Chris Bailey, University of Illinois, USA - Laurence Diver, Vrije Universiteit Brussel, Belgium - Sarah Lawsky, Northwestern Pritzker School of Law, USA --------------XjodQBhYBps3voL54LCB5gWN Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

-----------------------------------------------------------------------------------------    ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law                                              Sunday Jan 15th, 2022                                                        Boston, MA                                           co-located with POPL 2023 ------------------------------------------------------------------------------------------                   (please forward to anyone who might be interested!) We are pleased to announce ProLaLa'23, the second edition of the 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 but growing community; last year we had 25 submissions and 60 participants. 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 5-page submission for a long talk, or a 2-page submission for a short talk. Full details: https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers

Venue

ProLaLa will be colocated with POPL'23. We plan to coordinate with the POPL conference on remote participation. We would like to have remote participation even if the workshop happens in person. Our plan is to create an inclusive environment that does not demand traveling for COVID-19 (or other) reasons.

Submission details

We accept two kinds of submissions. - Long talks: 5 pages excluding references - Short talks: 2 page excluding references We require using SIGPLAN's one-column LaTeX format (acmsmall). Submission site: https://prolala23.hotcrp.com

Important dates

- Thu 27 Oct 2022: Submission deadline - Thu 10 Nov 2022: Notification of acceptance - Sun 15 Jan 2023: Workshop

Program committee

- Shrutarshi Basu (co-chair), Middlebury College, USA - Denis Merigoux (co-chair), Inria, France - Jonathan Protzenko (co-chair), Microsoft Research, USA - Timos Antonopoulos, Yale, USA - Joaquín Arias, Universidad Rey Juan Carlos, Spain - James Grimmelman, Cornell, USA - Ekaterina Komandantskaya, Herriot-Watts University, UK - Emma Tosch, University of Michigan, USA - Saeid Tizpaz-Niari, University of Texas at El Paso, USA - Giovanni Sileno, University of Amsterdam, Netherlands - Chris Bailey, University of Illinois, USA - Laurence Diver, Vrije Universiteit Brussel, Belgium - Sarah Lawsky, Northwestern Pritzker School of Law, USA

--------------XjodQBhYBps3voL54LCB5gWN--