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=HsmtG/Jp; 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=hQeEN9xQ; 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 8365FB80123 for ; Thu, 23 May 2024 08:51:17 +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=ngR0hH9xw+mlxHRG09QHgZpceRgZoz31yViPUrmpc24=; b=HsmtG/JpuS2GG26yhHw5RvDznUcy9UfZ2G9Z6E9rgDUV3DW4DtJhDS32 ks2TtKNWkP1zX5+UVufkQ8g+sPW+8NomPszIen0/yL2bxWR8NErdG2hlG LAy19Jg4TOUeBzgypGIT01FQMEQZzXovUwdREdvyinHN2uo6Fek9UMqs4 4=; 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.08,181,1712613600"; d="scan'208";a="167015223" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 May 2024 09:51:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B0C52E0CD2; Thu, 23 May 2024 09:51:15 +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 A7DF3E00B7; Thu, 23 May 2024 09:51:13 +0200 (CEST) IronPort-SDR: 664ef570_dSo6ATXWF3x08joPeE7wK1lno1YrXeIk5bj/9s/ACcVyA48 e2Ksg0zyuUpIXtrpdblIV2nxags/rXjmz6HDFfA== X-IPAS-Result: =?us-ascii?q?A0EwFQCj9E5m/9Oqd6hQCg4OAQEBKwsGAQEEBAEBAgEBB?= =?us-ascii?q?wEBgWQCgkIHdVoRIgcISIglhS2Ibpw3gWqBLD4PAQMBDRQCAQIOEggBAgQBA?= =?us-ascii?q?QMBA4ILizsCHwYBBDMGDgECBAEBAQEDAgMBAQEBAQEIAQEFAQEBAgEBAgQGA?= =?us-ascii?q?QKBBhOFdA2CYDtrYwg6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQETAg1cQyMBA?= =?us-ascii?q?SYSLA8TIQEENBUSCQuCbYJkAwQNsXqBAYIMAQEGgQg+Bdw1CYFIAYgtAYV8h?= =?us-ascii?q?EAnG4INgRWBfCyBQIJhAQMYgREBBwsBhmWGMYgTgxFBgVSBHoEIR2CCNBGCJ?= =?us-ascii?q?4ENgkMBdIEqgxSHRIFRHANZIREBVRMXCz4JFgIWAxsUBDAPCQsmKgY2AhIMB?= =?us-ascii?q?gYGWTQJBCMDCAQDEDIDIHERAwQaBAsHdYMlBBNEA4EUIwaJbYMTAgUhBIIcg?= =?us-ascii?q?SWCekuCCQKCZ4F2DmGEWIJQc4FzgUeBXx1AAwttPTUGDhsopTOCZYETJgwzI?= =?us-ascii?q?wEvXQUHBTQTBBwPAigNLZJEsTqBPII9gWCEbIEghgKVbYQFjH+GQ5JumGMgj?= =?us-ascii?q?VaVRBWFO4F7J2lwMxoIHBSDIglGAxkPV5F3hGGKILsTQTU7AgcLAQEDCYVEA?= =?us-ascii?q?YNdgUgBAQ?= IronPort-PHdr: A9a23:gzLK8xS8UxmUnEn++g3C4XrIytpsokmWAWYlg6HPa5pwe6iut67vI FbYra00ygOTDMOBta8P0rCP+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba12I Rmsswnct8kbjYR/Jqov1xfCv2dFdflRyW50Kl2fmArx6N238JB/7Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nQTTmsZnBxIAxPY7B7hRZf+rjH6tutm1yaEO8D9UK05Vi6j7 6dvTx/olTsHOjsk+2zZlsB8kKRWqw+nqhdiwYDbfZuVOeJ+cK3DYN0US2lPUcheWCNdGY68c 5cDAvAdMepEtYTxu10Dpga+Cwm2A+PvzydFiHj33aIm0+QuCx/J3Ag9FNwTqHTbss/1O7wMX uCv0aLFyi7Db+tI1jfn84fHbAohrOqRUr1ucMrRz1EvFxnCjlWfs4zqJTaV1uEXv2eG8eVtT OSigHMopA9tuDag3NssipXXiYIPzFDJ7SV3zYc2KNC6SEB2f8CoHZRUuiyaN4V4TN0vTmVmt Ssn17EIuZ22cSgExpkpxxPSaf2KfomJ7xztSuucPSt1iXJjdbmiiRiy9k2gxff9VsmyyFtKo DdFkt/QuXAR1hzT7c6HReF5/ku4wzmPzRzc6uFFIUAoi6XUN4IhwqMqlpUNq0jDGTX2mErug KCIbEok4eip5PjnYrr8p5+cLZV4igbkMqQhgsC/GuU4MgcWX2if4+u80qfv/UrjQLVFiPA9j 6rXsIjCKMgGp6O0ABVZ3ps+5xu7FTuqzdYVkWUdIF5bZR6LkpDlN0zBLfzlF/uznUqgnThxy /zYMLDsAo/BImXenLv9e7t29lBRyA4uzdBE+5JbFKsBLu/yWk7wqtPVFgM1PgqpyOj9Etp9z JkRWWeXD6+ZLqzStViI6/oyLOaSZY8Vvi79K+Ii5/7hl382g1odfayz0ZQKdn+0BvVmI0OHb nrwmtoNDGYHswkkQOD3lVGPVSRfa2uwUq4g/D03Fp+qAZrbSoComrOB3SO7HpNMZmBBD1CBC Wzod52aVPcWcy2dPNVhnycZWre/So8h0wmutBX9y7poNOrb4CgYtZf52Ndo+eLfjRcy+idsA MSHz26NV310nn8PRzIuwqxzuVZ9xUub0ahkn/xYEsRe6O9TXQc/MZ7Q1uh6C9HpWgLdZdqJU 1anQtC+AT4rVN4xwtkOY1x8G9q4lBzD0TCqD6cPl7OXHJw07r7c33/pKslhzHbGzbAtgEUiQ stSLmKrnbV/9gjWB47RiUqVjaeqdaIG3C7M7miP12SOvFsLGDJ3BLjeUGoETlHfptf0+gbGR rmhT7M9PU8JwseHLu5Oa8b1pVRAXvbqftrEJyq+m2z1CRuW3ZuMZZHpdmEZmiLHBwxMjxEL8 G3DPA44ATqnqG/2CD11CUmpeE7l6q9jsH69SAk5wxzOJ0N80ZK+4VgTguCADfoYmK8H/G8os y1vEVOV29PNF8HGuwF6OqRSYJU55UoB2W+d/wd6J9mrK71orl8YaQV++U30k11+BYlJucwrt 28xigFyIKad3UlaMSiVjr7qPbiCD2j5/Bmib+btwlzE2tuMsvMU8PkioVj5lA2kF0w66XJoy dBQ1j2Q68OZX0IpTZvtXxNvpFBBrLbAb3xlj2u1/XhlMK3u9yTHx8psHuwujBCpY9ZYNqqAU g70CcwTQca0e6Qxg1b8SBUCMahJ8bIsedu8fq6dwKOxNut6tD6rjGJf+odyyEuJ8mxwR72Ax I4LlsmRxRDPTDLglBGku8Hzl5pDYGQJBmelwyX+LIJcZ6tqZ4EEE26rJou7y4Y2nIbjDkZR7 0XrHFYawImpdB6VOkT6xhFV3F8LrGaPlSa5ySRulD4zp6+amiDDqwj7XDwAPGMDBGxrjFO2Z JOxk8hfRk+jKQ4giBqi40/+galdvqV2aWfJEw9OeGDtImduX7HV1PLKatNT6J4urSRcUfitK VGcRLnnphIG0iTlV2JAzTE/fjuut933hRt/wG6aKX9yqjLed6QSjV/E/NHGT/NL9jYLRS9gk z7YHFG5Op+l8JTclpvOtPy/S3P0TodaIkyJhcuLsCq243EvAAXqxq7j3IS+QE5jjne9jYAzB kCq5F7mb4Lm1rq3K7did0hsXhrn7tZiX5t5mc02jY0R3n4TgtOU+2AGmCH9K4Y+u+q2YXwTS DoM29OQ7hLi3RgpNWqE3Yj0TF2Rz8pnf8O9bXkf3yd7480AW8L2pPRU2DB4pFa1t1ebeuBwh D0Q09Mi5X8cm/sOtxAkyyDbDr1YTiw6dWT80h+P6d65tqBeYm2iJKOx2ERJltekFLieowtYV R4VY78aFDRrpoV6OVPIijjo7538PcPXZpQVvwGVlBHJi65ULogwn7wEn3gvNWX4tHwjg+k16 H4mlYqisZKNJn9F8K+4BAZCMTLvbsYWvD3gxapThceZ2YmzE44pQ2tbGsKxHLTxT2pU762+f w+VdV904m+WA7/eAROS5A99onTDHorqf3CbKX8FzMlzERyUJUhRmgcRD1BY1tYyEgGnwtCkc V8sv25BoAeh+10VlboubUCmAQK97E+yZzw5SYaSNk9T5wBGvQLONNCGq/h0FGde94GgqwqEL iqaYR5JBCcHQB/hZRirM7+w6N3H6+XdCPC5Kq6Eeq2Ds+ZTTd+EyJOpypFh8CyFM8DJMnQoX JhZkgJTGGt0HcjUgWBFUDQajSjAdeaXqRa64jdwodq29fGtVA+ltu7tQ/NCdN5o/R6xm6KKM eWd0T14JThv3ZQJ3XbUybIb0Q1am2R0ejKqC7hFqT/VQfeahPpMFxBCIXAWVoMA/+cm0wJKI 8Kelt7lyusykKsuE1kcHVWpn9HhZNRWcTjjZBWeXRfNbeveY2eSmonhaKe4A9W8lc1svgar8 XaeGk7nZHGYkiXxEgqoOqdKhT2aOxpXvMe8dAxsAC7tVoCuZhq+Od5xxTo4pN98zmvNLnIZO CNgflllorCR6ztChfplEmlEqHZoZeWJgCeW6eDEJ41e6KU7RH0txqQDvyx8keIMpChfIZ490 DPftNtvv02rnqGUxzxrXQAP4jdHiYSXvFlzbKXU8p4TEX3A/R8L8SCRE0FT+YsjU4S+/fkPk p6VzfugTVUKu8jZ9sYdGcXOfceOMX57dAHsBCaRFgwOCziiKWDYgUVZ1vCU7Hyc6JYg+f2O0 NIDTKFWUFstG7YUEENgSZYZOJptVD4+ubKWjcgQ/32xthDUQYNWs9qUM5DaSeWqMzufgbReM lEQxqjkKI0IKoDh80Bva19ihoPFAUPVWJZBr2cyC2186FUI+394QGop3kvjYQ74+34fG8m/m Rsugxd/a+Agp3/8pk06LV3QqG4sgVE8zJ/71CuJfme7f8LSFclGTjD5vE8rPtbnThZpOEesy Fd8Om6MTvpUn/NhbTw50VGM/8IWSLgFEvUCOkZJjeeeY/Fiuby5gimqxElf/+zKE5JnkU0mf Mz0x5qv8w5ubdgtP6vfPqNMyx5ci/DX1sdJ/uw8wQkGPUEC6mqXfWgEtR5RXoQ= IronPort-Data: A9a23:+7T/IawliPI8oKdoHVt6t+f8wirEfRIJ4+MujC+fZmUNrF6WrkVTn GUeDD3VOqmJZmKjfYhyb47g9kNUvJbVmt9kSAA5rFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg24c3l48sfrZ9Esy5q6q5Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPT+80zT1ozErcj0aFlOUAe/ +wqDRokO0Xra+KemNpXS8Fgi8UlNNPsM5kWv3QmwTyx4fQOGM6TBfyTtJkBg2923JkXdRrdT 5JxhT5HdwzNeRdCIH8bBZM4hP2viWP2djgepF/9Sa8fujaMlFUsiuC0WDbTUuzRXstEg2+4n VDH9nnBOg4hNMGm2xPQpxpAgceWw32nBur+DoaQ/fdvhBiXx3cPIAYHUEOy5/i/kE+3HdxFQ 2Qf/TNrpqwv/mSwX9zlVlu5pmSFt1gSQbJt//YS5AyMzLLO5AmDD20BCDJMADA7iCMobQMS7 gLKhNbGPwdE96+taCKX5oWxhxrnbED5MlQ+TSMDSAIE5fzqr4cykg/DQ75f/Eid3oSd9dbYn GDikcQuu4j/m/LnwI2X0Dj6b9+EqpXISBYv4QrNV2egqA90DGJEW2BKwQOEhRqjBN/HJrVkg JTjs5LHhN3i9bnXyESwrBwlRdlEJ5+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42a5hYIWK3O xSC4Fw5CHpv0J2CPfUfj2WZW5xC8EQcPY2/BqyJBjazSsIgLlLXpn0GibC4jz+zzBlEfV4D1 WezKJjyUShy5VVPzDeqVeEQy/cswCQ/w26bTJ+T8vhU+er2WZNUIJ9bWGazghcRtvjc8V6Eo ogBb6NnCXx3CYXDX8UeyqZLRXhiEJTxLcmeRxV/J7HfcDl1UnosEeHQyr4Hcolo1fYd3OTR8 333HgcSxFPjjDeVYU+He1JyWoPJBJxflHMcOTBzHFCK33N4X52jwp1CfLQKfJ4m1tdZ89hKc 9c/df6tPNFzWxXc2jFEbZDCvI1oLxuqogSVPhuaWjs0fr8+Zgnz/tbbIxTk8XgIBS+ZqcEF/ r6S7SLAYJ85Xw85Jt3nWPGu6FKQvHYmh+N5WXXTEORTYEnB9ItLKTT7q/0Kf/E3NhTIwwWF2 zasARs3offHp6k3+oLrgZ+ogpiIEewkOGZnBEjesKiLMBfF8lqZwYNvVPiCeRbfXjjW/ISgf eBk8OHuAsYYnVpls5tOLJgz9PgQv+DQnr59yhhoOF7pbF7xU7NpHSSg7Pl176ZIwudUhBuyV kex4eJlALSuOv7+MVsvNQEgP/Wi1/YVp2Ho1s4LAn7GvQ15wLnWdn9pHUioqDdcJ75LIo8a0 b8fmMoJ2Tee1DsuEPi71x5xyUrdAEAEYasdsrMiPLTKkSsuk1FLXozdAHT54baJcNR9DXMpK T612ovHvbBV+RfdeH9iE3PI8/ZXvskNiitr134HHUyCwfDet8803TpQ0DU5dRtUxRN5yNBOO nBnGkl2BKeW9RJquZRzZH+tEAR/GxGpwEz95F8Xnmn/TUPzdGjyAEAiGOSKpmY1znl9e2VFw bSm12rVazbmU8Xv1C8UW0Q+ifjCT8R0xzLSivKcAMWJMJkrUwXL2pb0SzIzlCLmJsctiGnsh +pgpr9wYJKmEx8gmfQwDo3C2IkATByBGnd5fshg26E0BkDZRiC53GmfCkK2e/4VHcfwz22DN 5VMKP5MBjOE7wTfihAABKUJHa14o+5x2voGZYHQBDAnt5mxk2NXlaz+pwnEqk0ledFMqfoGC 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:IIkjY687LYii7USDHhBuk+DDI+orL9Y04lQ7vn2ZKCYlEPBw8v rFoB1173HJYVoqNU3I+urwW5VoI0m8yXcd2+B4VotKNzOIhILHFu1fBMfZowHdJw== X-Talos-CUID: =?us-ascii?q?9a23=3Ay6CBs2gsVjK1nyy0L14+VUo9mDJuTUXlkTTLJmC?= =?us-ascii?q?CMk0uWoW0GVWAyoZOup87?= X-Talos-MUID: 9a23:zQGY4AvfUZ7oX7TIo82ntGp5OtZ1yoSVOkEEjK0+pPKEKBViEmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.08,181,1712613600"; d="scan'208";a="167015201" X-MGA-submission: =?us-ascii?q?MDFHDn5KvtQ0CxGIoNSbRBr4UoxjDHmssWGfWG?= =?us-ascii?q?I/AwZLzFBBLWtt9T1yfeJXEVpDrjO+jm+yPCAyrm8mV3Q9IjnE7gA2c6?= =?us-ascii?q?VMWIRjYNIZcU3D1UfxLIspWjFpBlvzRKz422K301J0dibYMiCoz7ZsGx?= =?us-ascii?q?dJx2AWHphb1XJ7Q8N4t1Zckw=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; 23 May 2024 09:51:12 +0200 Received: from Tourvel.local (110-235-224-141.dynamic.caiway.nl [141.224.235.110]) (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 654C2840D81; Thu, 23 May 2024 09:51:11 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1716450671; bh=+c4aqA5b76mAYSL0A/7jbdq2+AfhINpEHFrQdXEBDqk=; h=From:To:Subject:Date; b=hQeEN9xQ+Sy0zPucjZQJfDWYqOpdx0yZZAgL6nOC/NsPw1ix1z0kRc8srhzGvxzJy pjftx+kJB1/ASRB91a6o0MgHLp0K/HO392bLTbMgxEh5eYxVe99g5aaQsFLBpki39S olR2Ir1pkn5/RA9pZG6/3O8gOVI86Gu9OxAh0uJw= From: Michael Sperber To: users@racket-lang.org, caml-list@inria.fr, 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 Date: Thu, 23 May 2024 09:51:10 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19135 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 PAPERS *** Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 6th September 2024, Milan, Italy Co-located with ICFP 2024 https://functional-architecture.org/events/funarch-2024/ ====================================================================== TIMELINE: Paper submission 3rd June 2024 Author notification 30th June 2024 Camera ready copy 18th July 2024 Workshop 6th Sept 2024 BACKGROUND: "Functional Software Architecture" refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry. The goals for the workshop are: - 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. The workshop follows on from the Functional Software Architecture open space that was held at ICFP 2022 in Slovenia. SCOPE: The workshop seeks submissions in a range of categories: - You're a member of the FP community and have thought about how to support programming in the large, for example by framing functional ideas in architectural terms or vice verse, comparing different languages in terms of their architectural capabilities, clarifying architectural roles played by formal methods, proof assistants and DSLs, or observing how functional concepts are used in other language and architecture communities. Great, submit a research paper! - You're a member of the architecture community, and have thought about how your discipline might help functional programmers, for example by applying domain-driven design, implementing hexagonal architecture, or designing self-contained systems. Excellent, submit a research paper! - You've worked on a large project using functional programming, and it's worked out well, or terribly, or a mix of both; bonus points for deriving architectural principles from your experience. Wonderful, submit an experience report! - You know a neat architectural idiom or pattern that may be useful to others developing large functional software systems. Fabulous, submit an architectural pearl! - You have something that doesn't fit the above categories, but that still relates to functional software architecture, such as something that can be written up, or that could be part of the workshop format like a panel debate or a fishbowl. Superb, submit to the open category! Research papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and architectural pearls need not necessarily report original research results. The key criterion for such papers is that they make a contribution from which others can benefit. It is not enough simply to describe a large software system, or to present ideas that are specific to a particular system. Open category submissions that are not intended for publication are not required to follow the formatting guidelines, and can submit in PDF, word or plain text format as preferred. Not knowing what kinds of submissions we will receive, we cannot be specific as to how they will be evaluated. However, submissions that seem likely to stimulate discussion around practices in functional architecture are encouraged. If you are unsure whether your contribution is suitable, or if you need any kind of help with your submission, please email the program chairs at . Papers must be submitted by 3rd June 2024 using the EasyChair submission page: https://easychair.org/my/conference?conf=funarch2024 Formatting: submissions intended for publication must be in PDF format and follow the ACM SIGPLAN style guidelines, using the acmart format and the sigplan sub-format. Please use the review option when submitting, as this enables line numbers for easy reference in reviews. For further details, see SIGPLAN's author information: http://www.sigplan.org/Resources/Author/#acmart-format If your submission is not a research paper, please mark this using a subtitle (Experience Report, Architectural Pearl, Open Category). Length: submissions must adhere to the limits specified below. However, there is no requirement or expectation that all pages are used, and authors are encouraged to strive for brevity. Research papers 5 to 12+ pages Architectural pearls 5 to 12 pages Experience reports 3 to 6 pages Open category 1 to 6 pages Publication: The proceedings of FUNARCH 2024 will be published in the ACM Digital Library, and authors of accepted papers are required to agree to one of the standard ACM licensing options. Accepted papers must be presented at the workshop by one of the authors, but in special cases we may consider remote presentation. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. 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 Fiera Milano Congressi, Milan, Italy.