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=mV4JsbvB; 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=KMSx1sWp; 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 37123400B8 for ; Tue, 25 Mar 2025 19:14:46 +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:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=9BhYa2JlDKmTLykyiHlWDkX6tTJ6R8apAnq3kMOOBg8=; b=mV4JsbvBNjIHqZ2MaAg1nbbsgB61k5E8LaHkW4YMo+zj9/5+YM/Gsm14 SChkv4b97bRPGdfZd8poqTKOpF6GVXNtLeHnY79y6sfzo9eOgGm6r50K6 ByUWSb4x9xyEKciYAa60++PBvu02uloVQPLlJddRFrgK+j/qd7ejPnhrs 8=; 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.14,275,1736809200"; d="scan'208";a="214737042" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Mar 2025 20:14:45 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 806EBE0D21; Tue, 25 Mar 2025 20:14:45 +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 32626E007A for ; Tue, 25 Mar 2025 20:14:43 +0100 (CET) IronPort-SDR: 67e300a2_OvP5+Jb9cmD1YCMgPQW6Agw3NjlLu6MN6/xrIaE6Rw+8m3j lhxpZ2T9oymYBzKLKQi8HdEl0g6huZN5OxKVhhQ== X-IPAS-Result: =?us-ascii?q?A0HROQAv/+Jn/9Oqd6hQChoBAQEBATwBAQEBAgIBAQEBA?= =?us-ascii?q?gEBAQEDAQEBAYFoAoJCB3ZaESIHCEiIJKw5gX4PAQMBDRQCAQIOEggBAgQBA?= =?us-ascii?q?QMBA4IMjhkCHwYBBDAJDgECBAEBAQEDAgMBAQEBAQEQAQEFAQEBAgEBAgQGA?= =?us-ascii?q?QKBChOFew2CWzuCFiwNgSEjAQEmEicFDzQBBDQ7gm+CZAMEDbE4gQGCDAEBB?= =?us-ascii?q?oEIPgWBHdsdAwaBSAGITwGFbIUeG4INgRWCeYF0gVwBgTR6hXeCHBeBO4Jjg?= =?us-ascii?q?QyHHIR9hDSES4UygnGNWoFNHANZLAFVExcLBwWBbAOBD4FFQziCRGlJOgINA?= =?us-ascii?q?jWCG3yCKIRMhD6EP4VQghGCBIIwhnqEXS1PgwkdQAMLbT03FBukNDuFJleBU?= =?us-ascii?q?bIwlRKCP4FmBYRqnSaXVJMDmH6pM4FnPYFZMxoIHBSDIk8DGQ+OOIQWhGC/C?= =?us-ascii?q?0I1PAIHCwEBAwmFRAEkEwuKFYFLAQE?= IronPort-PHdr: A9a23:4CJjIBZUe0tHMRAW6ztZVYf/LTE72oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wWPBd2Qsqwf17eempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb61+I A+qoQnNucUanIpvJ6g+xxbJv3BFZ/lYyWR0KF2cmBrx+t2+8Jl//SpOpvkv7dRAUaL0f6Q5S bxXEjErOH0r6cPoqBfOUxKB6mMTXWsKnBVIBRPF7AzhUZfqriT6rOt91zKEMsDwULs5RC6t7 6ZvSB/vlScHKzs0+3zZh8BskK5Wpg+qqhpiyIDWfY6VLuJzcKPDc90HS2RPXcheWCNdDY6nc 4sDE/AMMfpEo4Tnu1cDqwa1Cwm2BOPozz9Fnnj43awm3OQhCw7JwgggFM8TvnTMstr1LrwdX v6vzKLVyjjDdOtW1inn6IfTbB8hu+qBUq9ufsrQz0kvDxnFjlKfqYz/JTyV0+ENv3KG4OV+T O+ijXMspA5trDa13MgslpXJiZwPylDC7Sh13Jo5KNm2RkN0Y9OqHplduj2HOoZ4X84sQ2Flt ikkxrEYpJK3YjQGxIknyRDRaPGJfYyF7BztWuqPLjp1gHNodbSijBi89kigz/fzVsiy0FtSo CpFj9/MuWwR1xzS7ciHTOFy/kO41TmVzQDc9uFEIUEolaXFN5Eh3qMwloANvkjZGS/2gkr2g amLfUsn4uil8/nrb7Tlq5OGKoN4lwXzPr4zlsG9Heg0KBYCU3WG9eik17Du/Vf1TKhJg/A4i KXVrp/XKd4GqqKnHgNY1Jso5gi7Dze7y9QYgWcILEhYdhKGjonmJUnDLOz+APyimVqjii1ry OrDPrD5ApXCMHzDkLD5cLlg9UFcyQwzzchF55JTBbEBOuj8Wkr0tNDCExA2LRS4w+fhCNpjy oMTQX+DD66aPa/IrFOE++YiL/ORaIIXpDrxMeYp6+PzgXMhnF8SZ6ip3Z8ZaHCiGfRmJl2UY WH0gtgfC2cFpRQxTPbxhVKfTzFTZnCyX7om5jE8B4KmF53MRoWogLCbwSi0AIVaZmZdBV+UC 3fna52EW+sQaCKVOsJtjyQIVaK9RI85yRGuqAj6xqJ7IeXO/y0YsYvv1Nx05+3IiRE/7id0D sSY02GVVW54hGIIRzks3KB+u0Nx0FmD0bIry8BfQNda4vcMVgYhKbbdyfZ7Apb8QFHvZNCMH XOnSdWvDDV5dco82dUDeQ4pAM2vlBrOxQKmDr4Tj6aMC4Y996ea03WndJU18GrPyKR01wpue cBIL2Dz3saXliDWDo/NyQCCkrqyML4b12jL/XuCymyHuAdZVhRxWOPLRyNXfVPY+PL+4E6KV LqyEfI/KAIU0taPMKFHcPXlgFRAXO3kN87XZmf3l2rjTQ2QyOa0ZZHxM34YwD2bDUEFlw4J+ nPTLhAzHC2suUrSAT1oDUjobFnl9Ow4pH7oBlQswVSyZlZ6n6Gw5gZThfGYTKYL2akYvS46t zhuNFqw3tTOEd2PvQNkeeNQbLvR+X9h0mTU/0x4N52kdeV5g0IGNh5wtAXo3gl2DYNJlY4rq mkrxUx8M/DQ1lQJbD6e0Z3qX9+fYmDv4BCibbLX0VDCwZ6X/KkI8vExt1TkukmgCEMj93xt1 9Qd3WGb493GCw8bUJS5VUhSlVAyvKnXeCMw/avY2HxqKbOzvSXL3tdvCOZkghesctFDMb+VQ RfoGp5/ZYDmI+grll61KxMcabkMpOhtZpLgLqTenvTyZbUF/nrul2lM7YFj31jZ8iN9TrSNx JMZ27SC2QDBUT7gjVCnu8SxmIZeZDhUEHDsrEqsTINXeKB2ep4GTGm0JMjijM5mioTnVmRw+ FOiAUsc38CzcB+XKVDwl141twxfsTm8lC20wiYh2Soxo7CV0Tbmz+njcgIdPWFRTWxny1vha 9vR7ZhSTA2jaA4nkwGg7EDxyv1ApahxGGLURF9BYyn8K2wKvrKYjrOZeIYP7ZoptX8SS+Gge RWATbW7pRIG0iTlFm8YxTYhdjjstI+r1xB9jWucKj50oh+7MYlr3RrF7tHGbfJc3zweXi53k zDSAx6wMpGl8M6VmJHKru2lHzv/BtsKKHitlNzY8nHivCVjGnjd17irl8fiEBQm3COzzNRsW SjS7V79boTty6WmILdid0hsCkX77pkfeMk2mY8xiZcMnHkC08zLrTxeyDa1aIoDn/inNSloJ 3ZD2dPe7Qn71Vc2K3uIw9i8TXCB2o57YNL8ZGoK2yU75sQMCaGO7bUCkzEmxzjw5Q/Xf/V5m S8QjPU073tPyfoRtRAnwz+1Dr0TG1FCOiP2nhGNqdyz5vYyBi7nYf2r2UxykMr0RqqarxtWV WzRdpojGzdq6cplOVfJlnH+oNKBGpGYfZcYsRualA3Fhu5eJccql/YEsiFgPHr0oXwvz+Nox Qwrx5yxu5KLbnl85K/sSAANLSX7PolAn1OlxbYbhMud2JqjW4lsCileFoW9VuqmSXob/fH3f weWTG9l9CfdQOOOW1bAsAE89iuHBZmvMzv/yGAx9dx5X1HdIUVehFpRRzAmhtsjEQvswsX9c UB/7zRX51jiqxIKxPg6fxX4V27eok+vZFJWANCHKwFK6whZ+0rPGcCT7+RrBSZX5JSkqUqBJ ySXah9JAmcARkGfTwm9bv/3vIiGqrfAQLDndrPHetDs4aRGWu2NxI6z34cu5DuKOsiVfzFjA /A9xktfTCV5FsDeyH0ETy0akT6IbtbO/UnsvHQu/4bmr6ytAlu2tu7tQ/NIPN5i+g67m/KGP u+U3mNiLCpAk4kLzjnOwaQe21gbj2dvcSOsGPIOr32oLuqYl6lJAhoccy42OtFP6vd2xRFAI 8TWkPv5279+luQyBE1MUFmnlszjNqloaymtcUjKAkqGLuHMPTrQ38T+er+xU5VcgeRSrwe3t iySFkqlMjnJxFyLH1i/dOpLii+cJhlXvoqwJw1sBWbUR9XjchSnMdVzgG5+0fgui3jNL2JZL SlkfhYHsOiL9S0ByKYaeSQJ/j9/IOKDgSrc8+TINsNcr65wGiot3+sS5WRyyqMJvngaFLosw XqU94E25Qv/y6GZwz5jGnKmSx5HiYONpV9lNr/Q85wGVXuWpXrlCE2cBhUMv8FiBcfmvqUWx tWdzMobxx9O/tPS5dEbCNLdLcfBPHdzaHLU IronPort-Data: A9a23:xhElfqiZqt5hZ9Cnm6Gmz13pX161UxQKZh0ujC45NGQN5FlHY01je htvDG6HbveCZGSjLt0lYIji90lSupTTzIdnHQdtrSE1FipjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtIg06/gEk35qmq42lF5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGAR0pIcoY+/ZNIGxTx flfeGktdFOkrrfjqF67YrEEasULIMTqOpsFvX56xDTcS/orKXzBa/yUtZkBhWZ2358WW6yHP qL1ahI3BPjESwZXN00dBYgWkOqpgGHldDJCoVeQ46Y6i4TW5FYojOe2b4KPJbRmQ+0EukCRn XnCz1jTIQNEG9WykSS5+V2F07qncSTTAdxMSOPQGuRRqFaaw2hWDBwNSXOgsPyhgwi/XcheI goa4EITQbMa+EGqSMHnWBKiqXuB+BIRMzZNLwEkwAzR1baT4weJPEkJUw5EL4x/lNV1YhV/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApwYkqNXZsoewts4OLnW0jsi8jWOqPB4aZo7XI9dzYz z2LqjAkgLoJhMsOkam2lbwmv95OjsOVJuLWzlyJNo5A0u+eTNf1D7FEEXCBsZ59wH+xFzFsf BEswqByFtwmA5CXjzCqS+4QBryv7PvtGGSD3QQ/Q8B5pmX2pSXLkWVsDNdWdB0B3iEsKWSBX aMvkVoLuMQDVJdXRfQtOdruUJpCIVbITIu4DamKBjaxXnSBXFbZon0wDaJh92DgjFoqnLt3P pGfcMChRX8VYZmLPxLmL9rwENYDmEgD+I8kbcyjnk/3jODANSf9pHVsGALmU93VJZis+G39m +uz/ePTo/mGeLyhPnvk4sQIIEoULHM2I5nzpoYFPqSAOwdqUiVpQfPY3bprKcQvkrV3h9X42 Ci3enZZ717j2lzBCwGBMU54ZJ3VAJ1QkHMcPA4XB2iO5UQNW4iV0fogR8MFRoV/rO1H5txof sYBYPSFU6huSCyY2jEzbqvdjY1FdTaotz2KIiGFQiYNJLxgTTOR5+3LQwrL3wsNBxqRqsERj eCB1ATaYJxbXCVkLp/cR8yOxmOLn0o2ubxNTWqRBfcLY2Tq0oxhCxKpv88NO8tWdCnynGqL5 TiZETIzhLfrobZs1PLrmKrdjYOiM9UmL3pgB2OBsIqHb3jLzFGCn71Ffv2DJw3GdWXO/66nW +VZ4tf8PNADn3dIq4BMKKlq/41v++rQo6Jm8So8EEXpd1iLDpZSEkuC1+RLtYxPweZ9kimyU USt5NJbGOuoPOXILV0vHzcmP9+zjawspjrv7PoOMBrb4g1z9+G5Skl8BUSHpxFcC7pXC7kb5 9kdlvQY0CGBryY7E82ni3lU/lucL3ZbXKQAsIobMbDRiQEq6w9jZKbYAxCr/5qKOtNHN2c2K ATJh5j5pq99w3DaeCEZDkn93ut6hLUPtitVzVQEGU+7p9rditIz3zxT6T4STDkJ/i5Y0ul2B HdnB3d1KYqK4T1sospJBEKoJC1sGzyb/RbX52YStWiEUXStaHPBHFc9NcmJ4kod1WBWJRpf3 bOAzVfaQSTYR97w0gQySHxahaTaF/IpzTL7meejA8ihNLs5a2C8gqaROEw5myG+CsY13ED6t e1m+dhrUpLCNAkSnrYaDreL3rFBWTGGI21/Gctaxp0rJl2FWj+O2mmpEXuTK+dtPP3B9HGqB /N+fvxvUwuM7wfQjzQ5K5NVHZpKsq8I3vQgdInvB1Y6iJqEjz8wsJvv5in032AqZNN1kPcCE IDadhPcM2mqgXJrxnDGqZhCMW+WfdM/OQ7O58Gu0eAzD5lYmvpdQUIz9bqVvnuuLwps+SyPj j7Df6P7y+9Dy5xmuonRTpV4GAS/LO3sWNSy8Ayct8pEafXNO5zsszw5h0bGPQMMG5csQPVyy KqwteDo0HP/vLoZV37Tn7+DHfJr4eSwRO9mDdLlHkJFnCetWN7e3DVbwjqWcad2qdJ64tWrY yCaa8HqLN4cZIp79U1vMiNbF04QNrTzYqLevhiClvWrCCUG8An5PdiipG7Ib2ZaS3cyAKfAK DTI4tSg2tMJi753Jk40N6kzSdswalruQrAveNDNpCGVRDvgyE+Lvrz50wEs83fXA32DC9z3+ o/BWgO4ThmppaXU15tMhuSeZPHM4KpV2oHcv37x+uKaTxi2AW8ANf4aPo8PD5QSniGaOFTQe mTWdGV7YcnidW0sTPk+yI2LssSj6igmNtr4ICQz+EyOYiKzQo+NaFek3jk1+G94I1MP08n+Q ezzORTM0tyZzpxoQ/4J4fOhiOJigP/Xrp7NFYYRjOSqaysj7X42OLCN0eaDueEr0y0AqakTG VUIeA== IronPort-HdrOrdr: A9a23:yX8hrar3RsNlUyo/TC94hvIaV5ooeYIsimQD101hICG9Ffbo8f xG/c5rsiMc7Qx7ZJhOo7290cW7L080jKQFhLX5Xo3SODUO2lHYT72KhLGKq1fd8hHFl9K1vZ 0NT0EUMr3N5DZB4voSmzPIceod/A== X-Talos-CUID: =?us-ascii?q?9a23=3Al3JrIGnn/JsRnloKylJuTMkAlwTXOXCB02uXI06?= =?us-ascii?q?oM0dkVY2QDg/J2LkntOM7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AuJtUcg3d+xjPKS+a7PRg6ASqzDUjsoCoAXsWlaU?= =?us-ascii?q?6keqWawN5Fm+DsD+Ya9py?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.14,275,1736809200"; d="scan'208";a="214737027" X-MGA-submission: =?us-ascii?q?MDEdUGM5uHnK6jRHwdIxu27DahMhl706iqc+GJ?= =?us-ascii?q?um/+MISzqhkoBcGoU88661JrSksORs43S+G4oJ8klocdAgcZyj5yB6D0?= =?us-ascii?q?o93FsUiSxG7CHY/APAOSIOxNZ+CdnplBSCZvqmD+Oo5iagGdRoyp5/kz?= =?us-ascii?q?v+gyFefgUXa/XFJ1XD5heOgg=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; 25 Mar 2025 20:14:42 +0100 Received: from Mac (unknown [85.183.24.121]) (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 559DC855B49 for ; Tue, 25 Mar 2025 20:14:41 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1742930081; bh=UA94BcrHGMFhUYC8fRWa4moElbD30nyxMHJGraPyJQo=; h=From:To:Subject:Date; b=KMSx1sWpRSsa0jZZvDkIXmocNUmG9W4EHoXYYgfqv+8lm/hcSV90yxtJXfHiWKdBm Mn14w8gKlcPrbHRWeo9tWVomjtmlA8BLAQrvIAi6ePJkL3RIBVhg32v+A9evaY5hmu CVc9/iV7HCk+29sPp1RsvjY5Nk0z3p0rr/KurQDc= From: Michael Sperber To: caml-list@inria.fr Date: Tue, 25 Mar 2025 20:14:40 +0100 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 (Oct. 17th, Singapore) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19284 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 2025 -- CALL FOR PARTICIPATION *** The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 17th October 2025, Singapore Co-located with ICFP 2025 https://www.functional-architecture.org/events/funarch-2025/ ====================================================================== 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. KEYNOTE: TBD ACCEPTED SUBMISSIONS: TBD PROGRAM CHAIRS: Jeffrey Young (Active Group, Germany) Christina Rizkallah (University of Edinburgh, UK) PROGRAM COMMITTEE: Isabella Stilkerich (Schaeffler Technologies) Ryan Scott (Galois) Facundo Dominguez (Tweag) J. Garrett Morris (University of Iowa) Nada Amin (Harvard University) Tom Ellis (Groq) KC Sivaramakrishnan (IIT Madras and Tarides) Hidehiko Masuhara (Institute of Science Tokyo) WORKSHOP VENUE: The workshop will be co-located with the ICFP 2025 conference at the Marina Bay Sands Convention Centre, Singapore. ======================================================================