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=bdk7ADIX; 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 9E0AC4009A for ; Wed, 29 Apr 2026 09:28:07 +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: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=mKjo93YDimh9c86kQQO3HZ7TTxT6NSP+bS1oBoneHTg=; b=bdk7ADIXUxxLRtOe3Kvi4rZYHIsKxs2x1zhriWQkNs56iX1Sg6gjMIE9 oMmglhUWabnsBLS0vUtKrk8Niyjwb59b6gb8zh8Q+OI5coOjwYOWwZG5G EUykaXDU7EFENqH/t2axThESEDRR9SleE6lWcHBE4h6YhQr0gJDlrgEy8 c=; X-CSE-ConnectionGUID: rwLWDeUhTYq+Ab0hRtsF0w== X-CSE-MsgGUID: Wazzs7AeSm2U7HAv6+sgQA== 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.23,205,1770591600"; d="scan'208";a="274600477" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Apr 2026 11:28:06 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id A08DE81869; Wed, 29 Apr 2026 11:28:06 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id CED658186E for ; Wed, 29 Apr 2026 11:27:55 +0200 (CEST) X-CSE-ConnectionGUID: irf08ggiTIKtFOPpE/J3WA== X-CSE-MsgGUID: hfLxPeMORTGPQRXJPQqS0w== IronPort-SDR: 69f1cf1b_wtLAZt3QN1WsLT3lfy30ftaAD8Vyap6q/DoWP4VIpbUO2RH JADSSFVpkftBZLFs9yqk0m2Krf65O9/2d3EeiTQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HbCgC9zfFpfC1SfUpaDgiCRYIWKYEHXjQEC0mEWINPj?= =?us-ascii?q?ARTBwMGgRwfA4t3kFGDFRYnAg8BAwENPRQEAQEBAgEDhH+NNAIeBwEENBMBA?= =?us-ascii?q?gQBAQEBAwIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHD?= =?us-ascii?q?hIphk8NSQEMAYIEOyVMYQIFAzoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQoCDQcYFSo4CwYdARsMCggDEhAPAiYCIwERAQUBIxIIGoIIWYIiA?= =?us-ascii?q?QYQAQM2AxEGqkCBAkKLPYEVBQIWgQGCDQaBCT4F2RsKGSgNcYFkAgEGFoEJL?= =?us-ascii?q?oR4Kl6CWAGBcIQGO4NFgSEbfYEQgRU1gkRvgmEBAoFJK4NGgmkEgg0VehSDE?= =?us-ascii?q?4EAgX2Ba4ZiJggBBhcDBwcJBQQcBgUFAj8JBgUKEgMEAwQEAQILEwkDAwIOA?= =?us-ascii?q?ggDAggGGQE/EgQTCg0LBwUfCgIMFAooIhIrCgECASksAy0BCAYCAgQEAgQMA?= =?us-ascii?q?gkCAgUHAhEDBAEBCAICLQMBAxkICQgCCwURGAwLBzEDEAkDHxcaCAERNAgGF?= =?us-ascii?q?gEaBwUGCzgVBQwRAQECRwIlBA8TCgYEBwUCAgIUBgIEHAMDBAQCAQICAjoED?= =?us-ascii?q?hgOBAgHAwcBFgUCAwIFAQMBBwcSAgoIAw4bAgIEAgkBAQYOAgIGAgIBAwcYA?= =?us-ascii?q?wQdBAMDBwICCQkDBA0QChIVAw4DBw8CBAMMBy4QAwIHEAIJCA0XAgICBgIDA?= =?us-ascii?q?wMECQECAQEBAQEBAQIHAwMDAgMGAxcHBgMEBgEEBAMDAgMFAQMDAwUDAgMCB?= =?us-ascii?q?gcDBgkBAQEBAwICCAMIAwwJBAMFAxsDHAcBAwICAwIBAgEHAwMGAwcBAwcJA?= =?us-ascii?q?QMEBAMPAwUEAwIDAwMDAgcDAwMDBAECAgEBAQIDAQMDBAMBBgIBAwcCAgMDA?= =?us-ascii?q?wsBAgECAgUDAgMFAwMEAQcDBQIEAgMFAgMFAwUCAhIPAwsJCBM9AQsHMgQ2A?= =?us-ascii?q?RQUBykhX4pHHg+CSg86PhYCXRQUCwEJAyUPCQULUAM6knQLkiehEWiDPowel?= =?us-ascii?q?VQzhASHF4V8hwKSUQGIMIR2i2AijQhflWQThTARJBKBSSOBXE0jFWyCNlADG?= =?us-ascii?q?Q9XkUyBPoNViiG0bRA3Mj4BBwIHAQsEgXOKdYUMM4FLAQE?= IronPort-PHdr: A9a23:6XIeQh+WaJbL4P9uWRG1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y QqHvb490AeXFcWDsrQY0LaQ6/ihEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTWDdErvBQhd+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuMkbjZF+JqotxRfEoXRFd/hXyGh1IV6fgwvw6t2/8ZNt/Clcoe4t+9JFXa7nY6k2U LtUASgpPGwy+MDlrwTIQxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsP4Vb87VS284 qlkVRHkkCgIOSI3/2HRkcxwkblUoAm9qBxlwo7be5+aOfxjda7AZ9waRG5BXsFMVyxdB463c oUCA/YdMetesoLwoUYFoxmjCgm2HO7gxT9GiHH106MnzeouDQ7I0Rc8H9IXqnnYsMn5OLsQX O2z0aLGzS/Db/RT2Trl9obHaAohofaRVrxtb8XRykgvFgPfgVWVs4PuIjSY1v4NsmiG7OpgV Oavi2khqwxqrTivw90jiojNho4P1l/E8iB5zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnl2t Cs+yLAIt4K3cSgExpg52xPTdfOJf5aH7BztWuudPyt1iXZ7dbywhhu//lasx+L4W8e03lhHs zZJn8TMuH0N0RHY98aJSvx4/ki72DaP0Rje6vpFIUA7jarbL4QuwrgqmpoUq0TDETf6mETsj K+XeEUo4Oao6/7/brXmoZ+cK5N7ihvmMqg0hsO/BuE4Pw4TVGaY4eSxzL/u8ELjTLlXkPE7k rPVvZPEKcgBqaO0AwlY2Zs55RmlFTepytEYkGEHLF1bfBKHiJDkO1TUL/D5CfezmkmjkDN2y /zfML3sDZXAImLMkLfmerZ95EpcxxQpwd9D4JJUD6kNIPP1WkDvqNzVFh00PgOuz+r6Ftlw1 pkSVGGRDqODP67fsUeE5uc1LOmNYI8Vtiz9K/8g5/P2l384mUIdfaqo3ZsTb3C4GO9rI0qcY XX2g9cBFX0GsRY5TOzvkFGCSyJcZ26uX6Ig4TE2EJ6pAp3GRoCpmbCB2Ca7HoZKZm1dEVCNE XLod52eVPsWaSKSJNVhkj0eWrS7RY8hzwmitAnhxLV/NOrb5jUYtY7/1Nhy/+DfiAk+9TNqA MSa0G+DVXl5kW0VSTMuxqBwv1J9xFSZ36VghvxXD91T5/dQXggnMZ7Q0vV2C979Vw/BZNuJR 1GmQtKpATE1UN092cMBY0F4G9m6kx/D3CuqA7oNmrKTC5I7/LzS0WTtKsh703rJyawhgEM8Q sRTLWConrdx+RDcCYLRiEWZj6iqeLwG0iPR6WmN0HKCvFpAUA5+SarFXW4QZk/Rrdnh/k3MV qegB7t0ejdGnMWLL68PbtzykX1HQu3iMZLQeSb5h3aoCA3Nz7WKa5fscGg12CTGFFNCiA0a5 jCbLQU4AGGsr3+NIiZpEAfTalnrudJzq3KqR0o9h1WQflBi1r6y/DYagPWdT7UY2bdS63Rpk Cl9AFvoh4GeMNGHvQc0JM20APs46VZDjifCshBle4enN+Zkj0IfdAJ+uwXv0Q92A8NOi5tit 2skmSx1L6/Qy1Zdb3WAx5mlIKzKKWj2+xaHZKvf21WY29GTqe8U8Pptk1z4p0myE1Y6tXBu0 t1byXyZs4/bEQkTVZX3ekky/hl+4brdZ3p1/JvagFtrN6T8qTrew5QpCe8inw6nZMtaObiYG RXaFsQbA42iLLVvlQT0KB0DO+9W+eg/OMbOm+Ku/qmtMa4gmTuniT8C+4VhygeX8DI6TOfU3 pEDyvXe3w2dVj66gk3z+sbw0ZtJYz0fBA/dgWDtGZJRa6tufI0KFXbmIsu5wc97joLsXHgQ/ UCqBlcP0sukMRSIaFm10QpV3EUR6Xup/EnwhyZljjIoqq2Z9CPLyuXmMhEAPy8DRWVvi0vtP Znhl8oTDwCjawkkkgfg5F6vmPQd/f4iaTmJBxsVLE2UZyl4X6C9t6SPeZtK4ZIs6mBMVfikJ EudUvj7qgcb1CXqGy1fwio6fnekoMac/VQyhWSDIXJ0tHecd9t3wEKV/s3BRv9V2TwuSyxxi D2RDV+5dYrMn53ch9LYv+ayWnj0HIdCbCrqyYSGnCS+7GxuRxa4mrrg0s2iGg883yjh0tBsX iidtxfwbL7g0KGiOP5mdE1lbLPlw/JzAZo20o45hZVLnGMfmo3Q5n0f12H6LdRc36v6KnsLX z8ChdDPskDp30hqL3TBwIycND3V2Np8ZNi+ZWU+1Sc07sQMA6CRpLBJhip6pFOkoBmZPqQ7x 21Aj6t0riJHy+gS8BIg1CCcHqwfESw6dWT3mhKE4sr/5KRbaWCzcKShgU93nNSvFraH8UlXX Hf0fItnHDclsZk5aQiRli2prN25K7yyJZoJuxaZkgnNlb1QIZM1zb8RgDZ/fHn6pTsjwvI6i hpn2de7upKGIiNj5vHcYFYQOzvrascU4jyog7xZm5PcxZGyHZRlHTMjU57hTPbuGzUX/6eCV U7GAHgnp3GXFKCKVxWO9URnq3XJO5+uPnCTYnIeyJ8xDAnYL0tZjgcOWTw8lZNsDQGmyvvqd 0Jh7ywQ7Fr1+X4ugqp4cgPyWWDFqEK0ey85HdKBeQFO4FgItA/FdNaT5eVpE2RE8429+UaTf 3eDaV0tbylBW1TYVQ+/eOD0uJ+YtbDfX7T2LuOSM+/W+KoOCrHRn8Lpisw/oH6NLpvdZCE6V q9nihQbDywpRZiLyXJSFUl132rMd5DJ/kvkpn8p/pjnoqi7Bl69t8zSVfNTKYs9oU7u3vWNZ +TI1nopd2oKhNRRmxqqgPAexABA0XE2L2v2H+xS6X6TEPCC3fIJRx8DNXEpPZMQvftgg1EfZ Z6F1oGnkeMm65x9Q1ZdCw67kZmnN8IAfjnvaAOZWBTZc+nYbSvCx8W9CU+lYZtXiugc9xi5u DLAVlTmIizGjD7xERamLeBLiiifeh1YooC0NBh3WyDlS5r9Zxu3PcUS73V+yKAohn7MKW8XM CRtO0JLoLqK6CpEg/J5U2Vf53thJOOAlm6X9e7dYpoRtPJqBGxzmYc4qDwizKBJ6ShfWPFvs C7br9orr1X/1+fTl3xoVx1BrjsNj4WO/A1jNajf6phcSCPE8RYKvgDyQ1wBo9poDMGqurgFl YSJzfiubmcYtY6Jrq5+T4DOJcmKMWQsK0/sET/QV04eSCKzcHrYnwpbme2T8Xucqt47rILtk dwAUOw+NhR9G/UEB0BiBNFHLo1wW2Zui6+Gj88M4nyWoxzYRcEctZfCHKH3Y72nOHOCgL9Ia gFdi6v/NpgWP5bn1lZKb1B7mMHGHxOVU4wQ5CJmaQAwrQNG9300HQhRkwr1Lwiq5nEUD/u9m BU73xB/beoa/zDp+14rJ1DOqUPYcWE0kNThxDyVKXv/cPr2UoZRBC758UM2N8GjK+6aRQK3l E1gcjzDQuAI51OFXW9ugQ7Y/5BIHKwEJZA= IronPort-Data: A9a23:n1BkVamNsmKinj2N7Z2n2NTo5gxaIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJMUWmFOKzbNmX9fdp0boiy8UIF7cKBy9JhHFY/qSw8Ey4T+ZvOCP2ncnv9bniYRiHhZBI+v p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlD1rACTaoT5gGGyyNFVMh3yZyZdhMUfKEERoZWe M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4 I0lWa6YEG/FDYWV8AgpaCS0JgkiVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3 aVwxDzg8nlvLg95qV62YrAEuygtECXkFIIFtCkwwj7YMdcFXb7ke73nov0D4x5l06iiHd6GD yYYQT9mbRCFbxkWf1lLVdQxm+CngnS5eDpdwL6XjfVrpTGJkUohiv6xbbI5efTSLSlRtlyJu 2HH+2P/Kh4fPd2bjzGC9xpAg8eWwX6gAdJPT+PQGvhCgFO31lQeLTosaXSDmMOJqHaHQukHN BlBksYphfNvrRT0H4eVsweDiHWNuxpZX9tLD8Uh+QSVw+zV5RyYDy4KVFZ8hMcOscY3QXkm0 gbMkY+0QzNot7KRRDSW8bL8QS6O1TY9LHUMPX8LQgo5wvr/jqYLlj+IbI1cOfvg5jHqIg0c1 Qxmu8TXuln+pcsC1qH+8VSexjzw+97GSQk64giRVWWghu+YWGJHT9P5gbQ4xa8eRGp8crVnl CZd8yR5xL5WZaxhbATXHI0w8EiBvp5pygEwfmKD77F6qm31pC/9FWyhyD55I0htP44FfzSvC HLuVfdqzMYLZhOCNPcpC6roUphC5fa6SbzNCKuPBvIQOcgZSeNy1HsyDaJm9zqwyBB0+Uz+U L/HGfuR4YEyWfs8nWTsGb9NuVLprwhnrV7uqVnA50zP+dKjiLS9E9/p6XPXNrxjvpCX6h7Y6 chePMaswhBSGr+2KCrO/IJZaRhAIXEnDNqk44ZaZ8ySEDpAQWsBMv72xa9+WopHm68OqPzE0 EvgUWBlyX3+p0b9FyO0Vl5ZZojCY7NDvFMgHCl1PV+Xy3kpOomuy6EEdqoIR7os9c097PstT /A6ZNmyLetfbgv2oxImMJ/39t1kfjuWmDPUbjaEYSc+TbFkVQfm6t/pRSqx1SgsXw6cl9oyn K2k7SzfGaE8fgVFCN3HTs6vw3ean2kvqMgrU2TmetBsKVjRqq50ICnPv9oLCsArKySb4ACF1 gyTUCwqlcOUr6AbqND21L259aG3GO5DH21fLWnRzZCyEQL4pmOD44txYNykTADndlHf2fudP L1O7vTGLvc4sk5AsNN8H5ZV3KsO3YbTiIEA/Dt0PkfgTgqNMaxhEEmkzMMUl6xqx51lgyWUd H+L2OFnPeSuBJu4Pn8XfBEof8aS58EywzPy18k4EG/+xS1w/YeEb3lsAgmxuHRdAYZxYawYw rYHmc8J6gaApAIgHfSYgwt1qWmdDHwyfJ82l5MdAYTtjlMikFVZa8aBIx2suZGGVMpRAxN7P h6Vm6vwqLBOzWXSc3cINCbs2dBdjpFety0Q8kULF1CJkOXoh/EMwxxa9wosfDlV1hlq1+FSO HBhEk9IeYGi2ihOv9cZeXKvACRDNQ2pwVPwwF43i2HpdUmkeWjTJmkbO+zW3kQm309DXzpc7 peK4X3EVGv0QcTPwScCY05phPj9R9hX9AeZusSGHdyALqYqcwjena6iSmoZmSTJWfprqhX8m tBr2+JsZYnQFy0a+fQ7ArbH84UgckmPIWgaTMxx+K8MI3rnRwiz/jqzMGG0RNJGIq3b0E2/C vE2HPl1aTaF6H+soAwYVIk2GJ0luN4y5dEHRKHnGn5ejZubsQhSkczx8grQuTYVZutAwOgBL rHfTTagKlCrpGB1njbNpfZUO2DjbtgjYhb97d+P8+4INswitsMxfX4uyrGb7misHwd7zi2Qp yfGQbHc9M156IFWh4C3OL5yNwa1DtLSVeqz7wG4tepVX+7PKcvjswA0qEHtGgZrYZ89fstRr qvXlsz0x2bHjaYGaH/YkJy/CKV538W+c+5JOMbRLnMBvy+9dOLzwhkE6UaqAIdolY5D28yZW AeIUsu8WtoLUdN7xncOSSx/EQ4YOpvnfJXbuiKxgPSdOCcziTWdAoucykboSmVHegsjGZ70U Fb0ssnzwOFolt1HARtcCsx2B5N9HkTYZpInUN/MrhidMHijhwKTm7nllCd40wrxNFu/LJ/Y7 67GFz/ETzbjiJGQmZsd+8Z3swYMBXlwvfgocwhPs5RqgjS9FygdIf5bLZwCDYpOnzfv0I3jI gvAd3YmFT63SAEsnc8QOzg/dlz36i0y1tbFyvgB+kqVb2K6ANrFDuc8sChn5Hhyd33oy+TPx RTyPJHvFkDZ/32rbb97Cj+HbSNPyfbTx3ZO8kf4+yA3KwhLGq0EjRSNAyIUPREq0KjxeIHjK m08RGQCS0a+IaI0/QCMZFYNcCwkUPjTI/nEoMtBLBsze2lW8QGY9MDCBg== IronPort-HdrOrdr: A9a23:5UQwGa9Fua5wb9/FAxFuk+AHI+orL9Y04lQ7vn2ZFiY4TiXIra 2TdaogvyMc7wxhIk3I+OrwQ5VoJEmyyXcb2/h0AV7PZniChILKFvAB0WKB+UyHJ8SWzIc0vp uIGJIOceEYY2IK9frS0U2XF5IOzNGb7Luln47lvhBQZDAvRaUlwQkRMGam+45NJTWux6BWKH NU3Lslmwad X-Talos-CUID: =?us-ascii?q?9a23=3A2gpzEmtUI2HDyKMWVeuPJ0PW6IskaHOFnHjfInO?= =?us-ascii?q?ZKnpHb4WNZBiyo5xNxp8=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AW9WvwgxbXJ+Ep2rDrHyMuctqqlCaqKSgLFA1nLA?= =?us-ascii?q?hgfWrDRVKCxWltS2MGpByfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,205,1770591600"; d="scan'208";a="145318536" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDF6ZjzG/Fn7U9NjlXFnH37B7C3PHrggfL+bCA?= =?us-ascii?q?oGh87eDiUfA5GXuF4Fjcwd0olWjLuznmBixyV+iXbk1vdfWdzSs4KmIe?= =?us-ascii?q?NhA+eptZxhWoalM54PCwkPYERUZuamE3TR1Nwr19aE+9l7oYXtdN4+vu?= =?us-ascii?q?Tu2g7WWcc3f/paZyzAdmlyOA=3D=3D?= Received: from mail-dl1-f45.google.com ([74.125.82.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Apr 2026 11:27:55 +0200 Received: by mail-dl1-f45.google.com with SMTP id a92af1059eb24-12c8cc7a77eso518659c88.1 for ; Wed, 29 Apr 2026 02:27:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1777454872; cv=none; d=google.com; s=arc-20240605; b=AYXHWaDNPXco9KCv2/oGRVOmzncxQn8s4RAjHYIjNL7c3ka1BObNHDba4rhjxf3ZfM Gip+WwNAiVucEvKGUPji+BtTGK6R0YIIbKKuA7E9W8P+rvb77K5T3P33yFe1TO4p8VE/ I31s9ulMysDdMBkVhFRwjueszW25Qx5Jve9TtYgTecQqUfM4ncVfmXKC3uZZDVmXxffJ YdTf0tVPcshe6YLe4AuFlU5CIwHIDyfwchQKQ2Ax4N8ukx7IOaqd5DxoV0uQfXP6ah18 Q4AW2MsLt1PiaWii8lrtBZx8xM7U6qGj9aHZezAKb0hbddbRgvbw4LYV5KWVv87ub6y6 jrjw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=mKjo93YDimh9c86kQQO3HZ7TTxT6NSP+bS1oBoneHTg=; fh=ULzmEikwhFURAzuVJcb99IT+/xF3graxlt0GJsvWXAQ=; b=PKPc/1uLXRbi5IxORsn+XJ9YifDgmnauJS3q/ZC05hZ+VsLD7AqpzBX7ZE5uGnqG/z CDf3rJt+BZ9kCmScj1kxW0ltrHqctZV1pTqdU9piKgvZ2Fdb+6PAMs2ZI3k9nnC+0X7Y k2qpfBb0dY6RJSHENm+eKQMXij0/dPHOOBDSc83B8s25u9zhQ9N6R0pVX35Iy8AyEmuN AxOH2aheGM/OPoUzBeJK2CmlqZvCWC7RATGax7jmGZQwg/wKHTUVson8xkvq+TET9YPJ Hvwfl/77wXkibjN1Lur8pZK+Ft89V8BTpGt1Bg0oR1pvDoJQv4h+AXAVeBQqoBEadb0A uRFA==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1777454872; x=1778059672; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=mKjo93YDimh9c86kQQO3HZ7TTxT6NSP+bS1oBoneHTg=; b=EIjf2kX7U41Zz6JBM/UvnIHGyBPnMpin7tF/sjNcuzhcsP5U7FZc95jxJl9al72Wa9 ZLj9Z4q+MjMLh8t+w5OiwROtiHuoQwtGLS7CfoRk97MOZpHRPY4uxhjWeqZusstaxnGO Bd7mZCKzib8Md3yp3ugdWzFuxdCxHLjeIvDdSdEcXg1cWfu1CuZ9M+gkS6lnvd2ow7e8 ib32RgTU+uEXyFmybW1oVfLpqTZ+btOb7fcfT0bNOGyGYcjHVguM7p76PAFC3LHISW8O MIo2d83lW6SrMqQs+C3bf+88O5p/PnLLDfcrlQqB9xjcAvjV0AwZDUwGaBh502Cl4PdL pcIQ== X-Gm-Message-State: AOJu0YxsqTIuTUby1bRzA+8nE+ZeFmfhbMx6rWQNBWYBwiSBluxnzMPU Bxe61rHuZoo60/A58OdaqliE9Ygh29hZFmWtroBEDz71R6k9pxVvKDsGgbBUXxAuAr5MWaDfH6N QzDGuEB5WxRY/3+3SEhDWdLLeAmBwPhlZqBBF X-Gm-Gg: AeBDiettyl2GQ2H4LKvDgiJuXfXAnoJac3rklcKM7NmvJlTqsdBKFFSeRm4DXccixE8 +76GpNqVugnhI8ptHt1mZkBE5ppDwwni9NYPkGvzliV2+1wTQgrHxMvrtM/qEklh8lGbL9Tv/gI xI3aufobTy1uMmxYiCXMYTsn16uDW5UuAoxo/+CvAWzZpHKXj03gGTUpTg+gkAzUhEDLMoVkuGF pYRefwwVEPB3d/sF7plNDUQ/FkK3wkKrow6zOdaAO6g8R6DvopVyn09vi8DiuMN8EwyjU1rCXW7 pA9hVHTeGjSe1sc1pSnCngAZFdTZoamw2V3OwWl8UkzQaIPt X-Received: by 2002:a05:7022:689a:b0:12c:6ebe:b458 with SMTP id a92af1059eb24-12de2d322cfmr870112c88.17.1777454871605; Wed, 29 Apr 2026 02:27:51 -0700 (PDT) MIME-Version: 1.0 From: Taro Sekiyama Date: Wed, 29 Apr 2026 18:27:25 +0900 X-Gm-Features: AVHnY4LGalTDiG1Z3ch1JslBdeogiVKQbjGdiq0t7qNe72u3KN5wFAQ9DKPQ2SY Message-ID: To: caml-list@inria.fr, types-announce@lists.seas.upenn.edu Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 19500 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: TL;DR: Talk proposal deadline for HOPE 2026 is on May 29, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France) ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed t= alks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposal= s of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to r= ead the first two pages of such longer submissions. When submitting talk propos= als, authors should specify how long a talk the speaker wishes to give. By defau= lt, contributed talks will be 30 minutes long, but proposals for shorter or lon= ger talks will also be considered. Speakers may also submit supplementary mater= ial (e.g. a full paper, talk slides) if they desire, which PC members are free = (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama@acm.org) and Francesco Gavazzo (francesco.gavazzo@unipd.it). Important Note: HOPE=E2=80=9926 will be co-located with ICFP=E2=80=9926 (https://icfp26.sigplan.org/) and FW=E2=80=9926 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html). Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals: May 29, 2026 (Friday) Notification of acceptance: June 26, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France (tentati= vely) The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Rapha=C3=ABlle Crubill=C3=A9 (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kind= s of effects: storage effects, I/O, control effects, concurrency, etc. While eff= ects are of critical importance in many applications, they also make code harder= to build, maintain, and reason about. Higher-order languages (both functional = and object-oriented) provide a variety of abstraction mechanisms to help =E2=80= =9Ctame=E2=80=9D or =E2=80=9Cencapsulate=E2=80=9D effects (e.g. monads and handlers, ADTs, owne= rship types, typestate, first-class events, transactions, Hoare Type Theory, session typ= es, substructural and region-based type systems), and a number of different sem= antic models and verification technologies have been developed in order to codify= and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexe= d Kripke logical relations, higher-order separation logic, game semantics, va= rious modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and excitin= g ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program wil= l thus involve a combination of invited talks, contributed talks about work i= n progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, = talk slides, etc., to be made available online. --=20 Taro Sekiyama