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=D3XT80WZ; 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]) by plum.tunbury.org (Postfix) with ESMTP id 7D9D8400A3 for ; Mon, 2 Mar 2026 14:54:34 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:references:mime-version:subject: reply-to:sender:list-id:list-help:list-subscribe: list-unsubscribe:list-post:list-owner:list-archive; bh=8TbcYzHKoh/1r9+QpP+XVdhT7vM1Hx8naupCWVj5viY=; b=D3XT80WZRqbbuP8JgyIbCKA1mJlR1wo5W+fRGActRK/OqEqEfvpOZO22 gtrBHucKE95MI3x9wCRZsfSmfhVfB3J9TAvuTGod+eRXUK7XevAhG3yP8 4QHaEIKTbjcvbM+4CQIAYasNkyoAlJ3aK8rmAMnxJSaXS2CYsOO0D/a0i w=; X-CSE-ConnectionGUID: SolO4/1fTDaXDNaAN4gTpg== X-CSE-MsgGUID: bBvWubntRNiWZzEARS/6+A== 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,320,1763420400"; d="scan'208,217";a="265835691" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Mar 2026 15:54:34 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id EE4D08260A; Mon, 2 Mar 2026 15:54:33 +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 442DE82591; Mon, 2 Mar 2026 15:52:11 +0100 (CET) X-CSE-ConnectionGUID: yV+bTKHRTI6jB+4JiUkBdQ== X-CSE-MsgGUID: lJb/ow6xSdi2bc0BPeuIdA== IronPort-SDR: 69a5a41a_vIhg+s+MLH6G2yi6uATvrd7oNHXoM9G0sk7LRIYS4Vbr84m ZoQ832wj/wqR1Ww27a0VY8Bm3HvBrB8JocWcuQg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EEAwCvo6VphRWAiMFaHgE8DAILhCaBBwZaMgcISYRYi?= =?us-ascii?q?HuIeYFCkSyBG4ZWWYJ5gSwWJwIPAQMBDTcaBAEBAwEDgUsBQJAWAh8GAQQ0E?= =?us-ascii?q?wECBAEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEBAUBJhk8Ng?= =?us-ascii?q?kWBQmQJNwIBAQEBAQEBAQEBAQEBAQEBGQINBy0qIAYjHQEBKgoEDw8+AgJWg?= =?us-ascii?q?xsBgiIHSgcNp12BMoEBggwBAQbcKoFnAwaBTYVvgmUBKoE1AQIOg3QQhAB6J?= =?us-ascii?q?w+BVUSBFScLggg9AoF0gVwBAYEmhBWCaYImehQdixKHYIFEIgMmMywBSwo1D?= =?us-ascii?q?DOBMwOBdDxlEj8+Sjs4BwVEhTYPiHOBZIMpAgF4PTcJCxsEjkNcP4NugRFAl?= =?us-ascii?q?CWDYq8iNAcThAyBXgYMii6LZolZBlWXSwiTBZkGjgmbODaBSSOBXDMag1pPA?= =?us-ascii?q?xkPjjgChkuCL029QgFENDwCBwEKAQEDCQGBVZBIgUsBAQ?= IronPort-PHdr: A9a23:7Dgbbhem4CFm9bOxYcpTi0UylGM+zdbLVj580XLHo4xHfqnrxZn+J kuXvawr0ASVG92DoKgZ1LuK+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHROOjNwjQAcWuURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7owrcutMKjYd+Jao91BvEr3lMdulZ2GhlOU+dkxHg68i/+5Ju7z5esO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncSXX0YnRVRDwXb4x/0Q4/9vSTmuOVz3imaJtD2QqsvWTu+9 adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNQVS3dcXsZKTyxOHJ+zb 5cBAeoGOOZXtYj9p10Tphe6CgShAObjxzlVjXH0wKI6yfwsHw/G0gI+HNwOvmnao9rpO6oJS ++50LPFwC/fY/9K2zrw7pXDfBA7ofGLWLJ9adfcxlc1FwPDlFqQs5HqPzSI3eoTtGib6etgV eSvi24gtgp8pSOgydk2ionPnI0V0E3L9SJjzIYpIt24Tk97YdikEJtXrCyaK5V5Td8kQ2Fpp Ck6zacKuYO/fCgL05Qo3BnfZOadf4iQ/hLuTeCcKip3i3x5YrywnQqy8VS+xe3mUMm5yFVHo yhEn9XRqHwD2RPe58uIRPZh+kqs2TmC2x7c5+xAJU05kbfXJ4I/z7MymJceskTNEy/3lUj1g qGbclkp9/Su5u/6bLvmoZqcOJV1igH4KqkulMi/AeMkPQQQXmWX4+O81Kfs/UHhT7VKj+E2k qnEsJ/BP8gbp6m5DglI2Ygg8xayFyqq3dAWkHUdMV5IdhOKg5L0N13QI/30F+mzj0m0nDpvy P3KJLzsD5vXInTdn7rsc6xx5k5AxAc10NtR/YhbCqsbL/L2QkLxtMLXDhs+MwGs2ObnDcl91 psDVW6VHq+WLr/dsVmJ5u0zJOmAfpIVuDL8K/g+/PHuimU2lUUFfam1xZcXaXa4Eep6I0iBf HbhhtkMHX0XsgcwTeHmkkCOXSBQanqoQa4w+yk3CIe8AofCQoCtjqaB3CC+HpBOfW9JFEqME XHyeIWeRvgMbzieItNmkjwCVLihTY8h1Ra1uQ/m1bVoMuzU+iwEupLkztR1+unTlRAp9TNvC MSSyXuBT3lonm8QXT85wLh/oVBhyleEyaV3n+ZXFdlX5/9QVgc6NIXcz/BhBtDpWgPBe8+JR 0y8TtWnBzExVNMxzMUUb0ZzAdWulgrD0DayA78Ji7yLA4Q5/b7b33joPspy13LG1LQ6gFQ9W ctONWimhrZl+ATJBo7JlV+Zl6eweqgG0i7N7n+PzWyVs05ASg5/Tb3FXWwDZkvRtdn1+FvOT 7CwBrQgMQVP09aPJLFUZNHxl1VJWunjNtfEbW+pgGewAAqIxquRYIbwZ2USwjnSCE4Fkw8P+ naKLxU+BiOgo2LFFzNuEkjgb1n08elisH+0U0w0zwCPb0B5z7S79RAai+KARf4P2LwIoDouq zBuE1anw93bE8KOqRN5cqtTed89+09H1WzBugJnIpGuMr1sikYFcwRvsUPhzxV3BZtEkcgtt H4k1hZ/J7+F3gAJSzTN1J/8M5XTK3Lu51aka6fS31zEy5CN9/Qh8vM9/n/upgegDEYlu0lg1 dhT03zUsp/HFgwbS572FFow8Rl8p7byfiQ24YLf0jtxNaivuDjLnco1Urh2gi28dstSZfvXX DT5FNcXUpT/QARLs12gbxZfeftX6LZxJMS+Mf2PxK+sOu9k2jOgl2VOpo5ngQqX7yQpbOnO0 t4exu2AmBOdXmL2gU2nu9r7nsZYYjcTGGq44TTpD4hQbao0YIIKEm2pKouv2oY2nIbjDkZR7 0XrHFYawImscBuWYUb62Fha2F4RqGarnm2kyDp1lTEuhraS1yrPyOOkaR4GIWRMTS96kQSkO pC62ugTR1PgdA01jF2l6EL9krBcv7h6JnLPTF1gZC3qNzgkTqa7sLuJZIhS7JIzuyJeFvygC byDYpj6pRZSkybqHm8FgSs+aynvoZLh2RpzlGOaKn936nvfY8B5gxnFtpTaQrZK0zwKSTMd6 3GfD0WgP9Sv4dSflovS+uG4WWW7U5RPcC7thYqevSq/7GduDFWxhfe20tHgFAE712f82bwIH W3CoQz6a5Pn0OKmNuRmeElvLEPx4Mx7EYY4j48xn5sX0D4CmtTd/HYKl3vyLcQOwbj3Px9vD XYAx9/Y5hSg2VU2dyPSgduiCDPEmJsnPYDpBwFekjgw5M1LFqqOublNnC8u50G9sRqUev9l2 DEU1fop7ncexeAPogskiCuHUdVwVQFVOzLhkxOQ4pWwtqJSMSylfKK23VBympa9C7eDpAFbc Gr0cZEjFig288F+K1jL2Tvr9su3HbuYJcJWrRCSnxra2qJfJYg3n+AGgmx7PmT8u30i4/I2h hpv1pb8oYyGMG9q9eShHlQLU1+9L9NW8Tbrg6FEm8+Q1I36BZRtFAIAW57wRO6pGjYf3Rj+H z6HCyZ06nKSGL6EWBSa9F8jtHXXVZaiK3CQInAdi9RkXhiUYkJF0kgYWzAzn5hxEQ7PpoSpe kpj4DkL6lm+thxKy+RoMDHjX2zZpQyvLCowSYOVKxMQ9h0K60rOMMOY5/5+BGkBr8bn9VfTb DXBN0ISVARrEgSNHBj7M6Or5MXc/uTQHee4I/bUIP2PpeFYS/aU1Meq24pi8SyLM5bqXDEqB Pk610xfGHFhTp2IwHNWEHJRznidKZTC93LesmVto8uy8ermQlfq7IqLUP5JNMl3vguxmeGFP vKRgyBwLXBZ0IkNzDnG0ut6vhZahidwej2qCblFuzTKSfeakKJNCRcBZyQ1KMxO7qQ82SFRN MXdi9jykKN8j+U/DF4DTUCryaTLLYQaZnqwMl/KHhPBPrmcIzTRz8axfaS6SLtQi81Iuha2u D2cVVLnPy+JkDCvTwzlYoQuxGmLeRdZvo+6aBNkD2PuGcnnZhOMO9hylTQqwLcwiyCCJSsGP DN7aU8IsqyI4HYSnKBkA2IYpCkAT6HMi2OD4uLfMJpTrfZ7HnE+ibdB+Hpjg75FpGRNQPg/8 MfLhuZnuEru0uyGyz48FQFLti4On4WT+0NrJaTe8JBEH3fC5hMEq2uKWVwGoN5sC9unvK41q JCHjKXoNDJL6M7Z5+MHAtTMcYSbPXEnMBHuXiPQDRAPSjftLX2Xi0FGkf6U/2GYtdBj+8Oqw cFQDOYBBBpvT5Z4QgxsB5QaLY1yXy84nLLTl8MO6Xek7VHQSMhcopHbR6eSDPHoe36SibhJY QdNwKutdNVIcNSghQo7MAk8xt2ZfiiYFcpAqSBgcAIu9UBE8XwlC3Y2x1qgcQS1pnkaCf+zm BcyzAp4e+Uksjn2sDJVbhLHojU9lE4plJDrmzeUJXT7Ib22VJtaDGzosE4wNJP8axp4Zguzl ksiKTPFXLhWhv14aSo47W2U8YsKAvNaQaBeNVUIwuqLYvwzzVlGgj6i2Vceo/fIAp1jnwxsb JqttHhH0kR7cJRmQM6YbLoMxV9WiKWUuyau3e1k2w4SKXEG92aKcTIJskgFZfE2YjCl9et25 UmeiiNOLSISAuEyrKsgpSZfc6yQijjt2LlZJgWtOvyDeumH7nPYm5fAR0N4k0oMkwMtFVdez coodUufUAYyyLqKHRMAc9Lee1g9hyt6733PZX/IrejGx5N+OMOgEuHzR+iH8r4I0BvM9OMBA 4kH6MUKGd+x1EDDJ8DuaqYZm01F2Q== IronPort-Data: A9a23:StkyMqjsoCMxlpZIFM+SQvP2X1616hQKZh0ujC45NGQN5FlHY01je htvDzvVa/jYYTfxe40lbo++8EIE75HWy4dmQFdrqyswQS1jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+e6VaidfHgsGGeIcQ954Tp7gek1n4V0ttawBgKJq LvartbWULOf82cc3lk8teTZ8XuDgNyo4GlG5gdmP6gS1LPjvyB94Kw3dfnZw0TQGdE88t6SH 47r0Ly/92XFyBYhYvvNuqr7aEADXonJNgGIjHdMM4D66vSVjnFaPg4TbZLwWG8P49m7t4gZJ OZl6fRcfTwU0pjkw4zxZfX3/xZWZsWq8JefSZS2XFf6I0fuKxMAyN02ZK060BFxFk+azgii+ NRBQA3hYCxviMqn/vGxdspMvPgCcsvBf989u0xj5z3gWKNOrZDrG80m5PdD2Sso34ZSEP3YZ sEeLydrbQ/KZBQJIkt/5JAWxbbzwCCkLXsB8gLT//NfD2v7lGSd1JDnPcDTc8aGQoNJmUCZo GLB13j0CRcbP9vZ1D6E6Xirj6nXgUsXXapLSOXhqaE63Qf7Kmo7DD8cElyk/+mChk/kUdkHA XQZ5wsihP1nnKCsZoKgB0Po/CXsUgQnc9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqceTjszk 1SNgtnBHi1qqLTTSHSH977SoynaBMQOBXQHeTddCxcI6N/iq4Z1kxbOVdxkGeitkrUZBA0c3 Ribkms0u5Yzt/IqiaeRvgzlgg+vjJTwG1tdChrsYo6z0u9uTLaZD7FEBHDA6OpYdcCFQ1KHv XMD3dWa7fsECpjLjDDlrAQx8FOBuKft3N702AMH83wdG9KFpyTLkWd4vGsWGauRGpxYEQIFm WeK0e+r2HOsAJdaRfQqO9zhV59CIVnIG8njWvnfZ90GepFrfUeOtCpvaEib3mmlnQAl2b0yM pGcdcGjDH9SCOJ/ilKLegvp6pdynnpW7TqKFfjTkU/9uZLAPyH9dFvwGADVBgzPxPjf+F2Nm zueXuPWoyhivBrWPXWLqtZOdwlbRZX5bLivw/Fqmie4ClIOMAkc5zX5mNvNoqQ8x/0NxNTbt GqwQFFZw1fZjHjKY1fCIHN6Zb+lGd41oXsnNGZ+dRylyloyU7aJta0/TpoQeaV41epByfUvc eIJVf/dCdtySxPG2Q8nU7/DkKJYei6W2D2+ZxieXGBnfrpLZRD4xdv/Tw6+qAgMFnWWsOU9k Z2B1yTaY8IxeCJ/Bfnwdtap8Ui4jV4ckrhfQkDoG9h3U2fv+bhMNCbeoKIWIcYNCBOb3Rqc9 V+cLik5rNn3gb0e0Yf2l4Wbiby2As1CHkZ+NEvK34acbCX10DKq/t5dbbyuYzvYalLRxIyjQ udkl9fHL/wNmQdxgbpWSrpE4/o32IrymuV80A9hIXTsamarAJNGJl2t/5FGlo9J949jlTqGY GC90fgEBuzRI+LgKkAbGyQ9ZOfa1f00pCjb3c5oHGrEvh1I7Ji1emQMGSKTiR5tDqp/a6Ik5 uYDhPQ4ySKCjjgSD9LXqRwMqkqtKCQbXrQFp6MqJtbhqjAWx2FoZb3eDS7L46+zVehcD3lyI hKpgPvturcN4GvDbHs5KlbV18V/m5klmU5H3X0CFXuzi/vHgf478yNT+zEzTA5Ek0xN/OZhC 206N2lzD/2v/ihptudHTWuDCwFMPzzH203Tmn8itnzVcFmsbUPJdFYCAOeq+FsL1k5hZR1Zw e2o83nkWjPUY83B5Cs+dkp7ofjFT9Yq1An9tO24PsaCRb8WXCHEh/KwWG82tBfXO8M9q0nZr +1M/uwrS6naNzYVkpIrGbuhyrUcZxCVFlNsGcg70vsyIljdXzWu1RylCUO7IJpNLsOX136IM ZVlI8YXWimu0CqLkCsgOpcNBL1Jh98s2ssJf+L6BGwBsobHlAFTjrDrynHcilMoEvJUquRsD qPKdjmHLH6cumsMpU/Js/t/GzSZZfsqWVTC+d6bocQzKoI7keBzcEsN/KO+kFeLPSBGoR+Fn gPxSJXH7u5lyI82xtPnPoheCyqKK9n2UOaC4V3quftKf+LKYMfqsSlNi1j4PjZ5OakadMR3m I+s7v/2/hLhl5QnX1/Jn6KuE/Fy2vyze+5MIOfbEWJ/nxbeaPTz4hAGxX+0GaZJnPxZ+MOjY QmyM+m0SvI4RPZfwydzRxVFMhNAFZnyULjslRm9o9uIFBIZ9w7Nd/Gj1H3xaFBkZj06AIL/B iD0qsSRyIhh9qoUPyA9BtZiH5NcC33gU/F/d9TO6B+pPlPxiVaG4rbfhR4s7A/QMUa9EeH43 InkQybvfxHjqYDKy9Bk67ZJhCM1N0oko+cMfRM6weVU2gCKVDtMaaxXNJgdEZhbnxDjzJyyN nmHcGImDj67RjheNwn15NP4RAqEG+gSIZHDKyc0+1+PITKDbG9a7GCNKg87i5u3Rtfi8A1jA cob5mWpeAS8yZdoTuFV+/i6mu1gz7XC2hrkPGjjxtfqDU927aoijRRc8MhlDEQr0P0hUG3XK GMzRGtDBly/SFX7Fs8mY2I99NQxomb01ztxBcuQ6I+3hmhYpdGsDNXjNur107YEKtkOJaUEQ nqxX3flD6V6HJAMkfNBhu/FSpOYxR5G8gZW4UMjqcAvc3mM11ka IronPort-HdrOrdr: A9a23:8c1a0ahvO6+1dswiUjYfu5BKaXBQXusji2hC6mlwRA09TyX4rb HWoB1/73DJYVkqOU3I9erhBEDiewK7yXcW2/hyAV7KZmCP0wbFQr2Kr7GSpgEIcBeOktK1u5 0QEJRWOZnKAVB2gMP3pC21CcwpztXC0I3Av5a4856zd2tXV50= X-Talos-CUID: 9a23:VJlVC2GV4X4BsO2LqmJ2yg0eJuMFSEH8knX6YBOaCFtqYrGsHAo= X-Talos-MUID: 9a23:fzOuBgRim/4BxIWARXTopjslM9g285+iCRoHms0sg8SZFCBZbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,320,1763420400"; d="scan'208,217";a="140177852" X-MGA-submission: =?us-ascii?q?MDEgkRslr4ReR1U0vSZNXbVqnknS4oU8eDNWZJ?= =?us-ascii?q?qkZm/OrThIONAlJgl4HA+iYjwUdaMdYhG2gvJXa135Q7t0cZ8WsIl9V3?= =?us-ascii?q?j40E7SrQKDkUSYDQSw/AjwJRkBJDdaKAYQCrvvsoXPKk2ucAm2kklHZ1?= =?us-ascii?q?pxT+813bLmQ5XGT+DTanQ1fw=3D=3D?= Received: from smtp1.tecnico.ulisboa.pt ([193.136.128.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Mar 2026 15:52:11 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by smtp1.tecnico.ulisboa.pt (Postfix) with ESMTP id 0CDDB600086F; Mon, 2 Mar 2026 14:52:10 +0000 (WET) X-Virus-Scanned: by amavis-2.13.0 (20230106) (Debian) at tecnico.ulisboa.pt Received: from smtp1.tecnico.ulisboa.pt ([127.0.0.1]) by localhost (smtp1.tecnico.ulisboa.pt [127.0.0.1]) (amavis, port 10025) with LMTP id LWNXZI9gDuU4; Mon, 2 Mar 2026 14:52:07 +0000 (WET) Received: from mail1.tecnico.ulisboa.pt (mail1.ist.utl.pt [193.136.128.10]) by smtp1.tecnico.ulisboa.pt (Postfix) with ESMTPS id 1DF6F60029AC; Mon, 2 Mar 2026 14:52:06 +0000 (WET) Received: from [192.168.68.67] (50.243.63.94.rev.vodafone.pt [94.63.243.50]) (Authenticated sender: ist430366) by mail1.tecnico.ulisboa.pt (Postfix) with ESMTPSA id 4326536017B; Mon, 2 Mar 2026 14:52:04 +0000 (WET) Date: Mon, 2 Mar 2026 14:51:47 +0000 From: Bernardo Toninho To: agda@lists.chalmers.se Message-ID: <79b96093-8427-492a-adb6-8ddddd86877a@Spark> References: <8209c0d9-d87c-4f3f-8e19-4d32223f94a8@Spark> X-Readdle-Message-ID: 79b96093-8427-492a-adb6-8ddddd86877a@Spark MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="69a5a413_1190cde7_c3d" X-Validation-by: bernardo.toninho@tecnico.ulisboa.pt Subject: [Caml-list] FoPPS Summer School 2026, co-located with FLOC 2026 =?UTF-8?Q?=E2=80=94?= First announcement Reply-To: Bernardo Toninho X-Loop: caml-list@inria.fr X-Sequence: 19464 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: --69a5a413_1190cde7_c3d Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Dear all, We are announcing the 6th edition of the Summer School on =46oundations o= f Programming and Software Systems (=46oPSS 2026), co-located with =46LOC= 2026 and taking place July 13-17. The 2026 =46oundations of Programming and Software Systems (=46oPSS) Summ= er School brings together students and researchers to explore =22Emerging= Approaches for Reasoning about Programs and Proofs.=22 This week-long sc= hool provides a broad and immersive introduction to the latest developmen= ts on reasoning about programming. This year=E2=80=99s edition is dedicat= ed to recent methodologies, spanning advanced type systems, proof assista= nts and logic, and neurosymbolic approaches, that are actively shaping th= e frontier of software verification and program semantics. Our program features a distinguished series of lectures designed to equip= participants with both a solid grounding in established foundations and = a forward-looking perspective on the field's future. By diving into highl= y active research areas, attendees will gain the theoretical tools necess= ary to reason rigorously about complex, modern programs. Through engaging= instruction and collaborative discussions, the school aims to inspire th= e next generation of researchers to push the boundaries of what is possib= le in formal reasoning and program verification. (Early) Registration is open via =46LOC: https://www.floc26.org/registrat= ion Registration includes lunches, coffee breaks and the summer school dinner= . More information about the summer school can be found in the school websi= te:=C2=A0https://lcaires.github.io/fopps2026/ On behalf of the organizing committee, Lu=C3=ADs Caires, Jos=C3=A9 =46ragoso Santos, Andreia Mordido and Bernard= o Toninho --69a5a413_1190cde7_c3d Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
Dear all,

