From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=deinprogramm.de 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=vJ89RNlg; 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=GQUGKQQo; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id F0F9DB80123 for ; Mon, 29 Jul 2024 10:17:35 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=dajmo4KYWbX9EVxHWHQ4LiuOnWrLATvmB1LW9i8weII=; b=vJ89RNlgsxmdkOyuPD3JrgXDWXcbv1mD4RwXmyoXbgiA1QDwfWMBRUuF VnZN2Ckaim4c/SNdNyj+QCiwXYutXfI53VnGUpijOCFrxlusLMbwiKM83 7tJL89/TpSWGb0i9J+VMFiFzBk4JS8e1rm41VFQLBcYsE7BdyU9uwSxqM M=; 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: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.09,245,1716242400"; d="scan'208";a="177345321" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jul 2024 11:17:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 87D0EE013D; Mon, 29 Jul 2024 11:17:32 +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 CC86DE0035; Mon, 29 Jul 2024 11:17:27 +0200 (CEST) IronPort-SDR: 66a75e18_BQSKRXSRt7Y5NdOMM62EwoDUZy8t6MOtQIhCNIsovHl4FyH ZrqhLAq6DfV/S/l+l2VWcUvp8HdlbNhqvzM/4KA== X-IPAS-Result: =?us-ascii?q?A0FPFwBoXadm/9Oqd6hQCg4OAQEBPAEBBAQBAQIBAQcBA?= =?us-ascii?q?YFmgVoCZgd1WhEiBwhIiCWFLYhxnD6DUQMPAQMBDRQCAQIOEggBAgQBAQMBA?= =?us-ascii?q?4ILjDMCHwYBBDQTAQIEAQEBAQMCAwEBAQEBAQgBAQUBAQECAQECBAYBAoEKE?= =?us-ascii?q?4V1DYJgO2+BJQEBAQEBAQEBAQEBAQEdAg2BISMBASYSLA80AQQ0FSaCbYJkA?= =?us-ascii?q?wQNrE2BAYIMAQEGgQg+Bdw1CYFGAgEBiDsBhg2CdYF5G4INgRWCeYNFCwGBN?= =?us-ascii?q?IZxiiBBgU2BHIEKg0YPgyuEToFIgT58Jo1rgU14IQIRAVUTFwsJBYlMgwcCB?= =?us-ascii?q?SEEghSBI4J3glICglqBawxhhECCQnCBcYE+gV9KgRYGgVovGyQLXoFVgSIXB?= =?us-ascii?q?hUEgS1MWB1AAwttPTUGDhuiZYNyaFYBgVGBDbBslQyCPYFiBYRqhyWVcoVbk?= =?us-ascii?q?W+SdJhuIo1ZmxiBfiaBWTMaCBwUgyIJRgMZD5JOhGGKIAm9C0E1OwIHCwEBA?= =?us-ascii?q?wmFRAEDg1qBSgEB?= IronPort-PHdr: A9a23:CzJR7xbKJzulznKyT3rtImz/LTGS2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wePAt+QsqkMy7KP9fy6CCpYudfJmUtBWaIPfidGs/lepxYnDs+BBB+zB9/RRAt+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuNUajZFgJ6ovxRfFv3VFcPlSyW90OF6fhRnx6tm08ZJ57yhcp/ct/NNcXKvneKg1U bNXADM6Pm4v48HlqQfNRhaV6HsGVWUWnBtIAwzb4xz/Q5z8rCj0uPdj1SeDJcH5Qqw6Vjqk7 6dwVR/nkzwHOCIj8GHWkcN/kqRWqw+8qhNlwo7UZIaVNOdifq7YYNgXS3ZNUtpXWidcBI63c okBAPcbPetAr4fzuUYAoxW9CwaiC+zg1iRFhmPq0aAgz+gtDRvL0BAmEtkTsHrUttL1NKIKX O6yzanH0TXDYOlI1jf59YPGbwghru+WXb1rb8XR01QkGgTejlWIt4PlJSia2foXs2WA8uVvS +Ovi2g/qwFrpTivyd0shZPMhoIQ0FzL6Dt2zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnl2t Cg0ybALpJ61cicUxJooyBDSauCLfoqH7x/gUOucLyt1iW54db+9iRu/8VWsxvDyW8S00FtHs zdJn9rCu30D0RHY98aJSvx4/ki72DaP0Rje6u9ZIUAyiaXbN58hwrk2lpUJtUTPBzX5mF/qg 6+Wd0Uk5van5Pj7YrX7vJ+TKZV4igbkMqQhgsC/GuU4MgcWX2if4+u80qfv/UrjQLVFiPA9j 6rXsIjCKMgGp6O0ABVZ3ps+5xu7FTuqzdYVkWUdIF5bZR6LkpDlNl/MLfziE/uyjE6gnCp2y /3CJLHtH5HAImTFnbz8Y7t971NcyBEvzd9B/ZJaF7ABIfPtVULpqNDVCAIyPRauzOb9Etp90 5sTWWKRDa+dN6PfqUKH6fwuI+mKfI8VojH9K/c/5/H0iH85nEURcrS30pcPaXC4GOppI1mBb Hbxg9oMEn0GshcjQOHuklGOTDxea2qoU64i+z03FZqqDYLZSYCshLyB0j27HppTZm1eEVCMC Wnnd5+fVPgSciKfOdJunSIFVbinU48hzxautADgy7V9K+rU/zcUuo/929Rt4e3cjgk99SZoA MSFz2GNU2Z0k3sWSzMuxqBwvVR9ykuf0ah/m/FXCcZc5/ZNUgsjMZ7czvd6C8zpVwLaftaJT U6mTc+8DTEwSNIx2d4ObFxnF9WslBDPxzCqDKMNl7yXGJw09brR0GT2J8Zk0nrJyK0hj0Q9T cZULm2nhqt/9xDJCILTkkWZkbyqdaUG0yLX+meD1znGgEYNTRV9S77tR3kUZUbK6NDw4EyES KWhTfwsOw5FjMqDMbdia9vzjFwASu2ncNTXeGG8n2OYBR+Txb6IaMztYWpZlCXUE0sJlwRW9 n+IOCA+DzyirmbaSjt0GhanbEPntOVztmiTTkYvzAyOawtmzbXzsgIEnfGHDvoV2LUZviwsg zF1B0qmmcnbAsHGuhJseqMabN8gpB9JyGTxvBc7OJu8M+ZrjRgDcEA/tlv2zBhyIoFBitQx6 m8h10xzJ6Pe1FZcMT+Vmdj7PaSSIW3v9jiubbTX0xfQypLe86gD4dw8qk7/p0eiFkMm9nh9y J9O3j/U4pvBF08TV478SEss6zB7ob+cbyV77oiSyH4/H7Ozt2rn2tkpDeYhgi24cs1VPbnMQ BTqHtcQCtKGJOErnUCzaR0eNeVXsqI5aZD1P8Ca0bKmab4z1Amtin5KtdgVOiOk8iN9TrSNx JMZ27SC2QDBUT7gjVCnu8SxmIZeZDhUEHDsgTP8Ctt3Yat/NZ0OFX/oO9e+k85mioTnVmRw+ FOiAUsc38CzcB+XKVDwjkVLzUpCmXW8gmOjyiBs1TQgr66RxivLlv/6eQANN3RjSGRji0/2J oeuhtUfGkSlPEAyjBXw3U/h3OBAobhnaWneRUAdZy/tM2RrSbe9rJKObs9J8Ikvvj9eVeH6b V3ypqfVhRwc3mujGmJfwGp+bDS2otDjmBc8jmuBLXF1pX6feMdqxB6Z6saODfhWliELQiV1k 1y1ThC1IsWp8NOIlpzCrvH2VmSvUYdWeDXqyoXIvTWy5GljCxmy1/6pndivHQ8/2C79n95kM EeA5A3kb5Ph2r6SPe9meFFyA1Dm4s9/XI1z08MxiJwWxXkGl8CN53NU9AW7ed5f2K/4cD8MX WtSnY6TuVG0nhQ8djTTntuqMxfVitFsbNS7fG4Mjyc07sQQTbyR8KQBhyx+5FyxsQPWZ/F52 DYb0/onrnAA0IRr8EIgyDuQBrcKEAxWJyvpwl6T992kpqhNTGqicL6ozk1xh9mkCfeOr0sPP RSxModnBiJ24shlZRjXyHDp4Iz+UNXdbNQLrBqbiR7Fiq5ZJdhi85hCzToiMmX7s3o/zuc9h hE7xpC2sr+MLGB19b64CBpVXtHsT/sa4SqlzaNXn8LMmpuqAo0kADIAGp3hUfOvFjsW8/XhL QeHVjMm+D+XHr/WHAnX70kDzTqHCIimLXuaPlEVwNRkXAOaK1ZWhQVSUDhykpMiFw+szdDsa w8guGBXvwep7EITkqQybkC3W3y6xk/gcjouTZmDMBdaphpP4UvYK43W7+5+GT1Z4oz0qQWML mKBYAEbaANBEkeABl3lIvyv/YyZrbjeX7PvaaKROfPU8LUNMpXAjYii2YZn4TuWY8CGP304S uY+xlIGR3dyXcLQhzQITSUT0SPLdc+S4hmmqUgV5oiy9urmXAX36M6BEbxXZJ904x2si6qZH +KdhSBhMzFXzJoJwDnExfJMuTxawzErbDSrHbka4GTWVK/KkKJNJxIWaiVrLsxH9as5209BN ISI77G9nq49hfkzBVBfUFXnkcz8fs0GLVa2M1bfDVqKPrCLdnXbhtv6aqSmRfhMnf1Z4leu7 C2DHRapbVHh33H5EgqiOuZWgGSHMQxC7cujJw11BzGrRZrjelW6KIMl1GNmh+Rt1zWTajZaa 2ElO1VEqrnahc9Bqs12AHcJrn9sLO3e3j2c8/GdMJEd9/1iHiVzketepnU80bpcqi9eFrR5n y7br9gmpF/D8KHH0j18TB9HsSpGnqqHsERkIb/e+YNJXHOC8B9F4WiLChsMrsdoEZW25fAWk 4Ge0vuscHEYqouc9NB5ZYCcMM+dNXs9LRflUCXZCgcIV3/jNG3SgVBcjODH9nCRqctyoZztl ZwSD75DAQVrRrVDUxUjRYNaZs0uB2BB8/bTlsMD6HugoQOEQcxbusqCTfeOGbD1Lz3fi7BYZ hwOyLe+LIIJN4S91VYxDzsy1InMBUfUWshA5yN7aQph6l5V/WJ0Q3cb10/kbBu353AJHPux2 BI7wFgbA6xl5HL37lE7K0Cf7jM3i1U0kM75jCq5fDPwKr+qWo5MAi/x8UQ8eMCeIU49fUi5m kpqMy3BTrRagu57dGxlvwTbvINGBf9WSaAXKA9V3/ycYO8klEhNsijyj1ES/vPLUNEx8WliO Y7ptX9L3BhvKcI4NbCFbrQc1UBe3+qH9iq4nuEpnF1HeRZLqTrDPndX4ApSb+BuMSOs+qYEA emqlzZCfnAWUPUwq/dvsE8wabzoJ8PI37NCLFirMOOFJqac/WTNx5fgqrwY2k4JkVFf+rds2 MImNUaZBRlH8Q== IronPort-Data: A9a23:yphCs6IIPwntlA/pFE+RBJElxSXFcZb7ZxGr2PjKsXjdYENS0jJSm 2seDD+CMv2CZmv3e9l3YdnnoR9TsZ7Sx4RhSwQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf0s9JIGjhMsf7b90k/5K+aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuTlCv5OVcDXEPI7IA6MsuUDlls tEhJ2VYBvyDr7reLLOTRuRtgNw5K8bxNYYa/H1tpd3bJa94EdaaGvSMvIAAmm1p36iiHt6GD yYdQSF3YQ7KbgdnNloWDookm+iyj3z6NTFVwL6QjfNovDOPkVYqiNABNvLfRN7SWZhxp3+Bn WHq5lzJDxVGafmQnG/tHnWE37GRwX2TtJgpPLax8/ovhFyI2kQIGRgOXB26p+O4gwiwQbp3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0ZjZLO+E36QeV0K3b+Q+cAy4IQ1atdeDKqucLbn8Nx m2Ir+r3OiR9neTEEVna246b+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7s5jESMWGpq w1mvBQDa6MvYdkj+4jTwLwqqz6hp57RVAk6/AzSWySp42uVhbJJhaT0szA3Dt4Zcu51q2VtW 1Bdy6CjABgmV83lqcB0aLxl8XHAz6/t3MfgqVBuBYI90D+m5mSue4tdiBknex0zap1cI2S2O BWL0e+02HO1FCvwBUOQS9LqY/nGMYC5S460CJg4k/IUM8IsJFXblM2QTRTKgTyzzCDAbp3Ty b/CL5jwUx72+IxnwSakQeoHmbgtwiE4yCvaSvjGI+ePgdKjib/8YeltDWZimchivPjc+ViIq YcCXyZIoj0GONDDjuDs2dZ7BTg3wbITXMqeRxV/J7HfcDl1UnosEeHQyr4Hcolo1fYd3OTR8 333HgcSxFPjjDeVYU+He1JyWoPJBJxflHMcOTBzHFCK33N4X52jwp1CfLQKfJ4m1tdZ89hKc 9c/df6tOM9/Egb8x2xFbL3WjpBTSxCwtAffYwuneGceerBjdSzo+/jlXAjdyy0TBQqVq/llg b2q6VvGc7U+RiBJLsXfWNSwxXyf4Fkfn+NTWRPTA99xIU/DzqljGxbTvNQWff4eCEzk6GOB9 gC0BRw4m7H8k7Ut+oOUuZHe/pabLeRuO2F7QU/Z1O+SHgvH9DOBxYRgbr65TQrFXjmpxJT4N PRn9NCiAvgph10QjpFdFYxsxqcA59fCgb9W4wBnPXfTZWSQFbJSDSia7PZLq5Fy6OdViSmuV mKL3+tqC7GDFcfmMVwWfS4OTOCI09MKkTjzs9UxBmjH5xFMwbnWanUKYiGwixFcIoBlb6Ij4 +Mq4/AN5yKF1xEFD9ehjwJvzVqqEEAuaascm68/PJ7KkSsuk1FLXozdAHT54baJcNR9DXMpK T612ovHvbBV+RfdeH9iE3PI8/ZXvskNiitr134HHUyCwfDet8803TpQ0DU5dRtUxRN5yNBOO nBnGkl2BKeW9RJquZRzZH+tEAR/GxGpwEz95F8Xnmn/TUPzdGjyAEAiGOSKpmY1znl9e2VFw bSm12rVazbmU8Xv1C8UW0Q+ifjCT8R0xzLSivKcAMWJMJkrUwXL2pb0SzIzlCLmJsctiGnsh +pgpr9wYJKmEx8gmfQwDo3C2IkATByBGnd5fshg26E0BkDZRiC53GmfCkK2e/4VHcfwz22DN 5VMKP5MBjOE7wTfihAABKUJHa14o+5x2voGZYHQBDAnt5mxk2NXlaz+pwbCgF0ledFMqfoGC 5jwcmuCG1OAhHEPlG7qqtJFC1WCYtIFRVPd2dqx+dpUCJkG4edndG8u2IDpvEeuERBG+iiMt 1jpfJ7mzO1FyKVtkbDzE65FOR6GFNPrWMmM8yGxq95rb+6TAfzRtggQlEbrDz5WMZQVRd5zs 7aH6/zz42/oo5c0VDr/t6SaNqwU+/i3YvVbAvj3IFZegyGGfs3muDkH2mKgLK12gMFv3damS yS4efmPW4YsAfkF/0Jsag9aDxo5IIb0ZP25pSqC8tK9OiJE2gnDdN6a5XvlaF9ATRAxOrr8N xTVvsi/7dUJvaVOAx45X8tdOaFaG2O6e6UadIzWjwK6X1mY2gbI/vOokBc78jjEB0WVCMuws 9qPWhH6cw/0o63Sis1Qt4tppBAMEXJhmq8Kc1kA/8JtwSWPZILcwT/x7b1dYn2VrsDz6H08T D3AbW06EyLyRz1BdFPw7bwPmy+BU/cWNI6RyiMBpiuph+WeXetsw4eNMg9s7nZwYiHkw/uuL NRY9nCY0t2Z3MRyXehKjhCkqb4P+x4Zr07kPWjxns30GwwZDq8D0XknEAcluekr1S3SvB2jG FXZjlyojK12pYAd3Cqgl7No9MklgQ7S IronPort-HdrOrdr: A9a23:q2IbUqOB3SDtrMBcTtqjsMiBIKoaSvp037BL7TESdfUxSKalfq +V8sjzuSWYtN9zYgBCpTnjAsi9qBrnnPYf3WB7B9iftWfd1FdAYLsD0bff X-Talos-CUID: 9a23:89QjmGMr60nbN+5DZQIk014mG/AcbELF3lqJcheTTktQR+jA X-Talos-MUID: =?us-ascii?q?9a23=3Asjg46Q0y4T80l0+ce3YRc/az5zUj6ZqsUFxQtaw?= =?us-ascii?q?/ovKHGTVICzqZ0GmSTdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.09,245,1716242400"; d="scan'208";a="177345230" X-MGA-submission: =?us-ascii?q?MDGHDb1w/RtWRJc7awcTcPq9DtyEXLWgpHut5q?= =?us-ascii?q?/Gk9Ug2tfD3OaqmWXyWHc9lU2PpOkb8PoIW/GqWBizvlWcsDk7cfhRGI?= =?us-ascii?q?PxPk5Rl6Ezhempr9tclhUS+C9/77oO4duUljoWv3OOLrydIJIR2e63WV?= =?us-ascii?q?8wVb1tl8XJ1w0WRbaaXk6dgg=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; 29 Jul 2024 11:17:11 +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 ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 860A0855B0B; Mon, 29 Jul 2024 11:17:09 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1722244629; bh=MZwYvTCmXIcxy3YkE69ShafQ5KHHWkwPjCiKkO7tMXM=; h=From:To:Subject:Date; b=GQUGKQQokOsT8UlWnguuTazvsP1FfvVGDu/pR6FkMtIEyujF3e+GXpFAUz2PEdnVd AYqqS/nkmGeXqL705ZHUsqNxPcAPbQJISZbNY3un43mkwZKyyN2WWn9dI7UiU+H5XX 35NpWJy3e5Hn4ROxReXWd73M6G9GwPrmKx0boBTY= From: Michael Sperber To: users@racket-lang.org, caml-list@inria.fr, haskell@haskell.org, haskell-cafe@haskell.org, "ghc-devs@haskell.org.types-announce"@lists.seas.upenn.edu, fun@cs.nott.ac.uk, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, agda@lists.chalmers.se, lfcs-interest@inf.ed.ac.uk Date: Mon, 29 Jul 2024 11:17:09 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] Call for Participation, Functional Software Architecture (Sep 6, Milan) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19164 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: ====================================================================== *** FUNARCH 2024 -- CALL FOR PARTICIPATION *** The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 6th September 2024, Milan, Italy Co-located with ICFP 2024 https://www.functional-architecture.org/events/funarch-2024/ ====================================================================== BACKGROUND: The ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large aims to disseminate and enable the use of functional programming in the large and long-lived software projects. We specifically want: - To assemble a community interested in software architecture techniques and technologies specific to functional programming; - To identify, categorize, and document topics relevant to the field of functional software architecture; - To connect the functional programming community to the software architecture community to cross-pollinate between the two. We'd love for you to be part of this effort. Whatever your background, you're welcome at FUNARCH - to listen to talks, report on your experience, and interact with others that share our goals. See you at FUNARCH! REGISTRATION: You can register for the workshop via the registration page for the ICFP conference, but there's no need to also register for the conference. Reduced fees are available until 5th August. http://icfp24.sigplan.org/attending/registration KEYNOTE: Architecting Functional Programs Marco Sampellegrini ACCEPTED SUBMISSIONS: F3: A Compiler For Feature Engineering Weixi Ma, Arnaud Venet, Junhua Gu, Subbu Subramanian, Siyu Wang, Rocky Liu (Meta) Daniel Friedman, Yafei Yang (Indiana University) Design and implementation of a verified interpreter for additive manufacturing programs Matthew Sottile, Mohit Tekriwal (Lawrence Livermore National Laboratory) Applying Continuous Formal Methods to Cardano James Chapman, Arnaud Bailly, Polina Vinogradova (IOHK) Continuations: what have they ever done for us? Marc Kaufmann (Austriae Central European University), Bogdan Popa Bidirectional Data Transformations Marcus Crestani, Markus Schlegel, Marco Schneider (Active Group) PROGRAM CHAIRS: Mike Sperber (Active Group, Germany) Perdita Stevens (University of Edinburgh, UK) PROGRAM COMMITTEE: Annette Bieniusa (University of Kaiserslautern) Jeffrey Young (IOG) Will Crichton (Brown University) Isabella Stilkerich (Schaeffler Technologies AG) Kiko Fernandez-Reyes (Ericsson) Ryan Scott (Galois) Satnam Singh (Groq) Facundo Dominguez (Tweag) Ilya Sergey (University of Singapore) Martin Elsman (University of Copenhagen) Benjamin Pierce (University of Pennsylvania) Matthew Flatt (University of Utah) Nada Amin (Harvard University) Richard Eisenberg (Jane Street) WORKSHOP VENUE: The workshop will be co-located with the ICFP 2024 conference at the Milano Convention Centre, Milan, Italy. ======================================================================