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=ofCBPVrG; dkim=fail reason="signature verification failed" (2048-bit key; secure) header.d=cs.ru.nl header.i=@cs.ru.nl header.a=rsa-sha256 header.s=cs20220725 header.b=pTD3DrKP; 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]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 1758D417D2 for ; Wed, 18 Dec 2024 08:10:14 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:date:from:to:message-id:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=ZGNINXX1000kBEa2dz8etfAHojVWJBn5+6Wd1r8A7Wc=; b=ofCBPVrGx3pL+zKayXTCCRxkxxy2KS4LFVG8tZY37Ep5tPFT+orgSd64 gKygBVgHReuVURNqTxjJVMeXp+V6G8pi2JRwt+hgS0PvBz47uCYuJMBqQ +CczcyNsTeR72wjm7h1hDB5Ym58YxG/MREjOzj2kYahgFSW9QSL4FiCyF Y=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com 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@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@cs.ru.nl X-IronPort-AV: E=Sophos;i="6.12,244,1728943200"; d="scan'208,217";a="199767470" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Dec 2024 09:10:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0F7ECE0D21; Wed, 18 Dec 2024 09:10:13 +0100 (CET) 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 067EBE0077 for ; Wed, 18 Dec 2024 09:10:05 +0100 (CET) IronPort-SDR: 6762835c_Ve1sEnY9k9WmlKs/EVcyUMSjQPwzsmZV/HdDlY6yUNQTJLT ifcGt6NGX2Xfi3pq+lM5afrm8NTXOwkYFnuI3bw== X-IPAS-Result: =?us-ascii?q?A0FNBwAlgmJnj8EeroNaHAEBATwBAQQEAQECAQEHAQEVg?= =?us-ascii?q?VWBPxsCZmIbWjMHCEiEVoEYh2SIcokBiRmNJgMYPg8BAwENFAIRDg8EAQEDB?= =?us-ascii?q?I9vAh8GAQQ0EwECBAEBAQEDAgMBAQEBAQEQAQEFAQEBAgEBAgQGAQIQAQEBA?= =?us-ascii?q?QEBOQVJhXsNgkWBQmUJOAEBAQEBAQEBAQEBAQEBAQEBGAINB4EaBh0BASYSE?= =?us-ascii?q?ws+AnkNgmwBgmQDshUCgTKBAYIMAQEGgmfZOIFkCYFGAgEBiEwBKoEyAoQNh?= =?us-ascii?q?HcngWREgUqEOIFcAoE7hACCaYUlg3mHMoEElV4sgRsiAyYzMgEPETUTFwsHB?= =?us-ascii?q?YFzA4EVg2BGPTmCEWlJOgINAjaCInyCTYUYhGFhLwMDAwODO4YagheCFoEjH?= =?us-ascii?q?UADCwdmPTcUGwgBgTWbKQEKEGlHhCQQaxWBCiWBHAqkLqFuB4QdjBiVNi4Xh?= =?us-ascii?q?VuTJpFPAS2YTqkqgX4jgVwzGi+DKwlGAxkPjjgChkWCDLkSQjU8AgcLAQEDC?= =?us-ascii?q?Y9tgUsBAQ?= IronPort-PHdr: A9a23:grH4vxHaDkyqYJgtEfQscJ1Gfz9EhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21RmYAs6Gu7oE07OQ7/u4HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfq8Uam49vJ6Q+xhbJoXZDZuBayX91KV6JkBvx6Nu88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFGDY2hc osPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvXvbotv7NLkcX /22wqjH0TrOdOlZ1Sv/6IXSbhwtvfOBULRtesTR00kvEAbFg02Kp4P7IzOayP4NuHWH4uV8V eKvl3AoqwdsqTWo3MkgkJXEiZ4VylDY6yp5xp04KsGjSEJhe96kDYFctyeeN4ZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHb/GKfYeG7wzhWeqNPzt1mXJodK+xihi8/0Wt1/HwWMm13VtUs idLnMXBuH8R2hHN6cWJROdw80eu1DuAywze9OdJKl06m6rcLp4u2L8wlpwLvETMHy/2hEX2j LKNeUk+++io7OLqaajlqJ+EL4J4lw/zPrk0lsCiA+k1PRICUmaH9eimybHu+UP0TK1XgvA4j 6XVqo3WKMYUq6KjDQJZzpwv5hexAjqgzd8Vg30HLE9eeBKbkYfpIUzAIPH5DPihm1mgjDFmz O3cMLL7GJXCNH3Dna/hfblj705czxI+zcta55JIErEMLuj/WlTtu9zZEBA5NRC7zPj9BNVny 4MSQ2SPAquBPKPTt1+H+P4vLvGRaIIbpTrxMeUp6vzhgHMjl1IRYbOl0YYTZX22BvhmJl+WY XvogtcPC2cKuQ8+QfTwhlGYTTNce3ayX74i6TE9E4+pEZzDSpq3gLycxiu7GJlWanhACl+XC XjobZmLW+8QaCKOJc9siiEIWaC7S4A9zRGuqBP6y71/I+XI4CIYsJbj2MFx5+3SjhEy6Sd5D 9+d0mGIV2F7hHkERz4w3KBloExy0E2P0aZig68QKdsG7PpMVkI+NIXA5+18EdH7HAzbLfmTT 1Pzeti6DCt5Z9kx39IIKxJFXfypjgzO2QKhGPkPivqNAMpnoernw3HtKpMlmD793647ggx6E 6OnVEWjj697rU3IApLR1l+enOCsfLgd2yjE8CGCy3CPtQdWSl04Sr3LCFYYYEaettHl/gXaV bb7MfIOOQtdxMiqIbAMcMCvi1EVDOz7NoHmanmq03y1GQ7Ow7qNaITwfGBI5GP0A0gYngY79 m3ALxV4ACPy63nGAmlWHEn0K1jp7fE4qH6/SRosyBqWakR6y7ev0gUQmeTHDegY378Csypns SgyGlLVM8v+Ld2GqkIheaxdZYl4+1JbzSfDsAc7OJW8Lqdkj1pYcgJtvkqo2Q8lQoNH2dMnq n8n1m8QYeqRzU9BejWE3JvxJqyfK2/8+wqqYrLX3VeW2cif+6MG4vA141v5uwThGk0n+nRhm 95bthnUrq2MJQESTZ/3ek0ssQJn4bfeI2E8647SyXxwIPysqDaRk9ktBeYj1lOhZ4IGa/rCT VCuVZZCQZH/c79P+RDhdB8PMeFM+bRhOsqnc6HDw6u3JKN6mzngi21b4Yd720bK9ixmS+eO0 YxWppPQlgaBSTr4i0+s987tnoURLwlUN2G/1SXiLIVKILdvO4APQzTLQYX/1pBlipjhVmQNv mblLlgGxMKvURGJKUbgmwtUnxdfsTmsni22yCZxmjcio/+E3SDA9O/lcQIOJm9BQGQKYU7EG YGvlJhaWUGpa1Jsjx65/QPgwKMdoq1jLm7VSEMOfi7sLmgkXLHi/raFZsdO7tsvv0A1GKyEJ 3mRSqLwpTMRyGX5Ai1YwHg3eiqrtZPwgxFhwDvGdTAq8yafIpk2nEaErNXHDeZcxD8HWDV1h Vy1ThCnMt+l8M/V35bPv+aiVn6wA5hacC3l14SF52Ow4WxnBwH6nujmw4a+V1FljWmgj58zB H6byXS0KpPm3Km7L+99K0xhBVumrtF/Bpk7iIw7wpcZxXkdgJyRu3sBi2b6d9tBisecJDIAQ yAGx9nN7U3rwkpmezixgavyVmmQxONqfJ+gfyUQ3mhuiqICQLfR97FCkSZv9xCA6yvaYeRwm B8W0r009Tgch6ta8BpoxSKbDLcIGEBeNiG5jBWE4ee1q6BPbXque7y9hy8c1ZixSauPqQZGV DPla48vSGVuu95nPguGgzXjr5vpc97KYZcPuw2Ixl3e2vNNJstU9LJChDI7azum5Dt8lLJ91 kQogczyvZDbeTw2peTgXUIebWWzOJpb+ymx3/8Fx4DPgNzpRc0nQ2RQOfmgBfOwTGBL7q2hb lnSVmZk7C3DSfLeBVPNsRw/6SuQT9byaTfOeCJRzM0+FkDGfQoG31xSBWt8x8Jlc2LijM35L BUgvWlXvwGk7EISjLs0alH+SjuN/VzxLG5rFN7GclwPs1EK5l+JY5XFt6QqQH0epcXn9lTVT w7TLwVQUTNQARXCXg+/eOL2o4Kfu+mAWrjndKKIOOrS77UAEa7Wndquytc0pm3VcJzQYj87U btihhUmPzgxGtyFyWxUEmpOyH6LNpDd/Uzmsixv8pLmq62tAV2zo9LRTeIMb51u40zk0PvFb rLLwnwgcHACjs9LnietqvBX3UZO2Xg1Ln/0TuhG6H+LFfOK3fUHRwgSbyc5XCdRx5o1xRIFe cvSi9evk6V9kuZwEVBOE1rohsCuY8UOZWC7LlLOQkiRZvyKIjjCwse/Zq3ZK/UYlOJPqxi5o iqWCWf4OyibzH/yXBGiN+pByjuGehpa8I2waRdiD2H/QcmuM0bidoYo0Xttmftt1yiCPHV5U 3A0a05Xq7yM8S5Uyu5yHWBM9DstLOWJnTqY8/iNKpsStqgjCSB1muRGpXUinuIOtWcdG6Azw 3OU94818DTE2qGVxzFqUQRDsGNOjYOP5wB5PLnBs4NHUjDC9Q4M6mOZD1ILocFkA5vhofM1q JCHmaTtJTNF69+R89EbAp2eEISuO3o9PBzBEyWSFhZDSzrhZgS9zwRN1eqf8HGYtM1wsp/3h J8HUaNWTnQuE+8CUQJ+F90PJpx6GCk517ifxp1thzL2vFzaQ8NUuYrCX/SZDKD0KTqXurJDY gMB3bLyKYlAfp2+wUFpbUN22ZjbA0eFF84YuTVvN0VnxScFuGg7VGA43FjpLx+g8GNGX+Dhh QY400N/ebh/rWy1pQ5oehyR/G1szQEwgYm32GvINmeucOHrBccJUk+W/wAwKs+pGl0sK1Ttw Qo/bHGdFukZjqM8Jzkw0UmF5scJQqYaF/UUKB4ImaPOPKxuiAsA7Hz5gxYbvo6nQdNjjFd4K MX16Ssfh0Q6MphsefCYJbIVnAEL3+TX4XPuj753mVNDb0cVrDHLI3dO4RNUcOB4YXP1rokOo USDg2cRITNVEaN1/rQxrgVnY7zIzjq8gecYcwboaLDZdPvf4DeIlNbUEAprjwVRyBUDpOYwi Jl7FijcH0E3kOnITE1PbJWeb1gLKZMOqzDSZXrc6L6Uh8sqY8PkSKaxFrXGtb5I0Bv/RUBwQ NhKt5pHR8fytSOQZcb/cOxUlVN0uF+tfgzcSq4RJFXQyH8Gu53tlcQum9ACendAUCMkYH/wv OafsAYuhLDrtDYeeXIGRtBCLXk3VcuxlmhDojJGCGvuugr24AOZqSXh4CLUXmCUhz9Lb+zSf w4qDtXkoV0C IronPort-Data: A9a23:a/e2vqMkGdkTSADvrR1Ak8FynXyQoLVcMsEvi/4bfWQNrUom3jZTm zNJXD2GaPiKMDD9fIwkYY/i9k8Au5LdzNFgGnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQXNNwJcaDpOt/vZ8UM35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX9TlHX2q9BAX0nEpxH9r5eOFFRp cwHfWVlghCr34pawZqgT/V03YI4J8jmOogS/Gt9izfdZRokacmYGuOTuoMeh29235EVdRrdT 5JxhT5HVFLpaB1TN1E/A4l4hvrugH2Xnzhw8QPE+vRovzGNpOB3+PvPbP7Ec9uhfptuvRjAo 3v04knUPShPYbRzzhLfqyj03LOncTnAcIkbEbn98v9xnHWI12kLAVsXU0G6qL+3kCaDt8l3M EkI4nFotqMz+UqgQ5/nQlu+pBZooyLwRfJrLscB8Vuix5bFzBfGCjAtdw5eOOw54ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXNORYPlTXNZJTbp8+XeTJcPYgXnaPILLUJYpsbwBSmrh SuBrSU4jLhVl9NN0aHTEbH7b9CE+MChou0dv1u/soeZAuVRPtPNi2uAsgCz0Bq4BNzFJmRtR VBd8yRk0MgADIuWiAuGS/gXEbei6p6taWKH3QIxR8V5rWjyoRZPmLy8Bhklfi+F1e5YJVfUj LP74F85CGJ7Yib3NvEfj3yZV5xzkMAM6ugJptiON4AWOMQZmP6v5ihib0mN0yjwlkkynLskO IuWcNrkC3cYDKlowTzeegvu+eJD+8zK/kuKHcqT503+idK2PSfFIZ9bawHmRr5is8u5TPD9r 4032z2il04HCLWWj+i+2dJ7EG3m2lBgWM6t85EKJr7eSuekcUl4Y8LsLXoaU9QNt8xoei3gp BlRg2cJlwKttm6NMgiQdHFoZZXmWJs1/zpxPjUhMRzskzIvaJqmpvVXPZYmX6gVxMo6x95NT t4BZ5qhBNZLQW/54DgzV8T2g7FjUxWJvjiwGRSZTgIxRLNafDyRyOTYJlPu0AIsEhuIsdAPp uz89wHDHrsGaQdQLOfXT/ONzVig4GkRo79vVWDpOfhWQl3nq6JxGhzyj9g2AsACEgrCzT2kz DSrAQ8UiO3Ogo0t+vzLtL+0lJioGO5AAUZqJWnXwrKoPy38/GD444t/fMuXXDLaDkXYxb6DY LhL8vTCL/E3plZGnI5iGbJNz6hlxd/Opadf/zt0DkfwcFWnJbNxEEaohfAVmPV2+YZYng+qV mak2NpQY+yJMfy4Nm8hHlMua+Db2MwEnjXX0+8OH3z7wy1K55uCb1RZOkidqS5aLYYtCrgf/ 8UahJc05TC82z0QCfTXqgBP9m+JEG4MbLV/iLEeH73Qq1QKznNsXMXiLxHYsb+zb+dCCE0IG gOvpbHjgu1cz3XScnBoGnnq2/FctKs0uxtL7QEjInKbvtzn39sygQZw8Cs2fCtR3B5ow+J+A Uk1FkxXdIGl3SZku9hHZE+oQzp+PRy+/lfg7VkjmEnybViaZkaUIEITYe+yrV0kqURCdT1lz ZSk4WfCUweyWvru3yE3CHVXm9a6QfNfrgT9yd2aReKbFJwHYB3gsK+kRUwMjzDFWcoRpkn2l dNGzdZKS5/QFHAv+vUgKoygy74vZgiOJzVCTdFf7ao5JzzgVw/o6weeCXKaW51rHOPLw3+aG sY1B8NoVjaC7gisgA0fJ5YxJ+5ToKZ0yvsEIqjmNEwXgYu59zBJiq/dxgL6pW0sQuhtr/oDF 5PsR2qCPFC91XpwsE3RnfZAIVu9MIUlZhWj/eWb89cpNpMkscN+e3EIzZ6l4mekag9j9Reyu CfFRfbyyrF56IVznrnDFrdIKBW0JOjSCsWJ0lGXmPZfYezfNfzhs1sulWDmGABNL549Ys9Sh 53UlPLWhmbr5K0XVULdkLm/T5h53924BrdrA5imPUtkkjunc+6yxRk6okSTC4FDyfFZ7emZH zqIUtO6L4Mpao0M1U9uSnZsFjgGAP7KdYbmnyS2qsqMBjU70QDqKNCG92fjXVpEdx0naoHPN Qvph8mAvtxojpxAJBshNcFUB5VVJFzCW6x/U/bTsTKeLHejg3Lcm7/EuCcj1wr2CSi/IJ6n2 a7GexnwSk3j8uWAhtRUqJd7sRArHW5wy7t4NF4U/9ltzSu2FigaJOAaKo8LEYxQjje07pzje TXRdyE3PE0Rh9ifncnUu7wPnztzB9Di/v/iIyAxpAWPYCa7AoiNRqF8sCFki5uzUiW21/mpc Lny5VWpViVdALkwLQrQ2hB/qex8gOnHgHQMkaw4u9KnGA4QWN3my1Q4dDeglkX7/wXln16NP 3VzQ2QsrIRXj6LuOZ4IRkO50y31cN8iI/vEoMtPLBviV12n8dB9 IronPort-HdrOrdr: A9a23:GI7jiKsK64phJFfksXHKLfSq7skDZdV00zEX/kB9WHVpm62j5q KTdZEgvyMc5wx8ZJhNo7+90cq7LE80l6QU3WB5B97LNzUO01HIEGgN1+XfK1GMIVyaygYMvZ 0QEJRDNA== X-Talos-CUID: 9a23:sJU2y2MbELL7LO5DYxRNz1dONc0ZY1LMk3uICnaIFjZZV+jA X-Talos-MUID: =?us-ascii?q?9a23=3ArY2gAw6mXBXDXDav768gvFZKxowrwfiKGUkKuq5?= =?us-ascii?q?YgOrabSlpCSqwoQuOF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,244,1728943200"; d="scan'208,217";a="199767416" X-MGA-submission: =?us-ascii?q?MDEG8flbSG5jfH191wHFZBnQJaqkn/O6wopfnY?= =?us-ascii?q?2fowtV9vlSld1TfLkcnRxqpqNmLSECASt5Dp7tlK9acPVC3mjffpVFab?= =?us-ascii?q?ttf3xO9M6ITs6YQWyYE4NTlwP5Xeu4ASlB4zPyBbGfMn4Gn2GB5OO2G+?= =?us-ascii?q?YXeiXLRohl/PqL/9lY92jN+A=3D=3D?= Received: from smtp3.science.ru.nl ([131.174.30.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Dec 2024 09:10:04 +0100 Received: from roundcube.science.ru.nl (havik.science.ru.nl [131.174.30.63]) (authen=peter88) by smtp3.science.ru.nl (8.18.1/5.32) with ESMTPSA id 4BI8A3mq022858 for ; Wed, 18 Dec 2024 09:10:03 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.ru.nl; s=cs20220725; t=1734509403; bh=ZGNINXX1000kBEa2dz8etfAHojVWJBn5+6Wd1r8A7Wc=; h=Date:From:To:Subject:From; b=pTD3DrKPzROObWE8Byj1rrE8IDN/5+rY0Lt3oUM4nR5Q+AvfkYPaGkdmtCiAX4e5t FXn8stuFj55ubRaucZ3ph1dPG6mf2ZplCp0BQxT8jJGls2RuI2gT3bQqUhf3+lNrMq Q2N3mLrwk0REYgFZZebK68JW+77WHJRNtVI1XB08W8RyDXFMchzVvhl77kstDw6MpT MUWG4pV76TOKicnfRp8E31u7+pDCwrlXhIaa4/Q+/rHj4pV61N2mzACk1H0mH/qjOp 19jnDrhs0VZmvSy1lrEoOtIhQnYzbIOa0zGw1ED1oEreuq4HMOfr7iayfkma5HaWf6 YkORbGI4kCODQ== MIME-Version: 1.0 Date: Wed, 18 Dec 2024 09:10:03 +0100 From: Peter Achten To: caml-list@inria.fr Message-ID: <641ffe533755e5abd996402490ca2470@cs.ru.nl> X-Sender: P.Achten@cs.ru.nl Content-Type: multipart/alternative; boundary="=_2f4dbb4b178147d7ab45ada551cea523" X-Scanned-By: mimedefang version 2.83 on 131.174.30.193 131.174.30.60 (smtp3) Subject: [Caml-list] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK) Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 19235 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: --=_2f4dbb4b178147d7ab45ada551cea523 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed TFP 2025 -- Call For Participation (trendsfp.github.io) Venue TFPiE and TFP will take place in-person in the Wolfson Building of the Department of Computer Science at the University of Oxford. Dates Early registration: December 20, 2024 Late registration: January 6, 2025 TFPiE Workshop: Monday 13th January, 2025 TFP Symposium: Tuesday 14th - Thursday 16th January, 2025 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. Keynote speakers We are happy to have the following keynotes in the programme: * Nicolas Wu (TFPiE), Imperial College London: "Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds" * Graham Nelson, University of Oxford: "Literate Programming and Cultural Practice" * Mike Sperber, Active Group: "Things We Never Told Anyone About Functional Programming" * Kathrin Stark, Heriot-Watt University: "A Verified Foreign Function Interface Between Coq and C" Programme We have 28 paper presentations. The programme schedule can be found here: trendsfp.github.io/schedule.html Excursion and banquet In the afternoon and evening of Wednesday January 15th we have an excursion to the History of Science Museum. We have a break in a cosy pub, before proceeding to Kellogg College for the conference banquet. During dinner the winners of the best paper awards of last year's TFP are announced. --=_2f4dbb4b178147d7ab45ada551cea523 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

