From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=NveZaGLa; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 3F13D4009B for ; Thu, 29 Oct 2026 12:21:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=0xnzdPunl9INduo8Ufh+B2tZSr5ZqXGJmfyKRMocu8k=; b=NveZaGLaEENthtLbKC8Dp+BZ9WB6rlN+Rqlk2Gu4mbFwVxsPUJtL8Goz Xm/9Nxaof5MBAYwFQCad1fvOMiKbzkZlrdguDfPliyigW90nlMMfpFu22 II5gJs1zFSKwhxNlNiEP7jFseG7oW9KBD/Pdeovm37wzCuHQfdDDEej8p U=; X-CSE-ConnectionGUID: ZS6v3UnYShmWLSAl+d84BA== X-CSE-MsgGUID: OE2rQjPrT9aigwblHLhZHw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:128.93.162.27 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.27,184,1787004000"; d="scan'208,217";a="302876054" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Oct 2026 13:21:13 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 193BD82268; Thu, 29 Oct 2026 13:21:13 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 4B49E82265 for ; Thu, 29 Oct 2026 13:21:02 +0100 (CET) X-CSE-ConnectionGUID: vd+LU1yUTcCVf88Oj5mvJw== X-CSE-MsgGUID: bDrPO8uhT327MKBlWzNr5A== IronPort-SDR: 6ae33a2d_cxwEBWeE7avkvkVsBg2sYmQGrmVk3x8hVkEsJQ92kx/cQmE GunoZpbXEuFQsrC4IqYtpUJreJyCaGxTO4hqt0A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HHAgALOeNqhSUNcINaDoUMQgFIYjIEVIRYgSOCLI4lg?= =?us-ascii?q?imaIYMUPwYJAQMBDT0UBAEBAQIBA4ILgTyBN44fAh4HAQQ0EwECBAMCAwEBA?= =?us-ascii?q?QEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABAQEBQA47hk8NjBM7cV5HA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBARQCDQdXQwYdAQEmEiU3AiMTBSQagnoBg?= =?us-ascii?q?iICA00DEbVsgTKBAYIMAQEGgQk+BdoiMVZPXAMGCQGBQ4hfAYFgAQIOhAg7h?= =?us-ascii?q?QSCDYEVNYQ5gVwEgguDLoJqgiaBDIFyhjiODSYmAwcHDitGDgEhAyYzLAETQ?= =?us-ascii?q?hMXCwcFbEkYAhkBAgEfCi8UGQIULw8EFggRGR1wDB0KEiwXL1gbBgWBHXMrg?= =?us-ascii?q?RmBB12BKylhIYEIgXYCgTeBGoELdQIBSUEOBzkMUwklQxJHJCIIEgkBExouC?= =?us-ascii?q?4EaNTwJJkEVDGQLEQkFYggCDQx2ORAxICYyBAMdYgs9NwYPGUqSSoM4LQUtB?= =?us-ascii?q?goJGClvBSULBA4lDzUvjhkHhEsUkimfVIE+gheCEYRUH4cvlVQzhASNFJlXm?= =?us-ascii?q?QgjjWeVZBMJhTk2gUkjgVwzGggwbAaCMFADGQ9YjWECg2mDBoINiiG/BBA2N?= =?us-ascii?q?D0BAQcCBwEMAQMLgWiQNIFMAQE?= IronPort-PHdr: A9a23:hcaV6hO+O+YrS34Q9VAl6nY0BBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqsr1AWCBNuAsKwMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58L Ri6txndutcZjYd/K6s8xBXEr3pVcOlK2G1kIk6ekBn76sqs5pBo7j5eu+gm985OUKX6e7o3Q LlFBzk4MG47+dPmuwDbQQWA/nUTXXwanwRHDQbY9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9 KhkVhnlgzoaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjeK7WYNEUSndbXstJWCNPAo2yY YgSAeQfIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBnE0wwnAtIPsHPUrMjoP6oMV uC1yqbIxijEYvxK3jf97ofIfws9rv2WQbJwcNbRxlczGAPFlFmfs5DqMymX1uQVqmWW6fdrW u2zhWA9sQ5xviSvydk2ionPno8YyFHJ+CZnzIsxK9C1RlN3bNy6HZZOqSyXKot7T8MjTm9ou Cs31LIItJClcSUOy5kqyB3SZviIfoWI5h/uVOacLDFlj3xrf7K/ggy98UmmyuDkTsm0ylFKr iVfktbWs3AN0h3T6s6ISvRh+Ueh3ziP2B7J6u5aJ0A7ibTUJ4Qmwr4qmZofqV7METPzmEnsi 6+WbEok9vCo6+TgfrXpuoWcN5duhg7iNaQun8qyCvk7PAgWR2WX5Oqx2KD58UHkXblGkOc6n rTXvZzAK8kWpLa1DxFJ3osn8RqyDDer3M4FkXUZL19JYg+Lgor3N1zIPfv2F+2wg062nzdu3 /3GPqPuApHKLnXblbfuZ7d960pAxAYv0dxT+YhYCrcbL/LrQEPxu8fYDh4lPACu3+bnCcl92 Z0CVmKPGKOWKr/dvUWK5uI3O+WMZYkVtyjhK/U9+vLjg2I1lUUAcaW0w5cbcm20E/p8L0iXY 3fgmtIBHn0Lvgo6QuzqklqCUTtLanmuWKI84D47BZm6AovZWoCtgaCB0zmnEZ1WfGxJEEyDH W3qd4WcQ/sMcj6dItd9kjwYUrisU5Mu2gurtA/+0rZnKuvU+jYEtZ/4z9h05+jTlQko+jBuD sSd1XuNT2BukW8SST82xrhzoUpmxViby6h3n+RYFcBP5/NOSgo2KIbQz+NkBND1WQzPZM+ER lK8TNm+GzE+UMwxzdwUbUtlHtWtlBHD3y62D7MJi7CHGoY48qTG0HjpPcp9xG3G1Kg9gFU8X stPNHGmibBj+AjTHYLGiVmWm7yodaQExCLC6WSDzWuLvExASAB+XqvKU24DaEbKq9r1/l7NT 7q0BrQ9LgRM0daMJLJSZNPmlVlGX+/jONrGbmyrh2q+GAuGyquXbIrydWUSxCXdB1YAkwAU5 XuILREwCD+urTGWMDs7CUP3blip+O94r269RUIcywCRc1YnzLe84VgInfGaTbUe0q9A8C4up zxcGFemw8mQANqJow9sZr4aet55qFxO0Gacsw1mIrShKbpjjxgQaUA/tET3kh5zF49okM4wr XpswhA2YaKRy1BMczew3ZnrObDTLi/15h/8RbTR3wTv18uH/bpHw/M+pB23twavGWIptWlmz 9Re0z2V7dPIFFxBAtrKTk8r+k0i9PnhaS4n6taMvZUNGay9szuYnsksGPNg0BGrOdFWLKKDE gb2VcwcHcmnbuIwyBCydhxRGudU+eYvOt++MeOc0fugO+BvtDngkWVb7Yt9lEuHsShkGabTx 5hQ+/iDxUOcUivkylKos8T5g4dBMDoVGGWXwm74BZJcba00dI1NC3/9a9avyIBYgJjgE2Vd6 EblB14C35qxfgGOalXmwQBK/UEeoHj/wXPiiTp9i3cmtauUmjDP3+npdFwOMShJXAGOlH/KJ o65x5AfVUmsNU0ykQe9oFz9zO5drbh+KG/aRQFJeTL3JidsSPn4sL3KeMNJ5J4y1EcfGO2hf VCXTKL8qBoGwmviGWVZ3jUyazCtvN3wgRV7jGuXKHs7omDefIl8whLW5dqUQvA0vHJOTy5+h hHcQES9I9Si/ZOdnNHBqqH2Vm6sUIFSbTi+1ZmJ52Ow4WxnBwH6nujmw4a+V1Fji2mijJ8xC natzl60eITg2qWkPPgye0BpAAW58M9mAsRklYB2gpgM2H8cj5HT/HwdkG61P88IvMC2JHcLW zMPxMbYpQb/30g2ZHmOwY3RXTOBw9dsbNn8a2hQ2Dp3vKUoQO+EqadJmyd4uA/ypgXXbtB22 Csc1fYl6DgTiKcLoEB+hjXYCbcUE05COCXqnBnd9NGyopJcY2O3eKSx3k5z9Ty4JImLuRoUG HPwe5N4WDR18t06KlXHlnv69oDjftDUK9MVrByd1Rna3aBZL5c4l/xCgiQCWyq1tnojxMYwy wBvwZyxvM6OICNv5Oq1DwVZOTv8e84Ismi21OAHx5zQhtvpRcopEy5DRJbySPO0DD8e0Javf x2DFjExsDbTGLbSGxOe9FYzqnvOF56xMHTEbHIdzNhkWFycPBkG21lSBWxg2MdiUFv1l6mDO A9j6zsc50D1sE5Jw+NsbVzkV3vH4R2vYXEyQYSeKxxf6kdD4V3UOIqQ9LEWfWkQ85u/oQiKM mHeaR5PCDRDUUuCCHjoeKWv+dTL866RDay8N7GdBNfG4fwbTPqOyZ+1h8Ft+DCDHs7JInh+A vY7nENIG3JhUZe8+X1HW2kckCTDaNSerRG393hsr8yxx//sXRrm+YqFD7YBecUq4R29hr2Pc vKBnCssYygNzYsCnDWbrdpXlE5XkSxlcCOhVKgNpTKYBryFgbdZVlYac38hbZARqftlhE8UY oiDzYmpnqhxivp/Y7tcfXrmnMzhJckDImXncUjCGF7OLrONYzvC38DwZ6q4D7xWluRd8ROq6 36dFAf4MzKPmiOMNVjnOPxQjCydIB1VuZ2sOhdrB2/5Sdv6axq9eNZphDwyyLcwizvEL2kZe TR7dkpMqPWX40Y6yr1nHHdd63N+MeSesyOQ7u2Acs5M9/1iGmJ7jONRpmg717Ze7GdNT7p3g Gqar9JjpU2njvjayjdjV0kryH4Dj4aKsEN+fKTBo8AbADCdpUhLtD7WUEtZwrktQsfisK1R1 NXVwaf6KTMYtsnR4dNZHc/fbsSOLHsmNxPtXj/SFgoMCzCxZgS9zwRQlu+f8nqNo900sJ/pz dAFTblUfFdzCvIGB09lWtUJZpVvFGBB8/bTnIsT6HyyoQOEDt1dpYzCX+mODO/HLT+YieEcP 0FOx7rga4sIN4a9x01+Z1J62o3BXUjIF4MowGUpfko/p0ND92J7R2s41hf+aw+j13QUEOa9g h88jgYWiQEF/3Hw4ks6LVqMrSB2klFjwb0NbhiaNiLwMKq7XcdfAGz2rxpoWnsaawN8bAnqx RQ+cjHNX/RelLprM3xqlALXud1GErheVf8cCCI= IronPort-Data: A9a23:z6CrU6CCXYc1wBVW/7Lnw5YqxClBgxIJ4kV8jS/XYbTApDwlgjJTx zMWD2CHMvyKYmvxeNh3YI609UNTvcPXm9VmTANkpHpgZkwWlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYqHVUMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8kwHUMja4mtC4AVmP6ET5TcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLh1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZEmMhgCPSyLb4jsVpew2GJKvR7RI7hXPCfjTNY9G9YasFmGP/fY 5JBMWApah3YJRJUO1xRFJMikeyowHD0NT9AwL6XjfNsui6KlVY3ieOra4W9lt+iHa25mm6To WTJ12+/HhAGOdefjzOOtHC07gPKtXijAtJNSe3orpaGhnWZ6nYrL00LVWfg+6acqWS6ZMB5M RE9r39GQa8arxH2F4KhBHVUukWstRcZX59UEvYmwBqcz7LdpQefHGkNCDBbAOHKr+czTD0uj gfRxZXvDCQpv6aUQjSB96uZpjP0MCNTL3dqiTI4oRUt/dWghLxqny/zRf1dHv7lqd+oHC/S3 GXfxMQhvIn/m/LnwI2ZxTj6b9+Eo5HISlZtvl+RWGu9qAxiZYXje4205FPbq/9LaoSBJrVgg JTms5bGhAztJcvX/MBofAnrNOv2jxpiGGaF6WOD57F7q1yQF4eLJOi8Gg2S23uFwu5fJGKwO xOI0e+gzJlaIHqta6ZzK5+3Cton17PhCcWtXffOdt1Ua4RwcwnP/Sd1eU+Mwnzg2E8i2bo0O JqdesvkEXEZGKMP8Qdas9w1iOdxrghnnD+7bc6glXyPj+HBDEN5vJ9eazNimMhit/vc+G04M r93a6O39vmoeLeiPnmOrtJLcAtiwLpSLcmelvG7v9WremJOcFzNwdeKqV/4U9U9xfoHpfSC5 XynRE5TxXz2gHCNe03AaWluZPmrFdxzpG4yd35kd1u5+WkRUaD25ocmdrwzYeYG8s5nxqVKV PUrQZiLLclObTXlwA4jS6fBgrZsTzmVoD6fHjGEZWE/dqFwRgaS9d7DeBDuxRY0DSG2lJUfp uSg3zzEXr8vbhVGCZvWY9nyyVjruXo5nthqU2T2INB4JUXd4dVzIAfQld4yGdkHcj/Y9wuZ1 iGXIBYWnvbMqIkL6+v0hbiIgoOqMulmFG9INjH/wZfsEAeC5Uul44tLcNjQTADnTGmupZmTP 7RE/c/zINgsvQhssbMlN51J0Khnxd/kh4EC/zReBH+RMmiaUOJxEEKng/tKmLZGnIJCmA2MX UmKxNlWFJOJNO7hE38TPAAVVfuC595Fhgjt6ekJH2ui6B9V5LanVWBgDyuIggFZL5p3N9oB6 sUls8g09Qe+q0QLNvCrsyNqzFmPf0cwC/gfipInAYHQmlUKzHNGasfiESPY2syEROhNFUgIG QWqopT+qY5S/Wf4SEprJ0PxhbJcob8spCF1yEQzIgXVu9jd2d4y8h5j0RU2aQV3zB8djuRKF U12O2JxfZex2TBMgeZBe2W0BCBAGxyr1UjjwHQZlGDibheJUmjTIF05J+q21mwTqT9aXz4D5 5Ce6j/vfgjLdfHL/BkZeBBaud25aPIp7SzEusSsP/rdLqkAeTC/35OfPzsZmSXoEeYapRPhp 9Az2M1SdKeiFyobg5NjOrmgzb5KFSy1fj1Tc8pAopEMM3rXIgyp+D60LEu0RMNBCtrK/WK8C O1sPsh/bAu/5gnfsgEkAbMwHJEskM4L/NYifpbZFVwCuZabrRtrt8v03Qr6j2kJXd5vsJgcL qX8SjG8KVGT1EBkwzL1kMp5O2SDcYYlYi/417uL6+knLc8In9xtVkAQ6YGKmUupHjFpxS/Jg zObVZTql7Rj7a9Og7rTFr5yAlToCNHrC8WN3gOBk/VPStLtM82U6gUshXz6MytSZYkufdNTk JqPlNvvw2LEo7cEfGTLkLaRF6RyxJuTXcgGFunVPXVljS+5d8u02CQ6+ke8Mo1vkvlRwuKFV jmIQpK8WvBNUugM2UAPTTZVFigsLpjeb4DilHublOuNAB1M6j73Boqr2lGxZF4KaxJSHYP1D zL1nPOc5tp4ioBoLz1cDtFEB65IGnPSaZEERfbQ6wbBVnKJh2mcsITMjRAjsDHHKkeVGfbAv K7qeELMSwSQiorpkvdirI1Ajj8GBi1cgM4xXH4n1fxYtjSYNFMCfMMhacgoK5cNniLLgcSyI HmHaWY5EizyUAhVaRi2spypQg6bAfdIIdvjYCAg+0SPcSqtGYecG/1b+zx952ttMC7WpA19x QryJlWrVvRw/n1oeQrXzvmygOM/nquAgHQB4QbyiM35RQofHbgB1DpoF0xPTUQr1i0LeFrjf QAIqaJsGSlXinId1e5rPWJUBBwSvHXmxHMqdU9jBf7B7p6DwrQoJOLXYonOP35qUCjODLVIW XLrSmCNpWmdnH4L0UfsVxTFnocsYc+28gOGwGMPiOHcc2xcKojqAi/aoRcycQ== IronPort-HdrOrdr: A9a23:i6qbmax4+96C0ot2JN0PKrPwFr1zdoMgy1knxilNoH1uHvBw8v rEoB1173DJYVoqNk3I++rhBEDwexLhHPdOiOF6UItKOjOW2ldAR7sSjrcKrQeQfBHWx6pw0r phbrg7KPCYNykdsS8i2njcLz/3+qjizJyV X-Talos-CUID: 9a23:WbhTHGCC3/IosXL6Ezdrt2opQ9EYTnb28nmAc2i6VGN3aqLAHA== X-Talos-MUID: =?us-ascii?q?9a23=3A6PM8lQ4PdoFVrgQyROHmTQ6fxoxiz76WLxAQkal?= =?us-ascii?q?d4ZahFgZ0BCW7lmmeF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,184,1787004000"; d="scan'208,217";a="302875880" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGnf72X6+c9uCCWvbAflAadPjPVXcUPE1vn6d?= =?us-ascii?q?/PmXV+DaiJhtyf+x6jH5NUDPc9cE8YGzqb3A7FCMVJn8TvwPnYGO5hcl?= =?us-ascii?q?F1sR7ub2BB2om0P2wjFOw/aeWTm+pQ7C4j4ZRiD+53OMmi/JhTzcg6ja?= =?us-ascii?q?xMdxLjzTzSmfNksgKUjXR+Ow=3D=3D?= Received: from mail0002.nap.gsic.titech.ac.jp ([131.112.13.37]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Oct 2026 13:20:58 +0100 Received: from 172.22.36.125 by mail0002.nap.gsic.titech.ac.jp with Mail2000 ESMTP Server V8.00(3452:1:AUTH_RELAY) (envelope-from ); Thu, 29 Oct 2026 21:20:49 +0900 (JST) Received: from mail0003.nap.gsic.titech.ac.jp (mail0003.nap.gsic.titech.ac.jp [131.112.13.38]) by drweb008.nap.gsic.titech.ac.jp (Postfix) with SMTP id 9908A801E4606 for ; Thu, 29 Oct 2026 21:20:49 +0900 (JST) Received: from 209.85.128.172 by mail0003.nap.gsic.titech.ac.jp with Mail2000 ESMTPA Server V8.00(3444:0:AUTH_LOGIN) (envelope-from ); Thu, 29 Oct 2026 21:20:48 +0900 (JST) Received: by mail-yw1-f172.google.com with SMTP id 00721157ae682-8b0e21048f8so18091907b3.0 for ; Thu, 29 Oct 2026 05:20:48 -0700 (PDT) X-Forwarded-Encrypted: i=1; AKwUvBym3/1YEvrGFj4yuLdvH0oIlJ8V0XQ02/2oRw55dkp6QbcKggMj8sVMUtb1hMLGjfAEVmjEDqR0Yj8=@inria.fr X-Gm-Message-State: AFq9FYK3CoMtBJq9rolIAbfSoxnsNGN9tJrGv5K58koaKRyFxDnYcz8I cqe+FXvUZjXWv0lvexaKmIod376SSzB5cOUO50IyThxJn8/ovX3fO9YTe37uEQ3g6USNG06n96f e9K3mKJJCzvmw3MzkwpclgPXe+xPVqmY= X-Received: by 2002:a05:690c:281:b0:8b0:dc04:b378 with SMTP id 00721157ae682-8b1b59a40d5mr45123697b3.9.1793276447395; Thu, 29 Oct 2026 05:20:47 -0700 (PDT) MIME-Version: 1.0 From: Youyou Cong Date: Thu, 29 Oct 2026 21:20:00 +0900 X-Gmail-Original-Message-ID: X-Gm-Features: AclHuK_23VpYKusPuPRln0kP6wfQw72uUeKhwCe_1_7Y_jpEHEDy5FDQMOtmhAw Message-ID: To: types-announce@lists.seas.upenn.edu, agda@lists.chalmers.se, caml-list@inria.fr, coq-club@inria.fr, haskell@haskell.org Content-Type: multipart/alternative; boundary="000000000000a19537065ef9b517" Subject: [Caml-list] PADI 2027 Call for Papers (March 2027, Kyoto, Japan) Reply-To: Youyou Cong X-Loop: caml-list@inria.fr X-Sequence: 19600 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: --000000000000a19537065ef9b517 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable # PADI 2027 Call for Papers The First Workshop on Programming and the Arts, Design, and Interactivity March 2027, Kyoto, Japan, co-located with =E2=80=B9Programming=E2=80=BA 202= 7 Workshop website: https://2027.programmingconference.org/home/padi-2027 Conference website: https://2027.programmingconference.org ## Overview The Workshop on Programming and the Arts, Design, and Interactivity (PADI) aims to explore how software science techniques can be used in creative domains. The workshop brings together researchers and practitioners working at the intersection between programming and the arts. ## Submission Categories We invite submissions in two categories. The page limits exclude references= . * Research papers: Submit a paper (5-12 pages) describing original work that has not been published elsewhere. The program committee will be instructed not to disadvantage short papers. The goal is that the paper's length feel natural. * Hands-on submissions: Submit an extended abstract (1-2 pages) explaining how you will use the allotted time and what you want the audience to take away. Describe any audience participation and interaction as appropriate. Submissions must be in English, anonymous, and formatted using the ACM sigconf style guidelines. The style files can be downloaded from https://www.acm.org/publications/proceedings-template. Please use the configuration \documentclass[sigconf,screen,review,anonymous]{acmart}. Submissions are handled via HotCRP: https://padi27.hotcrp.com/. Accepted submissions will appear in the ACM Digital Library as part of the =E2=80=B9Programming=E2=80=BA 2027 companion proceedings. ## Evaluation The program committee will consider the following aspects when evaluating submissions: creative originality, how programming contributes to the work, reflection on the creative process, and potential to spark discussion and participation. ## AI Usage PADI is a celebration of human creativity. Any use of generative AI should be consistent with that goal. For example, using AI to help with writing technical English is consistent with the goals, but submitting a work whose main output is simply prompted from an existing model is likely not consistent. Submissions should make the authors' own programming contribution clear and briefly disclose any use of generative AI that affects the content of the work. ## Attendance In-person presentations are the default, but we allow remote participation upon request if it is not practical for you to travel to Japan. Registration is required for both formats. ## Important Dates All dates are Anywhere on Earth (AoE). * Submission deadline: December 1, 2026 * Author notification: January 7, 2027 * Workshop: March 15 or 16, 2027 ## Organizing Committee * Rose Bohrer (AIST, Japan) * Youyou Cong (Institute of Science Tokyo, Japan) * Iris Johnson (NHL Stenden University of Applied Sciences, Netherlands) ## Program Committee * Kenichi Asai (Ochanomizu University, Japan) * Jonathan Immanuel Brachth=C3=A4user (University of T=C3=BCbingen, Germany= ) * James McCann (Carnegie Mellon University, United States) * Farhad Mehta (University of Applied Sciences Rapperswil, Switzerland) * Mae Milano (Princeton University, United States) * Chandrakana Nandi (Certora Inc., United States) Please feel free to ask any questions via the contact form: https://2027.programmingconference.org/contact2/padi-2027-papers. --000000000000a19537065ef9b517 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
# PADI 2027 Call for Papers

