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=Y6RbQsH2; 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 D6CB44008B for ; Wed, 26 Aug 2026 13:13:17 +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=ZDx1Qo0j1DG6SUMjcAYEQBdjjx1fZ97Meh6IF1JK2x0=; b=Y6RbQsH2gxkodmsgbgPU4Py0ei2SkgAfuAic/AfWmUIDX6GddlvHtuh5 Ve5wPjJSRlP1JzOkJ3njMy82CTWcXFY5Tv3eOjOvM2GgLr6HF6BHWnB2Y OsR3pxlcLlacIN45HNawSCYAYJ7+Oudsr4PhepYMCqnrJ6i/H1iKpaEov 8=; X-CSE-ConnectionGUID: aN3UpYCIQbepPtrU9w1FiQ== X-CSE-MsgGUID: HnfSZNAlRkWHU5cMlSYZuw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 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:89.107.174.7 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.25,244,1779141600"; d="scan'208,217";a="291646877" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Aug 2026 15:13:15 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 638D0816C7; Wed, 26 Aug 2026 15:13:15 +0200 (CEST) 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 3D7588013F for ; Wed, 26 Aug 2026 15:13:07 +0200 (CEST) X-CSE-ConnectionGUID: xtfHCLbZRm+idbsLKrFawQ== X-CSE-MsgGUID: uUNi+soQQ02mqcIJbPCwXw== IronPort-SDR: 6a8ee662_QzPIuNyaSQvPCfj+4DO6y4nwoh3Gu3hEov3bhFs/zw/S15b bBhr0ki+H6XfqN704fyad6zJxMydIC81YHCtIXQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HiAQAW5Y5qjyUNcINaDhABAQsSDIRRQgFHYDIEVIRYg?= =?us-ascii?q?SOCLI4kgimVHoUCgVaBPhYpBgkBAwENFAIBAg4WFAQBAQECAQOEfo1vAh4HA?= =?us-ascii?q?QRHAQIEAwIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBAQEBA?= =?us-ascii?q?TkFSYZPDYJbO3FjCDoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBARMCDQctKgFCB?= =?us-ascii?q?h0BASYFDSU3AiMTBSQogmwBgiICA00DEcEjgTKBAYIMAQEGgQjaZDFUT1wDB?= =?us-ascii?q?gkBiiEBgV8BAg6ECDuEQUKCDYFKgXQSOIF7gVwEGIEdVoMugmqCERWBDIFyg?= =?us-ascii?q?UhhgV2BY4tjJiYDBwcOK0YOASEDJjMsARNCExcLBwVqSRgCGQECAR8KLxQZA?= =?us-ascii?q?hQvDwQWCBEZHXAMHQoSLBc1WBsGBYEdfSuEECMZNnyBCV6BKyllEheBCYIHA?= =?us-ascii?q?oE9gR2BC3oCAUlDDgc5Dj4LYgs9NwYOGUqPWh+CGS4xPQZNEzxOFw4LBBcrA?= =?us-ascii?q?QEBjnoHhDoaMZIDgTifWoIXghGEVB+HL5VUM4QEjRSSDoZfZ5kII41nlWQTh?= =?us-ascii?q?UI2gVwDDYFcMxoIMGwGgjBQAxkPV41KDAsCCYZmgWkkiiG8dDY0PQEBBwIHA?= =?us-ascii?q?QwBAwuBaJAANIFMAQE?= IronPort-PHdr: A9a23:cCcQuBSwr3orggz1VXCLfZt2b9psouyWAWYlg6HPa5pwe6iut67vI FbYra00ygOSA8ODsrkd17eP4ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvQu8UMnYduN6k9xgbGr3ZIZuhbwX5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uzY IUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB9ABsHPJrNT1M6cST P2+wbfPzTXFYPNdxDDw55TPchAnrvGBRq5/fdDNyUkuCwPKkEmfqYz/MzyPyusBqWqb7/J5W O+plmUopB1/rCK1yccwlonGmJgVylbc+Ct2z4s5O922RVB1bNOkEJZdtCOXOpd3T84mXW1kp To3xqMItJC0cyYG1JQpyhzBZvGIcoWF4R3tWeeNLTl4hn9ofq+0iRi18Uil0OL8V8+03U5Qr ipYiNXMsHQN2wTN5cedUft8/luu2TaV2ADS8OFIO0c0lbDUK5I53LEwjoYTvljYHiPsn0X2l qCWe0M58ear8+Tqeqjqq5GBO4Nulw3yL7oiltaiDek2KAQDUWqW9fy+2bDs50H1XatGg/0sn qXHrpzXKt4Xq663DgJTz40t8QywDy2839QdhXQHLExKeBaAj4XxPlHBOvH4DfOjj1iwjDtn2 erKPrv7DZXVNHTDn6zhfbdh5EJG1AozzMxf6IxIBbEBOv78QFP+uMbaDh8hKwC0wuDnB8th1 o4GRG6CDLKVPLnPvVOV+O4jOfSAaYEPtDvzKfUp//vugmU4mV8Zc6mpx5wXaHWgE/t6JEWZZ 3Xsj8wdHmsQogo+TfDqh0OeXj5TfXq9Rb4z6is5CIK+FYvDXJyigKSd3CenGZ1bfnxJBUqJE XfsbomEX/YMaDmOIsJ6iTwFVb2hS5c72h20tQ/6zaBnLuvO9SECu5LjzsB55+vImh4q7zx7E 9yd032RT2Fzhm4EWic63K9hrkx6yVmNy7B1jfhCG9BL/fNGTBk6O53GweFiDtD9QAPBftOVR Fq6XtmqHys9TtQrzN8WeUp9FM6ijhHf0CawH78VlqCLC4Io/aLcxXT+Pdpyx2zE1Kk5l1UpX 8hPNWyjhqNn7wbdCIDGnVuFmau2c6oQxDPC9GKZwmqUoE5VSBZ+X7zdU34QfkfWtsz55k3aQ rG0FbkpLxZPxdaZKqtSZN3mlVVGS+nnONTZe2+/g36+Cw6HyODEUI2/Z3QF0T6YAU4ClB0V9 nuuMQklGjznuG/XF3pzDV/pZQXh/fQ64Hq0QkYcywCRc1Yn3Lq8/hsYn+faUP5XlrkNvSNkr zRvAH682cjXApyOvU4pd6JFJNg5/V1v1GTDtgU7MIbkZ6BrnV0TdwBfv0r11BhzDsNHi8d5g mktyV9DLr+J104JXDSe0tikMbrRJUH5ugyud6Pd2hfX25CU4vFcu7wDt1z/sVTxRQIZ+HJ93 owNu5P9zpDDDQ5IFIn0Tl5y7R9x4bfTfig64YrQk3xqK6i99DHYiJoyHOVw7BGmcp9ENb+cU hfoGpgRAM6hAOdsh1m1YxkEeulZsqwsbIu9b/XT4KewJ657mS6+y2FO4YRzyEWJoiF7TOHg1 NAZwu2V1QvBXjy6jk/y+tvvl9ViYjcfVnG61TCiBINVYfhqep0XDG61P8Ct7tB3hpq1AyYCs liqHxUJw86iPwaTc1H23UtZ3gIVuRRLgAOeyDp523Esp6ubhmnVxvj6MQAAMShNTXVjilHlJ c61icobVQ6mdVphkhzt/kv8y6VBwcY3Z2DOXUdFeTT3JGB+Q+OxsLSFectG9JIvt21eTu29Z VmQTrO1rQEd1mvvGG5XxTZzcD/P2N2xlBt8h0qWampysHfSeYd5zlHd/J2URPJc2CYHWDgtk SPeVRC3O9ik+8nRlo+W67vnETv4DNsKKm+wktDl1mPz/2BhDByhkurmn9TmFVJ/yirnz5xwU i6Oqh/gY47t3qD8MOR9f0AuCkWvjqgyUox4jIY0g4kdnHYAgZDAt3EAl2jbOpNH2L7zZ3pLT DVNwcafs22HkAVza2mEwY70TCDXycxnaPGxJH8Xxi8274ZDA+GW9PYX1TswqV2+owXLZPF7l TpI0voi5kkRhOQRsRYsxCGQalwLNXFRJjek1xGB7tTk6b5SeH7qa7+7kkx3gdGmCriG5ABaQ nfwPJk4T2d86cB2MVSE13OWiMmsc97WYvoY8AGVjxrLj65cI9QzjrIGiDFmNmT0oXA+g7dg1 Fo3hMv85dPBcDol9bnxGhNCMzzpe84fn1Olxb1TmMqbxcHnH5lsHCkKQIq9SPupFDwIsvG0f w2KETA6tjKaAe+GRlbZsR486SuUVcv0ZBT1bDEDwN5vRQeQPhlaiQEQBnAhm4IhUxqtz4rne Vt44TYY4hj5rAFNw6RmLUqaMC+XqQG2ZzMzUJXaIgBR61QI7EDTPuSVqP5yAyxT/tuop0qPM ibIAmYARXFMQUGCC135a/Ol4t/P2+PeGuuiIvDOJ7yF7+5GHaTtp9rnws5t+DCCMd+KN39pA qgg20ZNant+HtzQhzQFTyFE3zKIdcOQow2wvzFmts3quuq+QxrhvMHcbtkaecUq4R29hr2Pc vKdlDosYygNzYsCnDfJ0ORNhQVLzXg3LX/0SvJY8nSRBLTZnqsdZ/ICQwV0MsYAr6c13w0Xf NXelsuwzLlzyPg8F1ZCU1Xl3MCvf80DZW+nZhvBAw6QObKKKCeuoYm/aL6gSbBWkORftgGh8 TedHUj5Oz2flj7vHxmxOOBIhSufMVRQooa4OhpqDGHiSprhZHjZeJdviiYqxLQvmn7QHWsVM DwkKxsX6LuZ9WVXmfR0XXBA8nduLa+NkGCb96iQK5obt+dqHjUhl+9e5ydfqfMd5yVFSfpp3 SrK+4c1+hf/y7PJk2EhC0Udz1QDzJiGtkhjJ6jDo5xJWHKeuQkI8X3VERMB4d1sFtzovalUj NnJjqP6bjlYoLe2tYMRAdbZLMWfPT8vKx3sTXTfCw0KZTXtKWDDikdd1viZsH+N5MtfyNCki N8VR7lXWUZgXOsdEVhgFcceLY1fWzollebD1JRO43Om6hbKRc4copHbW/mSR/zkbjSBx+ohB VNA0fbzKoIdMZf+0kppZwxhnYjELEHXWMhEvixragJcSKpl+z5iT3E+0EKjYwjr4mdBTJZcf zYzgwp6Obx1rnHq6k9xKUHLr20skVU8ktWjiDvXciajdM9YuKldTTb1q0U6MtXySEB3dV/q9 XE= IronPort-Data: A9a23:8klNmqypk4aAI7xVErd6t+eRwirEfRIJ4+MujC+fZmUNrF6WrkVRz WQfX2GAa/aIYmajctkgaN6+oxsO7ZXUy4M3HQs/qS00HyNBpOP7WeiUfxz6V8+wBp2aHRg/t 63ySfGZcZtqFieEzvuJGuK8xZWp/fjQHtIQMMadZGYpA1MiEH5/4f5as7ZRqpZyhtSkCB+6t 9r3osnOUHeowDcc3lg8sspvkzsx+q6v0N8klgZmP64T7AWAzyB94K83fMldEVOoGuG4IcbhH 44v/JnhlkvF8hEkDM+Sk7qTWiUiXr7IMAGSvWFdUq6kjwIqjnRaPnETaZLwwW8O49m4t4gZJ Odl7PRcei9wVkH4o9nxZjEEe81IFf0fqeWfeRBThuTIp6HOWyOEL/yDlyjaN6VAkgp8KTgmG fD1tFnhx/1M7g676OvTdwViuigsBNn3MqM0nntS9zSaDPosWrTgWYvD+uYNiV/chugWdRrfT 88QaD43NEyaJRtGIhEYE5M12vupmnT0c3tRoxSXvcLb4UCKl1U3ieG3doOOPIfVLSlWth7wS mbu9GP/DTkRcsCe1TeO8jSljanNhUsXXapIReTmqqA10AH7Kmo7FSAwVBigpsCA0hS7Qtl+C UYs0TUesv1nnKCsZoKgAkTj/CXsUgQnc9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqcLqScC0 1aIm4uxXWYptrSND32G97zSsTKuNCMVa2YJIy0cJecY3zX9iJEvgDLkatxRKqv2j9H/AhXT2 R6DsxFr0t3/kvU3O7OHEUfvoQrEm3QkZgs85wGPBjr/qAVwfMiqfI2jr0Ta8ftLLMCQRR+Dp BDoevRyDshTXflhdwTXGI3h+Y1FAd7ealUwZnY0RvEcG8yFoSLLQGypyGgWyL1V3jk4lc/BO xKO4FgNv/e/zVOsZLN2ZIS4D4w3y6n+GM7+V+zFJtFJeIB2bgab/SZoLU+WxHzsjFUwnOk4N 9+AesehC30XQbhgzyuxL9ogPUsQ7nlmnwv7HMmjpzz+iOr2TCDOE98tbgDRBt3VGYvY+205B f4DbJPSk32ykYTWPkHqzGLkBQpScSRjVcCr+p0/myzqClMOJVzNwsT5mdsJE7GJVYwP/gsR1 ijlABEK+0m1nnDdNwSBZ1Zqbb6lD941rms2MWZodRyk0mQqK9TnpqoOVYoFTZ9+/sxazNlwU 6YkfeeECa9xUTjpwWkWQqT8i41ATy6VozyyERCrWxUBWqJxZhfo/4bkdzT/9SNVASuQs9A/k oKa1QjaYMQiQl1iBfnJd9eD5kKVuCUdk8kvWUCSJtt3fn/0/KdUKSXa0/8GMpwVIj7i3Rqf7 R6dWj0DlNnOoqg00djHvr+FpIGXCNlDHlJWMm3YzLSuPwzI1zKH7a4adcjQZhHbdmf/2Jv6V NVv1/umbcE2xgdbgbRzA5NA7PwY5eK2g5R40w49PnHAT2rzO4NaOnPcgPV+7Pxc9IR45zmzd FmEoORBGLOzP8jgLl4dCSwlYsmH1tAWgjPi1us0Emqr+B5I+Ke7bmsKMymukCB9KJ5HALEhy 8olu+8U7FWboTguOdCkkCtV1jqtKlotbqYZjawZUbTb0lcT9lJ/YJLnGnDX5rOLYI5yKUUEG GKfq5fDoLV+/XD8VUQPO0LD59cAuqRWiit2lAcDA3+rhuv6guQG2UwN0DYvESVQ4BZ188NyH WlJNUcveKO30BJ1iOdHB1KTPQZlATOb3knp1HoIi2zrYE26XUPdLGAGGLis/WJI10l+bzRk7 LWj52K9agnTfeb1xToUW2Rpj9fBXO5B3FTOt+7/FvvUAqRgRyTuh5GfQFYhqjzlMJsXv1LGr +w7x9RAQ/T3GgBIqpJqFrTA86obTS2FA2lwQftB2qctNkOEcRGQ3Qm+EWyASvlvFdfrr3DhU 9dPI/hRXSuQzCyN9zAXJZAdKo9OwcIG2oAwRaPJF0Un7Z2ksTtbgLDB/HPfhUgqYelUv+QTF 4fzTw+GQ0us3SZ6ummVt8RVGHuKUf9dbi3G4e2F2uEoFZUCjeJSTX8PwoaE53W4DQ820C+X7 SXiZrDXxdNM0Y5DvZXhOYQdChSWKeHcbvWp8geygo4fcOGXG8XqsTkNpnbZPQ19YLsgSolun p+sq//y5lvO55wtYlDamr6ANZtDvvvvVrFqPfutfWRojAnTfOTO8hc862SDBpgRq+xk5+6jX BqeauG8UfU3SuVt7iRZRAYGGilMFpmtSLnroB2MisilCz8f4FThF8ym/3q4VlNrXHYEFLOmA zClpsv0wM5TqblNIxo2B/tGJZtcC327UIsEc+zBjxWpPlOKsHij5IS7zQEB7AvVAEaqCMz5u JLJZibvfSSI5Z3n8otrjJxQjDY2UlBGnugCTmAM8YVXihe7LlI8A8YzDJEkMqxQwwvOjMzWR TeUYGUbXHC3GXwOdBjn+93sUzuOHuFEaJ+zOjUt+FjScCusQp+JBLx67Cp7/nNqYX3Zwfq6L c0FsGjFVvRrLkqFmc5IjhB6vQtm+h8e7ncB+ESly5SoRRAXGfMFz31qWhZMSSHME4fEnwPJP QDZgIyCrF6TESbM/QRIIha52y31eBvkiSkpcSqEwJDWsMOZ1IWsDdXhbvrr3ORrgNsifdYzq LCee4dJy2vQxn0PtKAp/dsix61sYR5O8g5WM4e7LTAvc2qMBqjL8i/McefjjC3vxeKHL27gq w== IronPort-HdrOrdr: A9a23:ds6GUajMGZbQPQnyi2DAEHg333BQXskji2hC6mlwRA09TyX4rb HNoB1/73TJYVkqKRUdcLy7WZVoIkmslqKdn7NhWItKNTOO0AHEEGgF1+vfKlbbdBEWmNQw6U 4ZScZDNOE= X-Talos-CUID: 9a23:jzKMCm4RpuOi7sg3zNss5FIaOusBeE/nyTTRL0WjLUVzZrSKcArF X-Talos-MUID: =?us-ascii?q?9a23=3AQMgbUQ2r1trZT1Q+zyEPQl8mgDUj/pmICQMWlqw?= =?us-ascii?q?/45OBLCdRGT2lpyuHXdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,244,1779141600"; d="scan'208,217";a="291646784" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGOCOJCmR9LkynGmgXmCtc79kgAOZPX8CziPj?= =?us-ascii?q?JgPAdBRhWbMl0sY2TRc60WkRk3AOOyUrUiPfeUrnYojPc+KKuJD7/kUP?= =?us-ascii?q?mFdOH1v0mchXKJoXB7G9NrDGSWIrqZKj3MeFvEtA38eXc2KywuX1MWWI?= =?us-ascii?q?80HNDZ6rFqjfTAhMJHgSBtKw=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; 26 Aug 2026 15:13:04 +0200 Received: from 172.22.36.125 by mail0002.nap.gsic.titech.ac.jp with Mail2000 ESMTP Server V8.00(3574:1:AUTH_RELAY) (envelope-from ); Wed, 26 Aug 2026 22:12:56 +0900 (JST) Received: from mail0002.nap.gsic.titech.ac.jp (mail0002.nap.gsic.titech.ac.jp [131.112.13.37]) by drweb008.nap.gsic.titech.ac.jp (Postfix) with SMTP id 53378801E3F38 for ; Wed, 26 Aug 2026 22:12:56 +0900 (JST) Received: from 74.125.224.53 by mail0002.nap.gsic.titech.ac.jp with Mail2000 ESMTPA Server V8.00(3564:1:AUTH_LOGIN) (envelope-from ); Wed, 26 Aug 2026 22:12:55 +0900 (JST) Received: by mail-yx1-f53.google.com with SMTP id 956f58d0204a3-6682259cae6so1345372d50.3 for ; Wed, 26 Aug 2026 06:12:55 -0700 (PDT) X-Forwarded-Encrypted: i=1; AHgh+Rpi2ELot7+fyVUqfXA0StVGTbFcQFP0zU5+zf8S+inCSxB9KTrG/yC+6sadcjPEfu9eHx2jxOMH/A8=@inria.fr X-Gm-Message-State: AFuF++lymPXCkzN5Wz+4JN83EzyG9FWRzS//HviVIPBjD+/XafDPHaTu oa+K/sNTWqviheNp9PMARyvC3gp8na6aCcTojMTA46/JQC2zhFZgUNlY00mat8FqtmWdRbuHQKx 696wK2OG5fmAlzJeHN80hzhgF8wnlG3s= X-Received: by 2002:a05:690e:124c:b0:66c:e1b1:53a5 with SMTP id 956f58d0204a3-66d2580a0b4mr2219820d50.49.1787749973565; Wed, 26 Aug 2026 06:12:53 -0700 (PDT) MIME-Version: 1.0 From: Youyou Cong Date: Wed, 26 Aug 2026 22:12:00 +0900 X-Gmail-Original-Message-ID: X-Gm-Features: AcwNN1X-J9FHnaq3SgPuBYs-JC_h0cVbc5njeoRh6VU1IAH2lcFeePIfhw4QBC8 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="0000000000001f27ef0659f2faae" Subject: [Caml-list] TFPIE 2027 Call for Papers (March 2027, Kyoto, Japan) Reply-To: Youyou Cong X-Loop: caml-list@inria.fr X-Sequence: 19567 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: --0000000000001f27ef0659f2faae Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ------------------------------------------------------- Call for Papers TFPIE 2027: The 16th International Workshop on Trends in Functional Programming in Education March 12th 2027, Kyoto, Japan, co-located with TFP 2027 https://wiki.tfpie.science.ru.nl/TFPIE2027 ------------------------------------------------------- ## Topics TFPIE welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside computer science. Topics of interest include, but are not limited to: * FP at different levels (high school, first-year and advanced undergraduate, graduate) * FP and the arts (incl. music, animation, games, philosophy and other liberal arts) * FP and applications (in computer science, robotics, artificial intelligence, etc.) * FP and pedagogy (incl., e.g., computational thinking, e-learning, automated assessment) * FP for building student engagement in research In addition to papers, we invite best-lecture presentations. These are an opportunity to share your favorite classroom moments. Show us your favorite material or favorite way of presenting it. For best-lecture presentations, please submit a short abstract describing the lecture and its interest to TFPIE attendees. ## Submission Instructions Submission is via EasyChair: https://easychair.org/my/conference?conf=3Dtfpie2027 Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details. Accepted papers from the pre-workshop and post-workshop formal review will appear in a formal proceedings, published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Reviewing is single-blind. ### Pre-workshop formal review Papers to be formally reviewed before the workshop should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the workshop. A paper that has been rejected for publication but accepted for presentation may be revised and resubmitted for the post-workshop formal review. A paper that has been rejected for presentation will not be formally reviewed by the PC. ### Post-workshop formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the workshop. Authors of draft papers will be invited to submit revised papers based on the feedback received at the workshop. A post-workshop refereeing process will then select a subset of these papers for formal publication. ### Formatting requirements Papers must be written in English, and formatted using the EPTCS style ( https://style.eptcs.org/). Papers submitted for formal review must be submitted as full papers (7-20 pages). Draft papers may be submitted as extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits do not include bibliography. For best-lecture presentations, we also accept short abstracts. If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis. ## Important Dates All deadlines are Anywhere-on-Earth. * Submission deadline (pre-workshop full papers): November 19, 2026 * Notification (pre-workshop full papers): December 17, 2026 * Submission deadline (pre-workshop draft papers): February 4, 2027 * Notification (pre-workshop draft papers): February 11, 2027 * Submission deadline (post-workshop review): April 8, 2027 * Notification (post-workshop review): May 12, 2027 ## Program Committee * Youyou Cong (chair) - Institute of Science Tokyo, Japan * Hsiang-Shang 'Josh' Ko - Academia Sinica, Taiwan * Jens M=C3=B6nig - SAP, Germany * Paige Randall North - Utrecht University, Netherlands * Liam O'Connor - Australian National University, Australia * Joe Gibbs Politz - University of California at San Diego, USA * Katsuhiro Ueno - Niigata University, Japan --0000000000001f27ef0659f2faae Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
------------------------= -------------------------------
Call for Papers
TFPIE 2027: The 16th = International Workshop on
Trends in Functional Programming in Education<= br>March 12th 2027, Kyoto, Japan, co-located with TFP 2027
https://wiki.tf= pie.science.ru.nl/TFPIE2027
----------------------------------------= ---------------

