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=k52wTS16; 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 6561C400A5 for ; Wed, 24 Dec 2025 15:30:36 +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=VIBdbDlH8Ea6gz/9s/m/2fbpp4mDvl3LncJ47DiVOvI=; b=k52wTS161PwxpimZalxI5JIsIlMVGpVurBI4lgzciWxgpaYPYfEaOdy5 UCJthj1esqyTKg/jY/p1QVripKe5WhJqDT3vvnY/4HvdlhVG0fwqujPal 5ARd1eM3FPMWwrlgvK2Pcf5ngO9gzhxCbJ+w589qrur+BvXBFleNZqkM2 I=; X-CSE-ConnectionGUID: 09QF/jXsThWA0xQQkg9YFQ== X-CSE-MsgGUID: eMxA6vl2QGGhaxviIEYDXg== 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 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@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.21,174,1763420400"; d="scan'208,217";a="255866799" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Dec 2025 16:30:35 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 3A2F4829E3; Wed, 24 Dec 2025 16:30:35 +0100 (CET) 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 711A5826CB for ; Wed, 24 Dec 2025 16:30:28 +0100 (CET) X-CSE-ConnectionGUID: z0IQ2B5mTtyO56ROgxCOSg== X-CSE-MsgGUID: bz5NLBV0Rpyy4Gy+i0kEYw== IronPort-SDR: 694c0713_bg0Qat4kBNJ8vtu2ZPj3IxXq/4sE9nsRvKy8gXx5Rcqv6Xt t4Ur093F5Df2iIlM4jNZjDtYBrrCv7FzdPOgnNA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HeCQBPBkxpd8EeroNagluBO4EEgQdfMwQLSYRYgRiHY?= =?us-ascii?q?4h5bJEujSgDLikPAQMBCwEBOxYEAQEDBIUAjGwfBwEENQUNAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABQ0mGTw2CRYFCgSYBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBGQINBxKBCAYdAQEmEhNCBwJxCIJ1BAKCIgIWAzYDEbFEgTKBA?= =?us-ascii?q?YIMAQEG2y0DeIFmCYFOiFIBKoE0AQKEDQGEeIILRIFKgkSBdIFRCwIBARiBc?= =?us-ascii?q?4MugmmCJnoUHYYAgm8DhwgGigIsgRgiAyYzLAEPETUTFwsHBYFmA4EGMjwyH?= =?us-ascii?q?YEjPhdzgRSDSR9oDgaBEYNRiQwPiWGBBgMLB2Y9NxQbCAGBNZNXXCklgm90B?= =?us-ascii?q?wEBE4EKJRVmK5MWnhmTdoEhB4QfjB6VQi4XhVuTOJFYiAORA4UShn2BepsNA?= =?us-ascii?q?goHGIIAIhCBTDMaL4MrCQo8AxkPjjgng0KCZIILwTVCNQIBAQE3AgcBCgEBA?= =?us-ascii?q?wmSHoFLAQE?= IronPort-PHdr: A9a23:C2/7wRDVYyAIAacJ4z8OUyQUWUoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua4xygeRFtuAs68MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58I xi6txndutUZjYZjJKs91hvEqWZUdupLwm9lOV2ckxHg68mq4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQwWX6XQQS3sbnBVVDQTd4x70Qpn+si3htupgwyaaJtH5Tao1WTu58 ahmTgLjhTodOD449GHXjdFwjL5erRm8qRFz35LYbYeIP/V5Y63dYMgaRXJfUclNSyxPDIS8b 44VAOoAO+ZTso3xqlQKoBe7AwSnGeHhxSJShnLu0qI03eQvHx/b0gIjENMBrG/Zo8/pOKcQS +250LXEwDfFYvhL2Tn98o/IchU5rP+WQ71wbdTeyVMyHA7ZklqQqZDlMC2T1u8QtGWV9fBsW P6zhG4ntwF+vD6vy9wwhYnSnI4V0E3E+T9/wIYxPNC1TlNwbtG4HpVKrS6aK5d2Td04Q2Fuo Cs3xLIItYK7ciUL1pgpyBHRZuCaf4SV7BzuSPicLSl2iX9nZb6zmxS//EmuxOD8WcS53khHo zRLnNXSsn0ByRLe586aQfVz+Ueh3CyA1wHV6uxcLkA0lLbbK548wrErjJYTsEPDEjfxmEXrk K+WckIk+u+r6+j9frrmoZqcOolpgQ/9KqQjgtGzDOolPgQUQmSW++ux2Kft8EHlWrlGk/k7n 6fBvJzHK8kXu7S1DxJX34ss8RqyCy2q3dAWkHQBMVlLYgiIj5LzNFHLOP34Demwg1CrkDpz3 PDGO6HhAo3TInTZjrfheKxx61VAxwoy099f4Y5bBa8bLPLpR0/9rtrYDhshPwy1xeboFsl92 5sDVW+BH6OVKr7evF2H6+41LeSAeJUZtCv5JvUr//LuiGU2mV4Zfamnx5sXb3W4E+x8LUmDf XfjntcBEXsUsQo4V+HllEaCXSRJZ3avRa484DU7BJq8DYjfXoCtnKCB3CCjE5JKfG9GD1SMH W7sd4WFQPcMdDmfItRhkzwBTbiuUZUt1RCotA/gyrpoNPDY+iMCtZ770th6/PXclQsu+jxsE 8Sdz2aNQnlpkm8QSD85wqd/r09nxFqbyaZ2heRUFcZN6PNXUQk0L4bRz/d/C9DuQgLNYM2FS E26TdWnHz4xSM4+zMEUb0ZnBtWulBbD3y6yD7AIlLyLBZk0/7rE0Xb+Kclz1WrI2bUngVU+X 8RPMHephrRj+AXLH4DHil2XmamyeaQHxC7N+n+Ow3CSsU9FTQB8Sb7FXWgRZkTOrdT2+EfCT 7i2BLo/KwVP0cGMeeN2bYjihFBCAfPiI8j2YmSrmm72Cwzb6KmLad/SdnkQxm30A0gYngZbq U7AHAM+Giqni2nFSiZzU1TrNRC/udJioW+2GxdnhzqBaFdsgubkkvZ0rfmVSvdIm6kBpD9ks DJsWlC0w9PRDdOE4QtnZqRVJ90nsx9czWyMkQt7M9S7Krx6wEYEelFP+Wrl1wl6DK1Lio4ws TUsyFk6MrqWhWtIbCjQxpXsIvvSI2j28gqobvvunHjV0Mqb/I8E87IithPluFLhDVIsplNg1 dQdyH6A/tPKAQ4VBIr2SVoy/gNmqqvyeSwh/9mSy3gqKqK1vznJ1pQzGa0jzn5MZv95N6WJX E/3GsweXI21LfAy3kOudlQCNfxT86g9O4WnceGH0eilJrQomjXulmlB7I1ntyDEvyNhVu7F2 YoEyPCEz0OGUTn7llKorsHwn8hNezgTGmO1zSWsCpRWY+V+eoMCCGHmJMPSpJ02v9jEUH5E+ ViLDEhAwtLvfx7TJ13x0AtM1FgG9GS9kHjwxDh1njc166uHiXWVmqK7K0ZBYTYNHTg53jKOa cCugtsXXValdV0snRqhvgPhwrRD4b94Ny/VSFtJeC7/KydjVLGxv/yMeZ0qittgvCNJXeC7e V3fRKT6pk5Q62XKFGtCyTYTfCrsoIi/mRgw2wf/ZD5j6WHUf81930KV3Jr1Tv5N0zwuTzI+k ySRAFz2bJG5uN6TkZnEqOW3UWmsA4ZSfSfcxoSFrCKn5GduDHVThtiLk8b8WUg/2C7/jJxxU DnQ6Q37es/t3ri7NuRueg9pAkX94ox0ANM2now1jZAWkX8U4/fdtUJBuGzzLdhd8anlKmAQA zgPi9LY+wnq3kR/I2nBntmgECzCno06P5/jMzhe0zl1981QDaaI8LFI+Ek96kG1qw7ce7k1n zsQz+cv9G9PhugIvAQ3ySDOSrsWHEReIWntj0HRtIn49foLIj33N+Hhjxkb/5jpFryJrwBCV Wysf54jGXQ19cBjKBfX12W17Ij4ed7WZNZVtxuOkh6GgfIGTfB53vcMmydjPnrw+HM/zOtux yQo9Jq6oIWBA252urikRBhcfG6QBYtb6nT2gKBSk9zDlbjpN55hBjgNdJDzC+i1VjQW/6evJ 0OFFzsyrW2eELzUEFqE6UtomHnIFoiiK3CdIHRKqLcqDAnYPkFUhxoYGSkrhpNsXB7/39TvK Q0qriBU/FPzrQFAj/5lJwWqGHmKvx+mM1JWANCeNEYEt1oboR6KbYrFtqQvQmlZ5sHz9VfUb DXEO0ITVSdWAwSFHwyxZ+L3o4Cfr67DXqznfqCrA/3GqPQCBa7TnNT2jdcgpG7KbJ3fdnh6U 69igRMFBC8lXZ2H3WxTEGQWj36fNpXC4k7jpmsu8IbmrKiOOkqn5JPTWeIJaJM2pEzw2PnFb rLNzCdhdWQBjcpKnCCUjuFBmgdP22lvb2X/SO9Z83eSEOSLwukNV0Z+CWs7NdMUvftnh08UZ pKd0YuziOUwj+ZpWQ4eDBq4xZ3vNIpbeCm8LA+VVRrNbejdY2eSmoetOf/7EuU17q0coRS0v Xzz/1bLGDOFmnGpUhmuNboJlySHJFlFv5n7dB9xCG/lRdagaxuhMdYxgydkibszzmjHM2IRK 10eOwtEs6GQ4CVEg/5+B30J73xrKvOBkjqY6O+QI4gfsP9iCCB53+xA53Fyx7xQ5SBCDPt7/ Uma5sZpuE2jm/KTxyBPSx9SsmwNmofNpk5jNKPS+99aRDDC+FNF7GmdDQgLu8owCtDrvPM1q JCHn6byJTFettPMqJJHXo6Nd57BayJnaEuyS1u2REMfQDWmNH/SnRlYmfCWrTiOq4Qi74Prg NwIQ6NaU1o8ErUbDF5kFZoMOsQSPHtsnLiFgcoP/Xf7ogPWQZAQhtbuXfKODPPHIy3fl6QCY R9CktaaZcwDc5b23UBvcAwwhIPRB0/ZRsxAuAV6axMs+gNT9T5lRWw+3UnoLBmwpnkXX63R/ FZ+mk51ZuIj8y3p6lE8Kw/RpSc+p0I2nM3snTGbdDOZxEaYRoRKE3CyqU13KZj6TgB+YEuog ApiMGWcL1q+p7B7M3p2zgnY68In8Rt0RrYCegJWw/XFP50V IronPort-Data: A9a23:HVnSzqvcFxm64m4TN05wfMy18+fnVCdaMUV32f8akzHdYApBsoF/q tZmKW6HOfeNZGqhftwiOtvg9EgFsMLRm4BgQQQ5qihmF3hDgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOhTrOCY2YpGFIMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8koHUMja4mtC4wVkP6wT5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgpo Dl+ncDYpTMSA0H5sL91vy+0vM1JFfYuFLfveRBTuCEIpqHMWyOEL/5GVCnaMWCEkwre7K4nG fEwcVgwgh6/a+2e0uqac7NG28EfMNjMYd0lnX5w5hbiAqNzKXzDa/2iCd5wxzIsnpoIA/OYf MEYZDxkYVLafltJPj/7Crpnx77u3yajNWYA7gvE/sLb4ECLpOB1+ICrGdHVZtGMbc5O2FyF4 GTCl4j8KkhBaIHHkWHfohpAgMfFj37dfKgsTIeg5+82r0zQxzQQJSwJAA7TTf6R0BfkA4gDQ 6AOwQIlpK02sUiqVcXVRAy9uHfCvxgGWtMWHfdS1e2W4rHR/x7DQHMPTzNHY9FgrtJwQzhCO kK1c83BF2ROiee/FHeh6qaz8G2IHicFBkg5anpRJeca2OUPtr3fmTrpar5e/EOdldjpAWu22 DuLoS41ivMJkIgN081XHGwrYRry+/AlrSZst207u15JCSsjNeaYi3SAswSz0Bq5BN/xoqO9U Ic4dzi2trlUVcvR/MB8aP8EELuu+vrNLTvdn1N1BJg9+jWxs3iif4Vd7zx4THpU3jI/UWaxO if74FoBjKK/yVPzPMeblaroWpxylcAN1L3NCpjpUza5SsMvL17Xpn41PxT4MqKEuBFErJzT8 KyzKa6EZUv2w4w+pNZvb7ZCie0Y1WolyHnNRJv26R2i3PDMLDSWULoJeh/GJOww8KrO8k2f/ sd9Jvm67UxVcNT/RS3Lrq8VD1QBdkYgCb7M9sd4S++kIyhdIl8HNcP/+70aVrJAo7V0jcbNp 3G0ZV9ZwgHwhFrBMgS7VUpgY7LOA7d5i243HQU9GVCax1wlR4Sm05kCRsEKYLIhyfFpyOF1a 9IneMywJOtFZRqa2jYabLj79JdDcjbyjy2wHiOVWhoNVL8+eB7s5fnfYRrJ9gMCKgGVpPkOi eSs+S2DSKVSWjk4Ktjdbcye6m+YvF8fqbpUZFTJKNwCQ3fc2tFmBAKph8BmPvxWDwvIwwab8 AOkAR04g+3piK1t+fnrgZG0lauYI9FcLGF7QVaCta2XMBPE9FWN2YVDCeaEXQ7MXVPOpZmNW 79n8OHeAtYmwnBxrItOI5R6x/kf5vzuhYNg4CZKIXHpV2mvW5RceiSo/M8XraBc5K5riS3vU GK1x9RqE7GoOsTkLV0vGDQYftmzjc8zpD2Dwsk2cWPb5TB29oWpSU99HQeBow0DIapXMLEK+ /YAuskX2lealxEsD8uMiz9V00+uLXUwdbotmb9HIY3siystkkpjZ76FAADIwZi/Ufd+GWh0H S213o/s3699wGjGeFoNTUn95/JX38kyiUob3W08KESssfuboP0OhTl60yk9FyZRxTV5i9NDA HBhbRBJFP/f7gVTpZZxWk63EFt8HzyfwEv6zmUJmED/T0WFUm/sLnU3Cd2S/XI2on5tQTxGw I62kGrVcy7mXMXU7BsAXURIr//CT9so0ibgnMuhPdqOHrhkQD7Dr5KtW1E1qErcMZtsvHHEm Ohkx/YvSKvZMSVLnbY3JbPH3pstSTeFBld4f9dfwI0zE1rxQgqCgQq1Fxjpe+dmBeD7zkujO sk/euNNT0uf0QiNnBA6BIkNAb1/jaM46OFfZ7nABHUntoGHpWFDq6Pg9SnZhU4qTe5xkM07F JjjSjKaHkGUhlpWg2XorvhbClGnYNIBWhLw7Nq1/MoNCZgHluNmKmM27ZeZoFSXN1FB0y+Pn QaeeZLT8fNu+b5sk6ToDK9HIQe+cvH3deaQ9TGMo8Z8VszOPejOpjEqhAHeZSoOBoQoWvNzi bipm/z01hmcvL8JDkboq6PYHKxNvciPTO5bN/zsF0ZjnAyAZdTN5iUS8GXpOL1Ll9JgvvOcf TWaU/fpV9ApWIZ6/kZ3OhhuS0NXT+y9a6r7viqyosidEhVXg0SNMNqj8mSvdm1BMDMBP5rlE ALvpvKy/ZZioZ9RAAMfTeRTa3OizIQPhYN9HzEwidWZMoVsqkiHpqO40wQlryrAC3SCG8u8+ 4+DQByWmNFefk3X5IkxjmCwlkR/4LVBbS0YdVlb4cMwjTTS4KsuM7EGKZtfYn1LunWa6Xw7D Q0hqEMpEmPnQHJCdX0QJTglshi3XoQzBzsyGtDlE454pct76ENszYaNLhtd3ko= IronPort-HdrOrdr: A9a23:6Ku+JqERgVsk633tpLqE+8eALOsnbusQ8zAXPiFKOH5om6mj/P xG88526faZslkssRIb9OxoWpPhfZq0z/cci7X5Vo3CYOCJggWVxO0O1/qG/9WxcxeOldJg6Q == X-Talos-CUID: 9a23:a9QpQm1PpFU3dD/Kl+Oya7xfCJgESyf3kXLsP16fVDhTb7KFYnir9/Yx X-Talos-MUID: =?us-ascii?q?9a23=3AbXFBawzb/4C6FtQQsQgkoUhtj7yaqK68VWYpu6t?= =?us-ascii?q?egdGVJHBfKnSc1Deac5Byfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,174,1763420400"; d="scan'208,217";a="134500328" X-MGA-submission: =?us-ascii?q?MDEDh3hPr8Nw2RHwq1cpybFAeiiHx4k3U6bLQh?= =?us-ascii?q?BCV4BU4O5zYKlFaJd/YozPfgG9d5knz8rfv83QNRly/6XXk5DeUSuPL2?= =?us-ascii?q?xJjM+WrNdRE7GektKeMOQZjWxhJMtY+0Ii1O5nb5tmv0QG/GIJ2P9z9p?= =?us-ascii?q?o5s+TrdxGv/NxfpFodJ0tYWw=3D=3D?= Received: from smtp2.science.ru.nl (HELO smtp2.vm.science.ru.nl) ([131.174.30.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Dec 2025 16:30:27 +0100 Received: from roundcube.science.ru.nl (havik.science.ru.nl [131.174.9.93]) (authenticated bits=0) by smtp2.vm.science.ru.nl (8.18.1/8.18.1/Debian-2) with ESMTPSA id 5BOFUPiE1135815 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NO) for ; Wed, 24 Dec 2025 15:30:26 GMT MIME-Version: 1.0 Date: Wed, 24 Dec 2025 16:30:25 +0100 From: Peter Achten To: caml-list@inria.fr Message-ID: <41a0c4827f794a3aef970f0173599641@cs.ru.nl> X-Sender: P.Achten@cs.ru.nl Content-Type: multipart/alternative; boundary="=_07cd05a786ac054fd46f18b844ae404d" X-Scanned-By: MIMEDefang 3.3 Subject: [Caml-list] [TFP 2026] 1st Call for Participation for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-29 2026 - TFPiE Jan 26 Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 19418 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: --=_07cd05a786ac054fd46f18b844ae404d Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed TFP 2026 -- Call For Participation (trendsfp.github.io [1]) Venue TFPiE and TFP will take place in-person in Odense, Denmark, at the University of Southern Denmark. Dates Early registration: 31 December, 2025 Late registration: 20 January , 2026 TFPiE Workshop: Monday 26 January, 2026 TFP Symposium: Tuesday 27 - Thursday 29 January, 2026 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: Alex Gerdes (TFPiE), Gothenburg University and Chalmers: "Generating Feedback from Rewrite Strategies for Interactive Exercises" Joachim Breitner, Lean Focused Research Organization: "Lean Highlights" Ohad Kammar, University of Edinburgh: "Synthetic Convolution" András Kovács, Gothenburg University and Chalmers: TBA Programme We have 13 paper presentations, as well as invited talks. A preliminary programme schedule can be found here: trendsfp.github.io/schedule.html [2] Excursion and banquet In the afternoon and evening of Wednesday January 28th we have an excursion to H.C. Andersen Museum, followed by a break before heading to Madklubben for the conference banquet. Travel Scholarship Thanks to the generous support from the Carlsberg Foundation, we are able to offer travel scholarships (DKK 3000 ~ USD 470 ~ EUR 400) to young researchers traveling to attend TFP 2026 in Odense, Denmark. Information on how to apply can be found here: https://trendsfp.github.io/scholarship.html Links: ------ [1] https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.github.io%2F&data=05%7C02%7CP.Achten%40cs.ru.nl%7C3c29afd0c01c498d9f7b08de41691e91%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639020116903822762%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=rbYnerNLBlYnfmtM5qvYJUAfSU2BYhBRrXuHGnmeiIQ%3D&reserved=0 [2] https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.github.io%2Fschedule.html&data=05%7C02%7CP.Achten%40cs.ru.nl%7C3c29afd0c01c498d9f7b08de41691e91%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639020116903840811%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=NQyQOCjdLivX3Ye7XIDDUWHsMMkWr6DX9%2FHDpGyTOgw%3D&reserved=0 --=_07cd05a786ac054fd46f18b844ae404d Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8
TFP 2026 -- Call For Participation
(trendsfp.github.io)
 