We are announcing the 6th edition of the Summer School on =46oundations o= f Programming and Software Systems (=46oPSS 2026), co-located with =46LOC= 2026 and taking place July 13-17.

The 2026 =46oundations of Programming and Software Systems (=46oPSS) Summ= er School brings together students and researchers to explore =22Emerging= Approaches for Reasoning about Programs and Proofs.=22 This week-long sc= hool provides a broad and immersive introduction to the latest developmen= ts on reasoning about programming. This year=E2=80=99s edition is dedicat= ed to recent methodologies, spanning advanced type systems, proof assista= nts and logic, and neurosymbolic approaches, that are actively shaping th= e frontier of software verification and program semantics.

Our program features a distinguished series of lectures designed to equip= participants with both a solid grounding in established foundations and = a forward-looking perspective on the field's future. By diving into highl= y active research areas, attendees will gain the theoretical tools necess= ary to reason rigorously about complex, modern programs. Through engaging= instruction and collaborative discussions, the school aims to inspire th= e next generation of researchers to push the boundaries of what is possib= le in formal reasoning and program verification.

(Early) Registration is open via =46LOC: https://www.floc26.org/registrat= ion
Registration includes lunches, coffee breaks and the summer school dinner= .

More information about the summer school can be found in the school websi= te:&=23160;https://lcaires.github.io/fopps2026/


On behalf of the organizing committee,
Lu=C3=ADs Caires, Jos=C3=A9 =46ragoso Santos, Andreia Mordido and Bernard= o Toninho
--69a5a413_1190cde7_c3d--