## Topics

TFPIE welcomes submissions describi= ng classroom techniques, classroom tools, and creative uses of functional p= rogramming (FP) to aid education in or outside computer science. Topics of = interest include, but are not limited to:

* FP at different levels (= high school, first-year and advanced undergraduate, graduate)
* FP and t= he arts (incl. music, animation, games, philosophy and other liberal arts)<= br>* FP and applications (in computer science, robotics, artificial intelli= gence, etc.)
* FP and pedagogy (incl., e.g., computational thinking, e-l= earning, automated assessment)
* FP for building student engagement in r= esearch

In addition to papers, we invite best-lecture presentations.= These are an opportunity to share your favorite classroom moments. Show us= your favorite material or favorite way of presenting it. For best-lecture = presentations, please submit a short abstract describing the lecture and it= s interest to TFPIE attendees.

## Submission Instructions

Sub= mission is via EasyChair:

https://easychair.org/my/conferenc= e?conf=3Dtfpie2027

Authors of papers have the choice of having t= heir contributions formally reviewed either before or after the workshop. F= urther, pre-workshop submissions may either be full (earlier deadline) or d= raft papers (later deadline). See below for more details.

Accepted p= apers from the pre-workshop and post-workshop formal review will appear in = a formal proceedings, published in the Electronic Proceedings in Theoretica= l Computer Science (EPTCS).