Venue
TFPiE and TFP will take place in-person in Odense, Denmark, at the Uni= versity of
Southern Denmark.
 
Dates
Early registration: 31 December, 2025
Late  registration: 20 January , 2026
TFPiE Workshop: Monday 26 January, 2026
TFP  Symposium: Tuesday 27 - Thursday 29 January, 2026
 
The Symposium on Trends in Functional Programming (TFP) is an internat= ional
forum for researchers with interests in all aspects of functional prog= ramming,
taking a broad view of current and future trends in the area. It aspir= es to be a
lively environment for presenting the latest research results, and oth= er
contributions.
 
Keynote speakers
We are happy to have the following keynotes in the programme:
 
Alex Gerdes (TFPiE), Gothenburg University and Chalmers:
    "Generating Feedback from Rewrite Strategies for Interac= tive Exercises"
Joachim Breitner, Lean Focused Research Organization:
    "Lean Highlights"
Ohad Kammar, University of Edinburgh:
    "Synthetic Convolution"
András Kovács, Gothenburg University and Chalmers:
    TBA
 
Programme
We have 13 paper presentations, as well as invited talks. A preliminar= y
programme schedule can be found here:
 
Excursion and banquet
In the afternoon and evening of Wednesday January 28th we have an excu= rsion to
H.C. Andersen Museum, followed by a break before heading to Madklubben= for the
conference banquet.
 
Travel Scholarship
Thanks to the generous support from the Carlsberg Foundation, we are a= ble to
offer travel scholarships (DKK 3000 ~ USD 470 ~ EUR 400) to young rese= archers
traveling to attend TFP 2026 in Odense, Denmark.  Information on = how to apply
can be found here:
 
--=_07cd05a786ac054fd46f18b844ae404d--