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=PsQgRTub; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=deinprogramm.de header.i=@deinprogramm.de header.a=rsa-sha256 header.s=default header.b=Oc6VA7Q0; 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 3DB6740066 for ; Fri, 30 May 2025 14:29:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=wzQK6q118PRqKtEPoW0PIX1h5Mo+REAF1rnyDmq4gls=; b=PsQgRTub+XhBkjhWtcVlAJ0wSm5S2pdKs08El5eRowNAJYXvwtiKBhW0 MDr1f18HsYddjUhTfCXUJdR4PMgC/7xtK4XY6Iwks+zRSqUtFIi2R9eJk rNC7UNGSJMaM6jEC+XX4V3/HjXzLXKhtuNrjog98bgcetkwSGV6J55vxZ E=; 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=@deinprogramm.de X-IronPort-AV: E=Sophos;i="6.16,196,1744063200"; d="scan'208";a="224581377" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2025 16:29:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 247AAE0CD6; Fri, 30 May 2025 16:29:04 +0200 (CEST) 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 8B47CE0131 for ; Fri, 30 May 2025 16:28:58 +0200 (CEST) IronPort-SDR: 6839c0a9_zILgr1BRA7qOPb6u+CHy90xadSCiyqUhj5sYhlwOWVIHxBb R1nHz6EgxeAGkiAZylVsV1sC1MiqkEIEI03LUog== X-IPAS-Result: =?us-ascii?q?A0EIUwDivzlo/9Oqd6haDgwBAQEBATwBAQEBAgIBAQEBA?= =?us-ascii?q?gEBAQEDAQEBARWBVYFaAgEBAQE6KAd3WhEiBwhJhFWDT4UsiHacRIJ6Ay4oD?= =?us-ascii?q?wEDAQ0UAgECDhYRAQIEAQEDAQOCDIIujCECHwYBBDQTAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBARABAQUBAQECAQECBAYBAoEKE4V7DYJFUYIWAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEZAg0HKS5DBh0BASYSNAIFIQIRAQRJGwuCFlmCIkoDBA2yeIEygQGCDAEBB?= =?us-ascii?q?oEIPgXcPAmBGywCAQEBAQEBiEoBhieEYxuCDYEVg2iCVgsCgTeEBIJpghEXg?= =?us-ascii?q?QIUhCSEK4USgl+PY4FKeCwBVRMXCwcFgTAzAyAKNBQEGQIUHAESDwQWMh2CD?= =?us-ascii?q?YItT4IdghJwgReCJYZehEkrT4Qne0xag18pLkADC209NwYOG5hqg2cGPhoMV?= =?us-ascii?q?gETMwkBTT0qAg5jklcRCYsBqDSCP4FmhHCHLZYCl1iTCJkDIo1llVqFV4F/J?= =?us-ascii?q?oFZMxoIHBQaglQBMwkJPQMZD1eOCINCM4Ixgi+KIbsHQTU8AgcBCgEBAwmFR?= =?us-ascii?q?AEDik80gUsBAQ?= IronPort-PHdr: A9a23:wtdxgBaseofB+lcX5OzVB47/LTHY2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wSPBd2QsaMe16KW6/mmBTdap87Z8TgrS99laVwssYYso0QYGsmLCEn2frbBThcRO 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYj4ZuMLo9xgfGrndWf+la22xlLk+Xkxrg+8u85pFu/ipOt/4768JMTaD2dLkkQ LJFCzgrL2866Mr3uBfZSgeB+mUSWXgMnBpSBAjF4hD6XpPvvSb/q+FwxiqUM9DoQL4tQTit4 LtlRxHuiCccKj4263rXhdBqjKJaux2uuRpyyJPJbY6PNfp+eqTdfc4GRWdEQ81cWTBNDp+6Y oASCOUPIPtYr5Llp1QQsRS+GQeiBOTqyjBSh3/227Ax3+AuHAzC2QAtGc8FvnbJo9XvLKocU f67wrTGwzvAYfxZ1ivy5ofTfxA9uPGBR658fdbLxEQtEQ7Ok1WeqZbiPzOQzukDtGmb4PZgV e21lWEnrxx6rCW3xsgykInGnZwaykrZ/ih+24Y1PcO3SFRgbtG6CptdrDyVOJV3QsMkW2Foo iE6yrIcuZGheSgKzY4ryAPBZPGedYWD/x3sWvqLLzhimHJlZKywhwy08UW4zuDwS9e43VVEo CZZltTAq20A2RPN5sWDSfZw/1ut1zaA2Q3O7uxJPE45m6TUJZAvwbM9kpUevEreEiH4hEj7k KmbfVgq9Oiv7uToeLTmppmEOo9ulA7+KbohldalAeskMggORXKX+eOm1L3s5UH5T7RKjuE2k qnEq5/WP8UbpqmhDw9V1YYj9wqwDy2+0NgCgXYHK1dFdAqcj4joNFHOOPT4Au25g1i2lzdr3 f/GM7v8CZvONnjOiKrtcLd+5kJG1QY/0NRS64hJBrwDPP7/QFH9uMHFAhMhPQG5wfzrBMty2 48ERG6DH6uUPLnPvVKM+u4iJfSHaZERuDbgMPgl++DhjWUkl18cfKimw4MaZGy+E/97OUuWe 2Dsjc0EEWoSvgoxUujqiFqaXDFOeXmyXqQ85ikhCIKhAofDXJqigLmE3CuhA5JZeHhKClGKE Xj2a4WJQ+oAZSORL8N7jzAISLysR5U82RysqAP20aRrIvfJ9iEAsJLsztl15+ndlREo8jx0C tyQ03qVT25qhGMHXCE53LpkrENg1FiD0K54g+RCFdxU6PNJSB01NZvZz+BgFt/9RBrNftGSR 1m+WNWpHSkxTs4tw98Je0txBs2ujgrf0CqyH78Vi7uLCYQo/a3G2njxI99xy3LH1Kk6k1krW dBPNG2jhq5n7QffHY/Jk0ODl6arb6sQxiDN9H3QhVaJ6VxDXRRreb/MVnMSeg7SpNL2oETYQ PvmAr0iNk5FyNWeAqpMcNzgy1tcAL/uItDXZW30gnq9HgqJwbWXRIfwf2wb02PaEkdA2wAa5 nWLMQwWBi66oG/aCHppD12rK0zs+qxypW2gZk891AKHa0kn0KC6vlYJlOSRULYa2LQDpSEqp h1wHU2hxJTNBtOb4Rd5caNaJ94x/RMP23/fnwdmeJqnM7wkj1VYbgcz90fg3A4yC4NcnNInt 28CzQx8b6+UllpKMS6bjr7qPbiCD2j5/Bmib+btwlzE2tuMsvMU8PkioVj5lA2kF0w66XJoy dBQ1j2Q68OZX0IpTZvtXxNvpFBBrLbAb3xhtus8tFVpOKiw6HrZ3s4xQfEiwVCmdsteN6WNE EnzFdcbDo6gMr9igECnOzQDOu0a76soJ4W+bfLTw7amJuxthhqqgGVB+Jp63ViF8i86RuObl 40dzaSg1xCcHyz5kE/nt8n2nY5eYjRHBXKy0yLpHqZda6x0ZZwMBn2nJsjxytgtz4X1VStg/ UW4T0gDxNfveReWaAnl2hZM0E0MvXG9sSe1zjpsiTYmtKOa2WrCzowObTIhPWhGDClnhFboe 82viswCGVKvZE4vnQek4kDzw+5aor5+Ji/dWxUAeS++NGxkXqaq09jKK8dS9JMltzlWW+Wgc BibTLD6uR4TzyLkGSNX2jk6czigvpixkQZ9jSqRK3N6rXyRfs8Vp1+X/8TRX/RcxBIKSSh+k SPQCUK1Otzv8djV35bPv+aiVn6wA4VJeHqOr8vIvy+66Gt2RBynyqntypu+SFl8iHCjkYMzD Hatzl60eITg2qWkPPgye0BpAAW58M9mAsRklYB2gpgM2H8cj5HT/HwdkG61P88IvMC2JHcLW zMPxMbYpQb/30g2ZGmRypjzW2+1zsZgYcGgZWwM0yc4qcxHQvTxjvQMjW5ur1y0oBiEK+Nlk y0XxOEG5HMbhfkTvwU3xyCYRLwfVxo9X2Skh1GD6Nawq79SbWCkfO2r1UZwqtumCamLvgBWX HuRlo4KJSZr9Y0/NVvN1Ce28YT4YJzKatlVsBSIkhDGhuwTKZQrl/NMizA1cW76uHQkzaY8g 3kMldmhpIWdIWh31K60AxhALDr6fcoW/3fhgO5Sk92X0IamAph6UmxVDN2xFKPuSW1K866+b k6HC1he4j+DFKDaHBOD5UsutH/JH52xdjmWKHQf0dR+VUyYLU1bjhoTWWZf/NZxHQSrycr9N UZhs2lPthih80oKk70wcUOmCzS6xk/gcDo/RZmBIQAD6whD4x2QKsmC9qdpGCoe+JS9rQuLI 2jdZgJSDGhPVFbXYjKrdrSo+9TE9PCVQ+SkKP6bK66WpPZUWu2gyZ+u1JN8+DmWP8CKeHVvR a5euAILTTViFsLVli9aATcPmjjHYtSzqBq9/DVtqc+l+fHuHg7ir9jqafMaIZBk/Ba4hr2GP uibiXNiKDpW4ZgLwGfB1LkV2FNBwzErbTSmFq4M8DLcVK+F0LECFAYVMmkgUakAp7J5xARGP tTXz8/4xqItxOBgEE9LDBTo0sS5Lc0SfzPkagOBXR/acu3ZfXuRmpi/d6q4Tfc4YPx8jxSro n7bFkbiOm7GjDz1T1W1NuoKiiiHPRtYsYX7cxB3CGGlQsi0IhG8NdZ2i3Uxz9hWzjvSMnUAN DFnb05XhrGd7CVAmPJwAWVE6zxpIKGIlj2Y4O/RNpsN+aI1UmItzrMcuStijeEMtWlNX5kX0 GPKo8Rrok26n+XH0TdhXBdU635KiI+NoUR+KPDZ+51HCj7P+BMA63nVCgxf/oU1TIS26uYJl YCJzvuqe1Igu5rO8MARBtbZMpeCOXsla1/yHSLMSRECRnitPH3egEpUlLeT8GeUp940sMuJ+ tJGR7lFWVgyDv5fBF5iGYlIO496RDkpi5aXgc8O/WC5owPYQcAcsp2NBZfwSb3/bS2Ui7VJf U5C2bTjMYEaLZH2wWRuZ1h8hJ7NFFDZWNULriArPWpW6A1dtXN5SGM0wUfsbAigtWQSGfCDl RkzkgJiYO4p+WSk8xItK1HNvid1jFgplICvn2WKaDCoZvTVP8keG2/uukM2KJ++XwtlcVj4g xl/LDmdD7sZiqsodHg32laC6d0WQK8aFPIcJkVJnLmBbvEsmzy0RQ2ryE5B/fHCBoFrkQ5sf ZP+9hqoPipvYd8zPbbXK7BAy10Wiq/c5kdAN8g9zQ4YP1wK/3mbfStOtEFab9Eb IronPort-Data: A9a23:lsxS8a9fyBvF9ICRfoRuDrUDuXqTJUtcMsCJ2f8bNWPcYEJGY0x3y mYYCDjQaKuDYGr1eNt+YYTlp04FuZOAmtcySFdqpC5EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcqWo4ow/jb8k434a+q4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE7alCVl4YJ6oiy7xsJj9J+ /cnJGAQcUXW7w626OrTpuhEiskiKtHxO4wFs3Rliz3UZRokacmdE+OTvI4ehWhowJoXRJ4yZ OJBAdZrRA/YbgdFN00/BJ8/mv+ygXblejhd7l6YzUYyyzKJkFEhieOwbLI5fPS0S85OxhaRr 17P2D7rWQpHFtG8kGeKpyfEaujnxH2lBNx6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQpFjEGoaUz8lSxSdbnVhi95nKJ1vIBZzZOO8NmxFuS5LDz2TfDHU9aSTBKV9B2qdBjEFTGy WS1t9/uADVutpicRnSc6qqYoFuO1c49fTZqicgsHVNt3jXznLzfmC4jWf5PPcaIYjDdFTzxx SiQqyckjrAWy8IGv0lawbwlq2n8znQqZldrjukyYo5DxlomDGJCT9b1gWU3Fd4acO6koqCp5 RDpW6G2tYji962lmi2XW/kqF7q0/fuDOzC0qQcwQ8l8q2/woyb4I944DNRCyKFBYpxsldjBM Ba7hO+tzMYJZib6BUOKS9nrUZx1lvaI+SrND6yINYAXCnSOSON31HgwOxLOt4wcuEghjbM5N I3TdsCoDHAXQa1opAdatM9NuYLGB0kWmwvueHwM5073j+bOOS7JEuZt3ZnnRrlR0Z5oaT79q 753X/ZmAT0FOAEnSniIrdwgPhoRIGIlBJv7jcVSe6TRakBlAWwtQbuZi78oZ4Uvzewfm/bq7 0ONfBZS6GP+onnbdiSMSHRoM430UbhF8HkUAC0LPHST4UYFX7qB1qkkWqEMTeEVz9A7lf9QZ NsZSvqEGcVKG2jm+SxCTJzTr75CVRWMhCCNDRWhfTMfXYBSHC7J8OC8YznAySgqJQi0vPsYv LeP+F76Q50CZgI6F+fQSqul4G2QtEgnutBZfhX3MPgKX2u066lsCSj6rsFvEvE2MR+Zmwerj VeHMykXtczmgtET8uCQoYumso3wMe91PnQCLlnh9bzsaBXrpDuy87RhDtSNUyvWDl7v2aOYY u5Q8fHwHdsHkHtOsKt+C7xb9r0/1fS+u45lyhlYI1uTY2SJEr9AJly07ftLvIBJxZ5bvlKSc WCL8d94J76IGZ3EFHg8GQkbVdmAhMokwmTq0fcIIUvB9HBW+piDWh5sJBWisnFWA4Z0F4IH+ t0fnvAqxTaxsTcUF+qXrzt18j2MJ0MQUq98uZA9BpTquzURyVpDQML9DxXy6a7SdN5JY08hJ xGIjpGfhIZn51HjdkArHiPnxttthpUpuTFLwmQdJl+PpMH3u/8v0DBV8hU1Vg5wzCgb49lsO 2NuCVJ5FZ+O8xhsmsJHeWKmQCNFOzG05W3zzAEvuFDCbkz1SFHIEnIxCdyN8G8d7WhYWDpRp 5Oc6WT9VAfVbNPD5TQzVWFlus7cY4RIrCOao/+eHuOBA5UeShjmiPX3ZWM39j3WMfloj0jD/ eRX7OJ8bJPgDhEpooo5NpK70IoBQxXVNU1ARvBcpJkyJ1/+Qw3r+zayKBGWQPhvdtjq6k6zD vJ8Kv1fDyqe0Dm8lRFFJKouDYItotsXyossRrfZK1QCkYOjlRtykZeJ9iHBlG4hGNpvtsAmK 7LuTTGJE03OpH5un2by8dZPPzu+atwqeAfHgeOHy8QSNpc5qOo3W1oD4ri1mHS0MQVc4BOfu j3YVZLW1+BPzYdNnZPmN6d+WzWPNtL4UdqX/DCJs9hhac3FNeHMvVg3rmbLEht3P7xLffhKj pWI7cDK2X3asIYMU2z2n4eLE49L756QWMtVKsfGE2lIrxCdWcPD4woxxE7gEMZnyOhi38iAQ xe0TOCSdtRPAtdU+yBzWhhkSh0YD/z6U7fkqSaDtM+zMxk60zHcDdaZ5HTsPHB6dCgJBsXEM TXKmc2Sv/JWkIcdIyU/JaBWM8ctahurE64rbMb4ujSkH3GlyAHK8KfrkR07ryrHED+YGcL9+ ojIXQX6aA/0gqzT0dVFqMZni3X71pqmbTUYJSrxOuKaigxWyEYKIOUbKY8BBYtdlym02JyQi PTlcj45ESukNdhbWUyU3Tghdl736i8y1hPRKjEo+VuObCisDYaFRrdsnsuly2kjYSPtlYlLN vlHkkAd/XGNLlVBSesS4OShhuh9z/bfgH4Fkaw4fwoeHD5GaYg3OLdd8MahmMAJ/wwhVKkGG ITteV15fQ== IronPort-HdrOrdr: A9a23:qXURI6GGzy0hbioBpLqE+ceALOsnbusQ8zAXPidKOHlom62j5q KTdZEgvyMc5wx+ZJhNo7290cq7MBDhHPxOgLX5VI3KNGLbUQCTQ72Kg7GP/9StIU3DytI= X-Talos-CUID: 9a23:tisSgG2mNmY+5UyTn3fgP7xfNJwJKGLz1lDqEhWjLjhuRraqRQ+N5/Yx X-Talos-MUID: =?us-ascii?q?9a23=3AGXMyvwwpaWyEoALCG5NHeLWLthqaqJqgA1tVwZw?= =?us-ascii?q?Ph8Cjbz4rIGq/gRfuH4Byfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.16,196,1744063200"; d="scan'208";a="224581354" X-MGA-submission: =?us-ascii?q?MDFeDYoMqF2DSBoVdoZkPsJ95z6kE4T5CgwdzT?= =?us-ascii?q?Pqeh4hMczLzuQ331eetvehMT+lnp8oLGAgbSOadtH7OA2A1bxZQXxaF/?= =?us-ascii?q?uUBk4IKYAj+quOgiwgx3O304pxuF0kwoMehBPDIAtKsNRAWlRgYC1bZZ?= =?us-ascii?q?00HJLOEllmqWhQNhKHjakykg=3D=3D?= Received: from deinprogramm.de ([168.119.170.211]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2025 16:28:58 +0200 Received: from Tourvel.home.active-group.de (ip-037-024-119-190.um08.pools.vodafone-ip.de [37.24.119.190]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange secp256r1 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 8FC413AD43; Fri, 30 May 2025 16:28:56 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1748615336; bh=vMls6Is3Nj5VkqyonA/tR4IMWaab43LonlZcz03ZYvQ=; h=From:To:Subject:Date; b=Oc6VA7Q0qKglPUuQDAQPBXk0We2wS1JoQXRE1hOcDjj1TwY4xqBKzq93d29+yk5vT 2ifEjS7L5cD6jKAovQvmG1AXiibltdh7XID8O1C8mizCbuO6yzcRhp1JxcQieDsFcC GCqlhPrRz2SzlELa6N7WG5a38QMe9egKKc/Quw+Q= From: Michael Sperber To: users@racket-lang.org, caml-list@inria.fr, erlang-questions@erlang.org, haskell@haskell.org, ghc-devs@haskell.org, types-announce@lists.seas.upenn.edu, fun@cs.nott.ac.uk, lfcs-interest@inf.ed.ac.uk Date: Fri, 30 May 2025 16:28:56 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19330 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: Due to problems with the HotCRP submissions system, we have extended the deadline for full-paper abstracts until June7=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *** FProPer 2025 -- CALL FOR PAPERS *** Second ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance 16th October 2025, Singapore Co-located with ICFP 2025 https://conf.researchr.org/home/icfp-splash-2025/fproper-2025 =09=09=09=09=20=20=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer=E2=80=9925) aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. The performance aspects are not limited to sequential or parallel runtime performance but encompass all kinds of performance aspects, such as memory footprint or energy consumption as well. Application areas of interest include, but are not limited to, high-performance scientific computing and numerical programming. FProPer is a satellite event of the 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025) held in the week of the 12th of October in Singapore. Although FProPer=E2=80=9925 is in its second year, the workshop builds on t= he tradition of the FHPC and FHPNC workshops. The primary change is a broadening of scope from high-performance and numerical computing to a wider range of applications where programmer productivity and performance are both being considered essential. Information on previous workshops can be found here: https://fhpnc.github.io/ Scope ----- Areas of interest include, but are not limited to: * relevant compiler technologies * runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation) * domain-specific languages (embedded or standalone) * type systems * formal methods * software libraries for performance * application studies / use case experiences. Rather than requiring finished work typical for a conference, the workshop aims to provide a forum where researchers and practitioners may report promising new directions and work in progress. The workshop will accept two kinds of submissions. Submissions for regular papers of up to 12 pages will be solicited and reviewed by an international committee. Accepted regular papers are expected to be published by ACM as a workshop proceedings. Submissions for stand-alone abstracts of up to 2 pages will be solicited and reviewed, but will not be published. Submission Details ------------------ Submissions should fall into one of two categories: * Regular research papers (up to 12 pages) * Stand-alone abstracts (1 - 2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Stand-alone abstracts will be distributed to workshop attendees, but will *not* be included in the formal proceedings. The goal of the stand-alone abstracts is to generate discussion; examples could include works-in-progress, surveys of current research areas, reflections on past research, "position" papers (advocating for specific research directions), or more generally any topic that the authors believe would be valuable for the community. Stand-alone abstracts will be evaluated primarily for relevance and interest. We welcome submissions from PC members (with the exception of the PC Chairs), but these submissions will be held to a higher standard. Submission is handled through the HotCRP site. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines. Submissions written with LaTeX are required to use the acmart format and the two-column sigplan subformat (not to be confused with the one-column acmlarge subformat!). Stand-alone abstracts must be submitted with the label 'Extended Abstract' clearly in the title. Deadlines --------- Full Paper submission deadline Saturday, June 14th. NOTE: The previous deadline for full-paper abstracts has been dropped/extended to June 14th. 2-page stand-alone abstract only deadline Saturday, August 2rd. Submission Link --------------- https://fproper2025.hotcrp.com Publication ----------- The proceedings of FProPer 2025 will be published in the ACM Digital Library. Related links: * Author Information and LaTeX templates: http://www.sigplan.org/Resources/Author/ * Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/