The First Workshop on Programming and the Arts, Design, and Int= eractivity
March 2027, Kyoto, Japan, co-located with =E2=80=B9Programmin= g=E2=80=BA 2027
Workshop website: https://2027.programmingconfe= rence.org/home/padi-2027
Conference website: https://2027.programmingconfe= rence.org

## Overview

The Workshop on Programming and the= Arts, Design, and Interactivity (PADI) aims to explore how software scienc= e techniques can be used in creative domains. The workshop brings together = researchers and practitioners working at the intersection between programmi= ng and the arts.

## Submission Categories

We invite submissio= ns in two categories. The page limits exclude references.

* Research= papers: Submit a paper (5-12 pages) describing original work that has not = been published elsewhere. The program committee will be instructed not to d= isadvantage short papers. The goal is that the paper's length feel natu= ral.

* Hands-on submissions: Submit an extended abstract (1-2 pages)= explaining how you will use the allotted time and what you want the audien= ce to take away. Describe any audience participation and interaction as app= ropriate.

Submissions must be in English, anonymous, and formatted u= sing the ACM sigconf style guidelines. The style files can be downloaded fr= om https://www.acm.org/publications/proceedings-template. Plea= se use the configuration \documentclass[sigconf,screen,review,anonymous]{ac= mart}.