TFP 2025 -- Call For Participation
(trendsfp.githu= b.io)

Venue
TFPiE and TFP will take place in-person in t= he Wolfson Building of the Department 
of Computer Science at the= University of Oxford. 

Dates
Early registration: December 20, 2024
L= ate  registration: January 6, 2025
TFPiE Workshop: Monday 13th Ja= nuary, 2025
TFP  Symposium: Tuesday 14th - Thursday 16th January,= 2025

The Symposium on Trends in Functional Programming (TFP) is an
inter= national forum for researchers with interests in all aspects of
functi= onal programming, taking a broad view of current and future
trends in = the area. It aspires to be a lively environment for
presenting the lat= est research results, and other contributions.

Keynote speakers=
We are happy to have the following keynotes in the programme:

  • Nicolas Wu (TFPiE), Imperial College London:
      "Fractal Found= ations and Galactic Graphs: Structure and Strategy for Expanding Minds"
  • Graham Nelson, University of Oxford:
      "Literate Programming = and Cultural Practice"
  • Mike Sperber, Active Group:
      "Things We Never Told Anyone Ab= out Functional Programming"
  • Kathrin Stark, Heriot-Watt University:
      "A Verified Foreign = Function Interface Between Coq and C"

Programme
We have 28 paper presentations. The prog= ramme schedule can be found here:
trendsfp.github.io/schedule.html

Excursion and banquet
In the afternoon and evening= of Wednesday January 15th we have an excursion to the
History of Scie= nce Museum. We have a break in a cosy pub, before proceeding to 
= Kellogg College for the conference banquet. 
During dinner the wi= nners of the best paper awards of last year's TFP are announced. 

--=_2f4dbb4b178147d7ab45ada551cea523--