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=U1FSL0Q0; 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 8733A400C2 for ; Tue, 13 Oct 2026 14:34:29 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:to:from:content-transfer-encoding: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=YKHQOMy4QWeBrc3Va+NXIEFM9OvRTfKqeSqxrtXcWbM=; b=U1FSL0Q00xKa2xg93sYgERZtmaomKl1Qc6GHtu+U0Blyydxheb+pGqd4 4NZqxuQDGiRHCstB4VMU/pSJlb9nbsHt5jFwmX3UvrRfUZKbR++Nqqvc2 zki0rSW6HnAvOvFW+24XIooLmBPuBGE6KQIaEnHUPyqmD8DY/eqK2wD5G w=; X-CSE-ConnectionGUID: 6VlJaSemSUKfwFkJfMG2aA== X-CSE-MsgGUID: uK37BtcCRPWD0I6yW8zgfg== 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.27,155,1787004000"; d="scan'208";a="299988075" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Oct 2026 16:34:29 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 9D64980F3C; Tue, 13 Oct 2026 16:34:29 +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 48EC78017D; Tue, 13 Oct 2026 16:33:42 +0200 (CEST) X-CSE-ConnectionGUID: tRcXXsOIRVG1D2V4sTbQMg== X-CSE-MsgGUID: 6UvgxUmBTzmKm7P0t0WUuQ== IronPort-SDR: 6ace413f_fEBzB9CgDrfB7IAbspzqZ4eiep7yw/PqMIgosQkXQosgh6t TaarUSPbCEM0UXmW1q5y4I9nsogZkFNmSongBgQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FfEwDuQM5qeS9FZTRagluBbFNCAUhiMgdRhFiDTQEBh?= =?us-ascii?q?SuHC4Ysgi6VXINTDwEDAQsCPRQEAQEBAgEDkxQgBgEENBMBAgQDAgMBAQEBA?= =?us-ascii?q?QEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQFCDjuGTw1JAQGJPAcBggs0c?= =?us-ascii?q?YElAQEBAQEBAQEBAQEBAQEBAQEZAg0HV0kPAQ0BASkPNAImAjMrARICAQGCf?= =?us-ascii?q?gGCJARMBAIOshUCAosVgTKBAYIMAQEGBASBAdsrgWsDBgkBgRUuiF8BhXgBO?= =?us-ascii?q?4VrgSWBPAuCQQWCM4EfAoU7gmqCJoEMlkWBShwDWSwBVRMXCwcFgTUzAyAKL?= =?us-ascii?q?xQZAhQvDxoyHXAMJxIsFy9YGwYFgR11K4IWIxk2eoEJXoErKWEQF4EJggcCg?= =?us-ascii?q?lSBJVsCAUlBDgcsGVMJJUMSRyYiCBIJARMaMAuBGzg8CShBFwxzDB0FLW09N?= =?us-ascii?q?wYECxlBki8ehAQYUBZ0x1cHhCGMIpU/BkKEBI0UmVeZCCOEfIhrmlk1AgQCB?= =?us-ascii?q?AUCEAEBBoF/I4FcTS+DKx8xAxkPlQiCC8csQzQCPAEHAgcPAoFzh16BGYc9g?= =?us-ascii?q?UwBAQ?= IronPort-PHdr: A9a23:lTHcLhfbkW0oR2O+nTHGCe5QlGM+6tDLVj580XLHo4xHfqnrxZn+J kuXvawr0ASXG92BoKsd1bWH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHROOjNwjQAcWuURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7owTcutMKjYd8Jao91wbFr3pKdulS2GhlOU+dkxHg68i/+5Ju7z5esO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncSXX0YnRVRDwXb4x/0Q4/9vSTmuOVz3imaJtD2QqsvWTu+9 adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYMgXTnRdUMlPSyNBA5u8b 4oRAOoHIeZYtJT2q18XoRejGQWgGObjxzlPiXHrwK06yPwhHh/a0ww8EdwOt3HUo8/0NKcUT Ou5yKbFwDHGY/5QxDzz6pXHcgo5rP+PU7x/f9Tfx0kyGQzZgVufppfoPy+W2+kXr2SX8/RsW OCphmU6qw9xuD+vxsI0h4bJgYIV10zE+jtjwI0oONO5Rk97bsC+EJtLqyGaLZF5Sd4lTmBmo io60acKuYW1fSgL1psn3QXfa+Cdc4eS+R/jSfuRLS1+hHJhYb+ygQu5/ke8xOPmTMa0zEpKo TRfktnKrn0A1hPe59aDR/Vy40us2jiB2g/d5+9EP005iKTWJ4M8z7MwmZcdsVrOEjPqlUnqj aKaalko9+mn5enpY7joqIOQOolpgQ/wNaQun9awAeU+MgUWUGib+Pi81L3+/ULiWrlKj/o2n rHHv5/HOMQXvKi5AwtT340+6Bi/Fy+r3dQGkXUdMV5JZA+Lg5LoNlzKOvz1AvWyj0yynDpq2 /zLMLjsDojRInfZkbrseKtx51JZxQYuzt1Q+5dZB7QcLP/9XEL6qcbWAQUjMwOuxubqENV92 Z0aWWKIGqKULKTcvUOS6OwzIOSBapEYtzjhJ/Q55/Pil3g5mUIBfaay2psXdXa4Eel8L0WBe 3rshcsBHnkWsQoiTezqj1uCXSRUZ3avQ6I84jY7CIWlDYvZWo+th7mB0D+6Hp1QeG9GFkiBH Hf2e4meRvsAdD+eLtVgnzEAT7SsRI0s2QmrtADgyrpnKuTU+jcftZLmzNV65/ffmwwo+TJpA cWd0n+CT3tvnmMUXT85xrtyoVFgyluZ16h4h+RUFcZP6PNRTgc6KZncwvRmBN/oXwLBes6FS FKnQtW9HTE8Vckxwt8LY0ZlAdqulBHD3yywA78UjbOHHpI08rjE03jrO8l902rG1LUmj1Q+X sRPMnSmirdj+AjXGo7GiF6Ul72qdKQZxC7C7n2PzWuIvEFCUQ5/S7/JXX4FZkfOq9T2/VvNT 6WyBrQ/LgtB1cmCJ7NUZtHxglVJWvDjNtfEbW+pg2m+Aw6ExqmSY4r0eGsTxj3QCE0enAAS+ XaKLAY/CTm6o2LCEjNuCEjvY0T08eZgsny6T0g0zweXY0F8y7a55wIZieCTRv4RxL4Evzohq ylvE1a6wtLWDcePqxB5fKVGZtM9/ElI2n7Ftwx8OZygKbpuhlkDcwRru0Pu0BJ3CoZancc2q 3MqyRJ+Jr+b0FNAcjOVxYj+NLLZJWfs4B6id6jY1knD39aT4KgP8ug3pk37sg+wDkQs/G1r0 8JN03uS/pjEFhYfX4/sXEov7Bh6v7/abTE954zK0X1sNrG5vCXe1tw0GeV2giqnKtdWK6CJE AvaE8QBBMWqLKotgVftJhkNOeQX8K8vI+unceGH0eilJqIolzW/yG9D/YpV00SW9iM6RPSMl 78Kz/jQ2wKGUzb6gx+ls9vr0dRNaj0bNm6+0jT/QoVRb6l3cJwQT3yjdZ6Z3NJ70qHqRmJV7 haYGFILwtS1YxPaO0O7xktLykUau2e7gyKQ0iEylTV//fnX5zDH3+m3LElPAWVMXmQ3yAq1S WDVp9UTXUzyKhMsiAPg/0Hxga5SuKV4KWDXB0ZOZSn/aW94AeOrrrTXRclJ5dsztDlPFvyma AWFDKW7uAQb3jn4A3FX7C0mMTeu6d3ihxIvsGuGNz5oqWbBP8R5xBPR/tvZEMEX5Xw9Wyh1k yLLHFGUIsTv+9HH34zbvLWGXnm6HoZWbTGtzY6Es36j4nZ2BBSkg/2psvTCSTAAgXTQ6oEyC GPPsQr2ZZTt2+KiK+V7c0J0BVj6rc1nBoV5lYh2j5YVsZQDrrOS+3dP0WL6MNEBnLn7cGJIX zkAhdjc/Ani3kRnaHOP3YPwEHuHkINnYJGhb2Ua1zhYjYgCAbqI7LFCgSp+o0ap5QPXb/9nm z4ByPwooHcEiuANsQApw22TGLcXVUVfOCXtkVyP4bXc5O1IIn3paqex2VBlgcqoJKyf5AdYG T74dpokAS5s/5BnKlufmHb364ziZJzRdYdO7FvNy06G0bkTdM1i85hCzTBqMm/8o3A/nusyj Bg0mIq/oJDCMWJmuqSwHh9fMDTxIcIV4DDky6hEzaP0l8iiGItsHjITUd7mV/WtRXgt88+hD BmPHScntm2SMafCWwmbohQDzTqHA9WwOnebKWNMh8okX1+GO01SmhsIRjwSg4N/EATgl4TxN Ux+4D4W/FvxrBBBn/lpOxfIWWDavA60az0wRfBzNTJu5xpZrwfQOM2atKdoGj1Au4emp0qLI 3CaYAJBCScIXFaFDhbtJOvm6d7F+umeTu2wSpmGKYrIkqplSPaF34mzyIJO4ivKMMHHMnR5D vI901ZORjgkQYKAw2xJFX1Ry32FZtXTvBqm/yxrss2zlZajEBni44eCEfoaMNli/Qy3nbbWM ueRgChjLjMLnpgIxHLO1P0exAtP0Wc3L2DrT+VG6XGeKcCY0rVaBBMadS5pYc5B7qZmmxJIJ daekNT+kLhxkv8yDV5BE13ngMCgI8IQcATffBvKAliGMLOeKHjF2cbyNOmDD4YWt/pVugerp SySO1L+eDKH3WqMNVjnIaRXgSeXMQYL8r77SVBWFmnuVsn6cBSTLcIxizl8kthWzjvacGUbN zZ7aUZEqLaduDhZjvtIEGtE9nN5LOOAlnXR/6zCJ50Rq/cuHjVsmrcQ/iEh07UMpnIhJrQ9i G7Io9VpuV3jjuSf1m8tTk9VsjgSzIOT4Rc+YeOIrN8YHy6DpU9F7H3MWUhS4YI9VZu3/fgXk 4aq9uq7KS8eoY+Ou5JEX46MbprAaSdpMAK1SmOOSlJdF3jzczmY3hIVkenOpCDP6MFi8d603 sJJE+A+NhR9F+tGWB09QJpef9EvGGtjyOHTjdZWtyC39ECDHZwD7J6bDqrAU7KzeFP7xfFFf 0Vam7qgdNZKb9Sp1RA6MQso29ibU0vIA4IXq3U4PFZt+RdDrCAlHD1rgxq3OETwuRpxXba1h kBk0AImOLZ0rW6+7QtvfQjB/HNowht2xIytgCjPImT4dP7iBNgPWSSo7xNjPMujG1QnKlDo1 QltMDOOL15Ip4NpbnsjyArVuJ8VXOVZUbUBehgbg/eee/Qv111Y7CSh305Oo+XfW9Nukw4jc JjkqHwluUordNkuOanZP7ZE1HB5o/q2hH/z/d1pmFJYIFsR+mSPfiJOoFYPKrQtOyuv+Kpr9 BCGnDxAPmMLUp9I6rpm+1g8NOKJ0y/7m+MZbBnpbqrBfuXF5CDJjoaQT0k1118UmkUN5rVw3 co5MgKVW00p0LqNBkEJOM7FemQ3J4JZ8HneezrLsP2YnMgzZt3kUL65C7PR58N2ygq+EQ0kH poB9JEEF5ioigTDKNv/aaQCwlMr7RjqI1OMCLJIfgiKmXEJuZLartc/0I9DKzUaGWg4Pz+w4 +OdmUkRxsGcXdoseWsAV6MZKzQwXIfp/kwR92QFFzSx3u8DnUKa6CTgoy3LEDTmR/NGPM+uN UhHNYnupHM47rS8jkPR/tPGPWbmON9+u9jJr+QHu5KADPASRr54+RS5+cEQVzmhVGjBFsSwL p77Ztw3bND6PX29V0S2lzM/S8qidMboNKWDhhvkAJpFqITOli52LtezT3tNfnU47/FG/q93Y hcPJoY2cQK9/RprLLSxeU+Zyon8Hz7reGEQF78HirznL71Pk3hwNqnjkCRmFtdiiLDplCxFD JAS0kODn7D6P9EYCW6rXSUAMwTX+XhkzS44brx0mqFnh0qW+VgEb2LWLqowMDcC55dkQgrNR Bc+QmsgGw3F1daFvlHqh/ZKuHIC19dMj78fuSCn7MaGOWCiBPTz+8eS73pFD5BuorUvY9bqe pLU7cqHzDKDFMKC4ErZAWa7D6QIwNEIeXABGaAalz19Yp5W4dIZuxh2C55bRfQHCbFy9OqjM WM2VHdLnyFFD9jS12Ra2rXunOaD3haILsZ4OURd4swb24kTD3YtMC1G/PfxBcKLzSfBQ2wPa m/7DCxlwVo4rN8rVd29uNeOS4JQwTlLpf4ySjHMCpRj61r8TCeRnET8T/Ki1eeu2FALpBoD+ sQGHhh7WxE1LwN+i1ZuLrUlc8Et IronPort-Data: A9a23:01mu0ap9uN0L5Y8qXd/By6JczjZeBmIebhIvgKrLsJaIsI4StFCzt garIBmDb/uCYTb0ftwkYITkpxgOv5TUyoIwSwpk/iE9FXgR9JacVYWSI27OYx+ff5bJJK5Fx 5VHO4OYdKjYbVeF+0zzauC5xZVY/fvVLlYpILecYkidfSc9FmF5z04lwLZj6mJRqYDRKxuXv t/vqNHoNlag2jplWkoZ8KvrRClH5ZwegxtG+AZhDRx3lAWGzSdMVMtEffrZw0bQG+G4IMbqH 44v85nipgs1zz91Yvu5n7DydFE9Q7K6FWCmlnpMVqG+tQNJryo037xTHKJ0hZB/1l1lN/goo Dl8ncTYpTUBZ8Ugq8xEO/VsKBySCIUakFPxCSjm4JbLlyUqRFO3qxlmJBle0YT1YY+bC0kWn RATAGllghxuG4taaV90IwVhrp1LESXlAG8Qkm1axgHpFtEHe67sGomQ24ND4D0Jo88bSJ4yZ +JBAdZuRD3lOyV1agw8NcpmwaGvm2X1dCBepBSNv60r7mPPzQt3lr/wLN7Sfd/MTsJQ9qqaj j+cuT2hW1dEZZrDllJp8Vr07gPLtRy9Y8QpC7y17OV2mlS723FVDhl+uV6T+6jo2x7hBIsDQ 6AS0nQTs6ciyUmBcsv4fBjnmCaY5iEhRuMFRoXW7ynWkfCIvG51HFMsRTdEbJkitdQqbSc70 0eA2dLvHz1m9rOPIVqW8a7RpjevMwAOPGoabGkFSxEE6p/tuukOYgnnS99iFOuqg8bpFCzqx CiHpTo5gexK1ZdTj/nku1fanziru57FCBYv4RnaVX6k6QU/Y5O5Y4uv6h7Q6vMowJulokepo EIPq/iFy8E0M77UuHazHP4xFoiM6KPQWNHDumKDCaXN4ByL3xaekW145Th/IAJ2P90YdCLzZ 1fesBFW4sYKZCLyNfMoJYWsF84t0K7sU8z/UezZZcZPZZ43cxKb+CZpZgib2GWFfKkQfUMXZ svznSWEVCty5UFbINyeG7h1PVgDmn5W+I8rbcqnpylLKJLHDJJvdVv6DLd+Rrtitv/byOkk2 9NePNGN0BJRTKX1ZTPPmbMuwaQxBSFjX/je8pQHHsbae1YOMD97V5f5n+h7E6Q7xPs9qws91 ivkMqOu4ACl3SWfQehLA1g/AI7SsWFX9ihgYXZ9bQbygRDOo++Htc8iSnf+RpF/nMQL8BK+Z 6BfEylZKq0XFGqVyCdXdpTnso1peTKigA/EbWLvYyEyc9QkD0bF88PtNFmnviQfLDuFhe1nq Z2Z1yTfXcUiQSZmB53oc/6B9Q66kkUcv+NQZHH2BOdvVn/iyrU3FBypvMQLe5kNDT7h2gql0 x2nBEZEhOvV/K4w3tr7pYGFiIaLI896O1dnRGXD34aUJyX63Gqa4bEZdOPVZhHcS2LG16Gwb spFz/zHEaMmnXQbl6FeArpU3aYFyN+3nIBjzyNgBy/tfXmwL7FRPUm9wshEs5NSyo9juQeZX lyF/v9YM+6rPPzJPUEwJg1/SMi+ztARxyfv6MoqLHXA5CNY+KSNVWNQNUKujA1fNL5ED5M38 9w+ucI56x2NtTRyC4yo1htrzmWrKmAMd44FtZtAWY/itVcN+2F4OJfZDnf73YGLZ9ByKXIVG z6zhpfZprFi10HHImsSF3/M4LJnvq4wmit2lX0MG1fYveD+pK4T/AZQ+jEJXAhq3k158+ZsC FNKaWxxB4uzpglNuuYSflqRCzlgBQKY8HPf01EmtnPUZGj2W33vLF8SA/es/kcYyl8EYQV13 e29kEDbdBrDJeX0j3I+dmx7p8O+Tvh33BzIw/qjLp+/B5NgPSfv2ZH2b0VZtRL2XME73hXGg cJI/+9AT7LxGgBNgq88Cqicja8xTjLdLkN8YPhRxoE7NkCCRyOXxh61NFGXRsxWAf7BrH+DF M1lI/xQWySE1Cqhqi4RAYgOKeRWmMEFycUjeLT5A3wvqJqa8yRUtazP+hjEhGMER8tkleA/I NjzcxOACmmhumtGqVTSrcVrOnuKXvdcXVfShNuKyeQuE44PlMpOcktoi7u9gCizATtdphmRu FvOWr/Sw+lc0r9TporLEJhYJgCKONj2BfWp8geyjox0VunxE/zy7iEbllq2GD5tH+o1e892n rGzotLIzBv7nLIpYVv4xbiFNYd0vPuXYsQGE/jZDndgmQm6ZPTN+DoGomCxFoxImohS5+6hX AqJV/Gzft80BfZbz2BeenVMH0wZD6/xSP/roA2Uo8SxFxIYzg3jB/Gk/E/Pcmt0WHIpOZr/N FWl4vqB2MF5gqIXDSA6Fvo9OY5JG32yfYAEZtHOpT2jIW3wuWy7u5zmjkAG+xzQL3u1D/bB/ pPOQybheCSIuK3nyM9Tt6pwtEY1CElRrPYRfEVH3fJLkBG/UXA7KNoCPaU8Cp17ljL40Lf6b mrvaEogESDMYiRWQy7j4djMXhatOcJWA43XfgcWxkKzbzu6IKiiA7E7rydp3CpQSwvZleqiL YkTx230Mh2P2apWfOc05MGgoOJZ1/jfl2Mp+0f8rpTIOCwgI442jV5vIAkcchb8MZD9pB2eb yx9D2VJW1qyRkPNAN5tMSwdUg0QuDT0iS4kd2GTydLYoJ+W1/BE1Oa5Aezoz7kfd44fEdbin 58sq7eluAh6G0D/uJfFf/oApPdMM6LQNfXidPKlQhAOlaat7GhhJ9kFgScEUMAl/khYDk/Zk T6vpXM5ASxp7WhPjaaOx1xhF41ZCxox4/Ph1WYTZgMqVTQk0p7ff3BGCSrlfIropfGLU1pwG V8vgYX4n7FSnCb54z963hjeSpprHulJfUT5vusUol8eX/tipKKx1Fys7q3i6+9szQ== IronPort-HdrOrdr: A9a23:yGg5D6wKQ+pwlC+ruR4tKrPxp+skLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9wYh4dcKO7Scy9qBTnhOZICOgqTM6ftWzd1FdAQ7sSjrcKrweQfBEWldQtqJ uIEZIfNDSYNzET46fHCWGDYqwdKbK8gcaVbInlvhNQpE1RGsNdB1ATMHfhLqQ6fngzObMJUL 6nouZXrTupfnoaKuy9G3k+RuDG4/nGjojvbxIqDwMurFDmt0Lf1JfKVzyjmjsOWTJGxrkvtU DDjgzC/62m99W20AXV2WP/54lf3IOJ8KoLOOW8zuwubhn8gAehY4psH5WEoTAOuemqrHInis PFrRsMN9l6r1nRYma2ix3w3BSI6kdY11bSjXujxVfzq83wQzw3T+JHmIJiaxPcr3EtudltuZ g7rF5wG/JsfGL9tRW4w+KNewBhl0Kyr3Znu/UUlWZjXYwXb6IUhZAD/WtOea1wUR7S2cQCKq 1DHcvc7PFZfRexdHbCpFRix9SqQzAaAgqGeE4focaYugIm1kyR93Foi/D3o01wuq7UE/J/lq X52+VT5fpzp/YtHO5A7Lxre7r2NoTPKSi8QF56b26XV53vAEi91aIf0I9FmN1CR6Z4s6fauK 6xIm+w5lRCDn4GT/f+lKF2zg== X-Talos-CUID: 9a23:/D2xKWzKm+dyfJmkxRoEBgUIIMsVQmb67U3uDBaUU1g1U4GfcHqfrfY= X-Talos-MUID: 9a23:aCF79AaiuI94neBT6QLyiyFfMe1U8aGNDR81yYlehPSZDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,155,1787004000"; d="scan'208";a="299987714" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHOoWDGRu1VOi7bhYWifqJBwS41WAHXmnGSow?= =?us-ascii?q?Obp1ZxKFFm3mtYFyEKS0LdGruT354jN6epiVUP5mJwvwappyyrFQbORK?= =?us-ascii?q?XcijIOs6JC7vHLwwtw58dAuw+OidaQHi1CJfMvP35zv4P10OkmSEvW1F?= =?us-ascii?q?QP2GNYMO6bIi51+TUapLQ4YA=3D=3D?= Received: from mail-westeuropeazon11010047.outbound.protection.outlook.com (HELO AM0PR83CU005.outbound.protection.outlook.com) ([52.101.69.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Oct 2026 16:33:35 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=xJMUAZp6UGXrTV+b1GRVdbGA5Un1jX7HUiU8EY0kTld24IcXhwJB1OESObIFzhidAxvqj3CiBGGyjJIQtTSMmrsOawOCyMnrkQILt3k0itCG/naOjULzTZ0v/UQ6enSrWpYJenLmop6tXsQoIRFA33sxw+K+XYeFPel0ypfIXEZrSqE7OsnhVc+kxlC6LOQigmrVPc+TP3qHcoHAwChBglqPc7XSgdGNc0M3niRxbtRY9xcs/70pBhZzDHauoMvimWn1YjMBRpIpDTSSXZD8GixgUx3Ikl/f/WkowkzUupNRva+xQfQ8uEHrJn3AJhkQ+A/kofSlZ+zSE3GeRKLQZQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=YKHQOMy4QWeBrc3Va+NXIEFM9OvRTfKqeSqxrtXcWbM=; b=YAAla1yFyfxOKXR4DRasdiUbKTjDsAx8sHP2JSJpkWrQ/ddd/bhyocdjAPzI8GmfXHI488ZCe2Cf+IcMcXIbLOpJCgdpYVsu3FQS6ujVMcDvbtwKfbVZLGgk4dXmtDIz/TsBhLZO34+2W0YhTvZHZ0ppsjMiOvVIb4YAYPdr1h0NMeC633X+QNs4UBrpUWdG+eciJS8BG2DFbpL0uycIDM2yDejdqh50PLBm+X6ysH3UaHmO8wiVZ3VDOC67n+mqTadUxfls7hJvWjwFg8uzqslImcMI1i10UNt+5vbx27jQ7a/E1gbsK3++OZE1T1sd2Rmkxw9LU9Tjr9bZqFuWuw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uu.nl; dmarc=pass action=none header.from=uu.nl; dkim=pass header.d=uu.nl; arc=none Received: from DBAPR05MB6869.eurprd05.prod.outlook.com (2603:10a6:10:18c::13) by GVXPR05MB11219.eurprd05.prod.outlook.com (2603:10a6:150:159::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.496.23; Tue, 13 Oct 2026 14:33:32 +0000 Received: from DBAPR05MB6869.eurprd05.prod.outlook.com ([fe80::6d5c:a536:2a00:96fa]) by DBAPR05MB6869.eurprd05.prod.outlook.com ([fe80::6d5c:a536:2a00:96fa%3]) with mapi id 15.21.0496.021; Tue, 13 Oct 2026 14:33:32 +0000 Message-ID: <90348cf3-0146-4592-b68d-2b5c7fc6ba8e@uu.nl> Date: Tue, 13 Oct 2026 16:33:31 +0200 User-Agent: Mozilla Thunderbird Content-Language: nl, en-GB To: haskell@haskell.org, caml-list@inria.fr, coq-club@inria.fr, Agda mailing list From: Wouter Swierstra Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-ClientProxiedBy: AS4P251CA0021.EURP251.PROD.OUTLOOK.COM (2603:10a6:20b:5d3::11) To DBAPR05MB6869.eurprd05.prod.outlook.com (2603:10a6:10:18c::13) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DBAPR05MB6869:EE_|GVXPR05MB11219:EE_ X-MS-Office365-Filtering-Correlation-Id: 657d234e-9531-4568-da35-08df2936f4b5 X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|10070799003|366016|1800799024|23010399003|786006|56012099006|11063799006|10067099003|55112099003|18002099003; X-Microsoft-Antispam-Message-Info: XJXylAeAnKUky8UtR9Tt4g7ewggA7quTvz3we5KD/D4UsLJD7g+fy3h5UccKedDiAZ1SOvWetNYBG2mkfwcvuUPg16tXr8wQkAabaLkrByeHRdcRxla4I81i7uF2B+bBMWxLZAiEFsWzpHF6ttbuMGNkNWql7SSEuHR932XqPaBu81uWRYVPelo1w64ODdZ1yIAEBptyeWw217pzXSwueMkXmvt8hcrLYgYyGcH7wfo9gqGbFpEutTL9bHwi1nDygJkJgkV02mjElAWAPVw1erR+DTWizLUUGyEoncQQBFuaTZ5yEGvjtLOlmZicjm9elyW2yEoAhNQJOVlPa4pfGL2vo2+15E2yS++sKWoHm536tV6YuO6rXUXuLrvZH73Y0JsvRF9a+3HBC5OhA8/pEjmFgCGZRbEKWNE2XBsap48t4N0mxZVbBX3P1wwEwbbHx4q5tP+NfgZ1PUNKt8gN9Ck1kFyO0lvmZnom2neu0wnUXaLnzJsysaFn+oeYfb7Y6/C2bNAjA3m/Obp/wpgtVmGTWJSjkEzwn0PGEkIHJVOCJQ9N0uw6vXdID6gu1Xeyvf/NJR7jSlKgo3UVsZlmCkxnB/F89m5FFTL6UakW2lA= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DBAPR05MB6869.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(10070799003)(366016)(1800799024)(23010399003)(786006)(56012099006)(11063799006)(10067099003)(55112099003)(18002099003);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 2 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?T3pyZGgvdEorNjRFM2JqVWROVEo1RmJCbzVJTGRFMnRvbTZKaHQ5R0FYK1Mr?= =?utf-8?B?S2tyTmgvWUFJbGUveVRoVlQyZElqZ1Z6WkhVakhDMnYwbklWQ2F1VTdxdFNn?= =?utf-8?B?TXJNZzh5bE9LNXZ1dnRrZE4wK3pnSXRPVXhJTmUvc2pRL0UzaEl4aVVNd1FW?= =?utf-8?B?ZURPM0dLaHBXWG9mS0pzZ3FLc2ZqRUQ2ek9vRzFSTzF5VkMxZlZrZHJPMVQz?= =?utf-8?B?NGFNa3RtbFBpMEpPSkk2NVZEVzZlRmUrQUo5OWFDTXNWcDg4bk80aEZIWWtD?= =?utf-8?B?eklVajNZckJYL1E2TjN0WitqMTdCK0h5eldjbnpjUGhPWUFaS1hwUGk5UW15?= =?utf-8?B?RU80N2ExOGV1S0J3a3c0QnBsZzBIeGQxOXhmajlmYVdIZ1NGbU1QUm1OU1hC?= =?utf-8?B?RGFYOHRDb08xcHNPdjhhR05oTWJZNDNJaERtUDluUnRMNWF0Q2NaSGRYUStI?= =?utf-8?B?TkN4dGZOZHVZcVNkUnVjSm51TDFnU2wvYWo1RFlOb1gxMTNsTGFoK0d2cVJ1?= =?utf-8?B?elVpRXN0ZE9YTUFib3VISjZqQ3FjOTkycnFDYS9vZEw5Si9tZURRR3NHR0pz?= =?utf-8?B?WFJGMlNReDRBQzFFVjJvbXBiYTZyMUNVZkZhYTFQbEVLWlF0YWpsaElBK2d1?= =?utf-8?B?VnZldHpNS01ETUF0ZCs4bHF0cWVCSHBIdklyNXBsQ2szbDQ1NVlpaG5NUW1W?= =?utf-8?B?QXpOMjBENWhIdEw2YjdrRWpVaXNuZWtqS1VwdFRJMDQzK01WTzdOeGZEMDhl?= =?utf-8?B?NnN4NjZLRFhjVW4yNk1HUVpKdHRVMlRlL2hGVkZNVTB6NXdyaEdhbTJnQzE5?= =?utf-8?B?di9GYUhNRGF2RzNnUTRzVjVEQnkzNElyNktYb2FlRlg2M0ZEYVZMSmk2NFdM?= =?utf-8?B?ZnJPNU9CQk01cnFxbTdjTVVZeS8rV2h4QVNMM2Z2cUoyTkpmRVZCNkZwSnV6?= =?utf-8?B?cjR1Q280TXorMmFscEFJMU1hMGtBMFpMRERFd3VhVk9rS1NJY0VYLzJheVpK?= =?utf-8?B?RVBiaUw2ZkhHV2FPMEhkV0o0YzdLQ1VEeUFvbEZqNitLb0dhWG1Bb05ZTndV?= =?utf-8?B?T2NId21kanE3eHVsUElhMVREMEVESVhoTVdOb3pNdjlJY3p4VFBVejVIaHVP?= =?utf-8?B?N1hycENHTzA0STVuUThrQnVIV21uZ05hK3U2VTVydS83c0ZLUU85UUJnSzVZ?= =?utf-8?B?ZStkM09YZjlXVEJ4ZGxpMXBNMHArZEMxT28zTXNWaGdkS1V1a214UEVTRzBQ?= =?utf-8?B?clFsUlBlT3MzaXd0Q1YxMGJ6ejNORUVpVUtOdHJ4ZS9IMmpvY3lIZDcrSHZW?= =?utf-8?B?UmdYRUVmNTQwZXdaYXd3MkRrU0pvbnh5VzR0WnNid1BJV20yWFNiejgrL2Mw?= =?utf-8?B?V2liSVUxQzRyYk5kcXVMaDVqZ21sNnJBTFJCei9iM3lKV0lOWkJBZThDbEc4?= =?utf-8?B?NzZ5VVp1dW5XemRhNTJWRDdpbi85ZkF6UHE3aURQeTBzT2NZS2hNTWZHVk5u?= =?utf-8?B?OXoyNVA4U3h1azRoOHpBd1lvTjU0L2dSQ2VpN0pXemNZYjFPOG9qMmk5aGdT?= =?utf-8?B?aThYWU92aEdQK1dDb1lYbVZHV1lTcnRNL2pJdG9MUS9BWUVSWjFJVThxc3Rl?= =?utf-8?B?QlRYd1lvVXUvN0lyQkhyemVSVW5ZUG1QMkRZNExvYlRsWHhjTHIvKzBNNEx3?= =?utf-8?B?bHRmbkNGUWVzVlZSKzhhUHY2ejVVS1pkYUhuSWdYWlErQmVFamZUd0RHbEdr?= =?utf-8?B?RVM0VUNLclVZNTFqK2ErWVRMZTEyYkhyWGZ0U3Rnb3FtRW5FcFJ1cDB0VXlF?= =?utf-8?B?NkpHeUF6YXgyY0F4TXlCWmZNTXJURzhPVllEVzNLR2dlaWM3ZmR6K2VmVGpV?= =?utf-8?B?aDQ4TW4wQVlNc054MFEza01veDh3TmJEdXgwNnM1N0x2ZE41L2lzZytpaHl5?= =?utf-8?B?VFYvWjhMRGpaZEVNd1g2MWh5VXpsQ1VoNEduS1lhZENEMnJMYVlqMnBKQTJw?= =?utf-8?B?OGZsMkQzK0VUNFFMOVczcXQ4V0hNYm54eGdvY3gvdmd5UklnWTJ3ZnMyU1ZU?= =?utf-8?B?NUdubW5ORUkza0IxVk54Qzl1VGF1eEhMM09ZZWR4TXhIbFdHT0FjRVNZVWxm?= =?utf-8?B?K1llNGREM2ZTMEwrUnV4c2RnZmpCeUpybU14R3J6ZlpnUG8xcDB0bzc5S2ZT?= =?utf-8?B?WTBlNVo2NThwbmsvb2FBNEExdFB2WTdnUFJqbTNvRWNpeXpoL3A5R2EvdDZX?= =?utf-8?B?UkhKaUdrTjIxNUYyekVQY2xvYXRsVVZaK1o0dGJuektKYXByNEwxOXJaRUdF?= =?utf-8?B?cnpEclArZWJrTkdWMnBYTjBhS3Q1TnJBbkRzd2c5dy9BNE91RnhJZjVSdkQ2?= =?utf-8?Q?3V8ahga8wi9SkQJP7rOkDyJa17nvSxOCp49RkfMgVfSts?= X-MS-Exchange-AntiSpam-MessageData-1: ckIh1iiOqWKVTA== X-OriginatorOrg: uu.nl X-MS-Exchange-CrossTenant-Network-Message-Id: 657d234e-9531-4568-da35-08df2936f4b5 X-MS-Exchange-CrossTenant-AuthSource: DBAPR05MB6869.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Oct 2026 14:33:32.1717 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: d72758a0-a446-4e0f-a0aa-4bf95a4a10e7 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 0wc7bDJwm0WcBfqNCySDUXYyPKyoNW62c+r1oAxKFk3I4fIhY2gav7/u5TC3PqE+z2jTbxpfjha92YX17Ga0vw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: GVXPR05MB11219 X-Validation-by: w.s.swierstra@uu.nl Subject: [Caml-list] Dutch FP Day 2027 Reply-To: Wouter Swierstra X-Loop: caml-list@inria.fr X-Sequence: 19594 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: # Dutch Functional Programming Day 2027 January 8th 2027 - Utrecht The Dutch Functional Programming Day (also known as the FP Dag) is an annual gathering of researchers, students, and practitioners sharing a common interest in functional programming. The day features talks that cover the latest advances in research, teaching, and applications in functional programming in the broadest sense. Coffee and lunch breaks provide ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome. ## When and where The FP Dag will take place on January 8th 2027, in the Boothzaal of the Utrecht University’s Library on the Utrecht Science Park. There is a tram stop nearby with regular connections to and from Utrecht CS. ## Talks If you would like to offer a talk, please reach out to Wouter Swierstra (w.s.swierstra@uu.nl) ## Dinner We will end the day with a joint dinner (at your own expense). We will provide more information about the dinner plans later. ## Registration Registration is free of charge, but please register before December 18th using the link below: https://edu.nl/ygkvt Lunch and coffee will be provided.