Reviewing is single-blind.

### Pr= e-workshop formal review

Papers to be formally reviewed before the w= orkshop should be submitted before the early deadline and will receive thei= r reviews and notification of acceptance for both presentation and publicat= ion before the workshop. A paper that has been rejected for publication but= accepted for presentation may be revised and resubmitted for the post-work= shop formal review. A paper that has been rejected for presentation will no= t be formally reviewed by the PC.

### Post-workshop formal review
Draft papers will receive minimal reviews and notification of acceptan= ce for presentation at the workshop. Authors of draft papers will be invite= d to submit revised papers based on the feedback received at the workshop. = A post-workshop refereeing process will then select a subset of these paper= s for formal publication.

### Formatting requirements

Papers = must be written in English, and formatted using the EPTCS style (https://style.eptcs.org/).= Papers submitted for formal review must be submitted as full papers (7-20 = pages). Draft papers may be submitted as extended abstracts (4-6 pages) or = full papers (7-20 pages). The page limits do not include bibliography. For = best-lecture presentations, we also accept short abstracts.

If you w= ish to make a submission outside the above formats, please contact the PC c= hair to discuss. Because TFPIE aims to encourage creative and experimental = research ideas, we may be able to accommodate some non-traditional submissi= ons on a case-by-case basis.

## Important Dates

All deadlines= are Anywhere-on-Earth.

* Submission deadline (pre-workshop full pap= ers): November 19, 2026
* Notification (pre-workshop full papers): Decem= ber 17, 2026
* Submission deadline (pre-workshop draft papers): February= 4, 2027
* Notification (pre-workshop draft papers): February 11, 2027* Submission deadline (post-workshop review): April 8, 2027
* Notifica= tion (post-workshop review): May 12, 2027

## Program Committee
* Youyou Cong (chair) - Institute of Science Tokyo, Japan
* Hsiang-Sha= ng 'Josh' Ko - Academia Sinica, Taiwan
* Jens M=C3=B6nig - SAP, = Germany
* Paige Randall North - Utrecht University, Netherlands
* Lia= m O'Connor - Australian National University, Australia
* Joe Gibbs P= olitz - University of California at San Diego, USA
* Katsuhiro Ueno - Ni= igata University, Japan
--0000000000001f27ef0659f2faae--