Submissions are handled via HotCRP: https://padi27.hotcrp.com/.

Acce= pted submissions will appear in the ACM Digital Library as part of the =E2= =80=B9Programming=E2=80=BA 2027 companion proceedings.

## Evaluation=

The program committee will consider the following aspects when eval= uating submissions: creative originality, how programming contributes to th= e work, reflection on the creative process, and potential to spark discussi= on and participation.

## AI Usage

PADI is a celebration of hu= man creativity. Any use of generative AI should be consistent with that goa= l. For example, using AI to help with writing technical English is consiste= nt with the goals, but submitting a work whose main output is simply prompt= ed from an existing model is likely not consistent. Submissions should make= the authors' own programming contribution clear and briefly disclose a= ny use of generative AI that affects the content of the work.

## Att= endance

In-person presentations are the default, but we allow remote= participation upon request if it is not practical for you to travel to Jap= an. Registration is required for both formats.

## Important Dates
All dates are Anywhere on Earth (AoE).

* Submission deadline: D= ecember 1, 2026
* Author notification: January 7, 2027
* Workshop: Ma= rch 15 or 16, 2027

## Organizing Committee

* Rose Bohrer (AIS= T, Japan)
* Youyou Cong (Institute of Science Tokyo, Japan)
* Iris Jo= hnson (NHL Stenden University of Applied Sciences, Netherlands)

## P= rogram Committee

* Kenichi Asai (Ochanomizu University, Japan)
* = Jonathan Immanuel Brachth=C3=A4user (University of T=C3=BCbingen, Germany)<= br>* James McCann (Carnegie Mellon University, United States)
* Farhad M= ehta (University of Applied Sciences Rapperswil, Switzerland)
* Mae Mila= no (Princeton University, United States)
* Chandrakana Nandi (Certora In= c., United States)

Please feel free to ask any questions via the con= tact form: https://2027.programmingconference.org/conta= ct2/padi-2027-papers.
--000000000000a19537065ef9b517--