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=mUXE5W1B; 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 3DEAF40092 for ; Sat, 30 May 2026 11:12:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:mime-version:message-id:date:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=EfE/Y0Z2RiS0LjRwKyAy3QPTHiGFSslaHgfS0F16d/c=; b=mUXE5W1BpDXcKs3lTOSR8KLur/jvO1Jhy+AMdnbGsmEX07ELwkkUerK6 vf+ugcCJWxgbEumDieMawYN+mpx35sEoaZXjTlewE5var544r37nzw9Dv csfJYlAG5nBkpQ3Plkx+AwwOmexulPwR2nTAfnP1eBqIzGf+wsdXFmBXJ w=; X-CSE-ConnectionGUID: evdI2rDdQb2jAbOwytZ25g== X-CSE-MsgGUID: gFasz3QvTKORfqBoOFYOEw== 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 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.24,177,1774306800"; d="scan'208,217";a="278991576" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2026 13:12:31 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id AADD780EAD; Sat, 30 May 2026 13:12:30 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id D1A9B80519 for ; Sat, 30 May 2026 13:12:21 +0200 (CEST) X-CSE-ConnectionGUID: 6AVQXcEETgm9EDsg1Dexfg== X-CSE-MsgGUID: rLt42OnTRYq6v8y5XH48pw== IronPort-SDR: 6a1ac615_47396t2siq9DSoYvBwyd4TzlBMeyXTy7zUaxbYXOCupMf2F e9ViNqxZ8W0nDXAt2zi/YdZp6rIgxZj6DpvSKoQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HsBACExBpqgbFSfUpahRpoIF8zBFSIJ4UshliCIYQ+h?= =?us-ascii?q?wwyi0uIFhYnAg8BAwEMAT0SAgQBAQECAQOEf401Ah4HAQQ0EwECBAMCAwEBA?= =?us-ascii?q?QEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw47hk8Ngls7cWECB?= =?us-ascii?q?QM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCFBgRL?= =?us-ascii?q?jgLIwEbDAUNAxIQASg0EQEFAUsMgmABgiIBBhABAzYDEaN4giSBAkKLO4EXB?= =?us-ascii?q?QIWgQGCDQaBCT4FgR7XfQoZKA1vA4FkAgEGCQEMgTeEeCpPDoJaASqBNQGEF?= =?us-ascii?q?oQBgSGBY0WBFScbhCuDFlWDaIIvBIINFYEMhEqBR4k4AQcHHxIIARwGCAICP?= =?us-ascii?q?QsFEBIDBAMEBAECCwkKCQMDAg4CCAMCCAYZAT8SBBMCCAMGBAsHBR8KAgwUC?= =?us-ascii?q?igiEisKAzUSDxYFFQEIBgICBAQCBAwCCQICBQMEAgQNAwQBAQgCAi0DAQMZC?= =?us-ascii?q?AkIAgsFERgMCwcxAxAJAx8DFBoIETQIBhYBGgcFBgs4FQUMEQEBAkcCJQQeE?= =?us-ascii?q?QgDAQkZAg8IAw4bAgIEAgkBAQYNAQICBgICAQMHGAMEHQQDAwcCAgkJBA0CE?= =?us-ascii?q?AoSFQMOAwcPAgQMBzALAwIOAgkIDBcCAgIGAgMDAwQJAQIBAQEBAQEBAgcDA?= =?us-ascii?q?wMCAwYDFwcGAwQGAQQEAwMCAwUBAwMDBQMCAwIGBwMGCQEBAQEDAgIIAwgDD?= =?us-ascii?q?AkFBQMbAx4GAQICAwIBAgYGAwcBCgMEAg0DAwQCAwMDAwMDAwQBAgIBAQECA?= =?us-ascii?q?wEDAwQDAQMDAgEDBwICAwMDCwECAwMDBQMFAQUDBQICAwUFAwUCAgoCAwMDA?= =?us-ascii?q?gEDAhwDAwwDAwcDCg8BFAMDAgMDBgEDBwMDAwMDBwIEAwgCBgQDAwYCAwQGA?= =?us-ascii?q?wMCAw0IAxgCCAMDAwIDAwMCAwMFAQICAgQFBwMDAwMDAgMKAwsFAwQDAwMEA?= =?us-ascii?q?gIDDAIGAQEDBQMDAwMCAgMDBAQDAwcCCgIDBgQCAwMBAwMFBQMFAQYHAgMHA?= =?us-ascii?q?QICAwQBDw0DBQMKCQ8DCwkHAQcMATwMBwokBAQMKgEUFAcEJRlnBwcCilZdG?= =?us-ascii?q?g+BQAFrZzkhUEgFMAQTLxkOgRQBAZFyDySRQmifU4ESIgkBBgJggWeBCh8uh?= =?us-ascii?q?AKIH5IwgyQEL4clkC6TGJkGjgmVYxNZAYQ8AgQBAQEDBwcRJBKBSSNJgRNNI?= =?us-ascii?q?3oBBm2BST8RAxkPV41hg2uFE8UwNzU+AQcCBw8CgXODW4wmM4FLAQE?= IronPort-PHdr: A9a23:CEwU+B11hkB3hQ3ismDOkw0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeCo601xwaWB9WLo7Ic0qyK6PymATRBqb+681k8M7V0HycfjssXmwFySOWkMmbcaNPMUWkRM f8GamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4tvJrwtxhfVrXdEZuZbyX1rKF+Qgh3w4tu88IN5/ylftf8s+NRMXbnmc6g9U LdVECkoP2cp6cLkshXOURGB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw6Viys4 KhyRBL2hykJKiY1/27LhMN+iqJbuw+hqAdkw4HIeoGVNeFxcb3bcNgHWGdORMdRVyhGAoOhc 4sCCvcKMOhEo4XhoVYFsB2zDhSuCuzy0D9Fnn/40rE13Oo8Eg/I0hIuEdUVvXvOsNn1Mb0fU eCpwKXWyzjIcvNY2S366IjNah0uoe+DXbRyccrQ00YkCgTIj1uOpozjPTOV1/4CsmiF4OdkV O+ikGEnqwRrrTiuwscgkJXGhoUQyl3d8yhy3Yk6K8GiRkFhfd6kDIVftzucN4ZuTM0vXm5mt SQ0xLAFpJO2YDYHxZcoyRPcZPKLb5aE7xL/WOqPPTp1hn1rdK+iihi88kWs1OLxWMeo3VtWr iRIjN/BvW0D2RzU78iIUPp9/kG51DaVyQ/T8f9LLloulaXHK54h2KQ8lp0JsUTMBiP2mEL2j LOKeUU+4uik8fjoYrLjppKaKoR6iRn+P7wsl8GwG+g0LxYCUmiB9em/yrHv51D1TbdIg/Euk KTUv4rWKdoHqqO7GQNZzIku5wqlAzql0NkVm2QMIkhfdxKdlYfpPknDIPDmAve7hFShiDJry OrHPr3lG5nCM3jCnKr4cbZz9kJRygg+wcpQ55JTDbEBL/bzVVHruNPECR85NhS4w+fhCNpjy oMTQWCCD6CDPK/Pr1OF5vgjLuqSaIMPpTrwKfoo6+brjXAjmF8deaep3YEQaHC9BvlnLVuWY XzugtcAC2gLvhQxQejrhVCZXj5TYmy9X6M45j0hFI2mCoLDSpi3gLOdxCe7AoFWZmdeB1+QC 3jocoGEV+4IaCKTOc9hjicJVaOhSo8kzRGhrhX2y7thLurO+y0Xr4jv1NZv5+HLkxE97iR7D 96B3GGVU2F0gmQISicr0Kxnrkxy1FCD36tijfFAG9Nd+utFUh0kOp7CzOJ0Ecj/WgfbcdeIT FaqW8ipADEsQt4ozd8CfkRwFte4ghDM2CqqBLAVl7iVC5Au7q3c2H3xK95gxHbF1akhikErT NNAO2KomKBx6xTeCYjRn0qEkqalb74c0zLV+Wmb1GSApE5WXBZrUaXdU3ASflHYoMjk6E3fV 7OuEqwnMgVZxs6CNKRKbtrpgE1eSvn6INrQbDH5p2DlDh+NwvaIbZH2U2QbxiTUTkYewC4J+ nPTCgU4BCao6zbBATpsFFv+bhKy2eZ7oXK/CEQzylfZPAVay7Op90tN1rSnQPQJ0+dc0M9Ag zB9HVLnmsnTF8LFvQ1qOqNVfdI65l5Dk2PfrQ10eJK6fOh5nlBLVQNxsgv10glvTJ1amJ01o XUozQNjJPPG+FxEfjKcm5v3P+6fMXH8qSimcLWewVTCyJCT86YL5u4/rgD8sQerF0Mz/iQ5+ 9ZQ2nqYoJ7NCVlaSor/B2Aw8RUyvLTGem896ofTgGVrKrWxuyTe1sgBAeIkzlOsbo4aPvrbS 0n9FMoVA8XoI+sv87SwRjQDOu0atKs9Psf8MuCDxLbuJuFr2jSvkWVA5ol5lEOK7St1DODSj d4DxLmD0w2LWi2Z7h/pu93rmY1CeTAZH3augSniColLY6RufIENQW6wKsyzz996itbjQXldv FKkAloH3oeud3/wJxTi0AtS1E0GrC35sSS9xj1w1Touq+vX3SDDxfjjaAtSInRCFyFpiVbhJ 5TxjshPAxTuNlJ00kv/ox+lmPs+xuw3NWTYTEZWcjKjKmhjVvH1rb+ee4tV75hutyxLUeO6a FTcS7jnohJc3TmwegkWjD09aTyuvY302hJgj2fIZml+qnjYcNB9lEn369nVRPoX1T0DDnod6 3GfFh2nMt+l8M/B3YjOtOK/XnOsB8N7fizizIfGvyy+rz4PY1X3j7W4ndvpFhI/2Cnw2oxxV CnGmx37Z5Hiy6WwNe8PklBAPFbn8II6H4h/ltF1n5QMwT0AgZ7T+3MbkGD1ONEd2KTkbXNLS yRZi9LS5QHk3gVkIBfrj8rmW3Ofw8JwaojkSmwT0yM5qctNDe+Y4adFki18vlej5V2NJ6Enw 3FNk713tyFSivpBoAc3yySBHr0eeCsQdTfhkRiF9ZH2ralaYnqubanl0UN/md67C7TR6gpYW Xv/ZtIjBXovsoMmag+KgCe1s967K7yyJZoJuxaZkgnNlb1QIZM1zL8RgDZ/fHj6tjsjwvI6i hpn2de7upKGIiNj5vHcYFYQOzvrascU4jyog7xZm5PcwI2pHJRoCzhaArPnSPupFHQZsvGtZ GPsWHUs72yWH7bSB1rV90pgrXPGAp36aVmYIXAYyZNpQxzXdyk9yEgEGT49mJA+DAWjwsfsJ Vx46j4m7Vn9shJQy+hsOkq3QiLFqQyvcDtxVImHIU8c8FRZ/0mMe5/7jKo7D2RC85amtgDIN mGLe1ECEzQSQkLdT1H7YuvxuZ+ZqbXeXqzmaKKQKbSW9b4ED6bOlc/pi9E2uW7Lb5rqXDEqD uVliBAbBSkrR5SHw2dTG3JLxXCKMpDTpQ/iqHcr9pztrqSzAFCztdXTWekVbIsKmVj+gL/dZ bTO3HkrJ2ZSjsFQlSGUmupYgQBaijkwJWP9SexS7iCVHv6AxPMFXVlGNUYRfINJ9/xuhAAVY ZyC1o6thOIo0KJnWRAYCxTggp/7P8dSLTOzPg6fVhrbaujUd3qWnYnhaKe4A9W8lc1ysBu98 XaeGk7nZHGYkiXxEgqoOqdKhT2aOxpXvMe8dAxsAC7tVoCubBrzK9JxgTAspN98znrXKW4RN yR9eEJRv/WR6y1fmPB2B21G6DJsM+CFny+T6+SQJIwRtLNnBSF9luQS53pfqfMd9CZfWPl8g zfftPZrqlCi1+Wek39pCUUR7DlMg42PsANpPqCYvphMVHDY/Q4cuGWdDxNZwrktQtbruq1W1 p3OjPesdHEbqY+SrZFaXpeLe6fleDI7PBHkGSDZFl4ARD+vbyTEglBF1euV/TuTp4Q7rZ7ln NwPTKVaXRo7DKB/aAwtEdocLZNwRj5hn6SciZtC+ne4rhjYVcgL4LjIU/uTBbPkLzPT3twmL 1MYhKj1K4geLNixw0t5dlxzh5jHAWLVVNFJ5yFwN0o6+RoStnd5SWI31gTubQbnsxpxXbak2 xUxjAV5e+Ek8jzhtkw2KlT9ryw1iEAtmN/hjFh5lRb+Ka6xWcddDC+m7yDZ3bv0Rg90aUu5m kk2bV8spppUhrpkMGx60UrS4MQQX/FbSqJAbVkbwvTFP50V IronPort-Data: A9a23:aE6j/q4ha3zgIMrAKrCjtAxRtN/DchMFZxGqfqrLsTDasY5as4F+v mdJCmDUM/6MMWuheIskPtu38hkFvseGztBhGQtpqXhgEysa+MHILOrFEkqhZCn6wu/rHBs2t Z1GAjXjBJlpFSGE/k/F3pzJ9yQUOXSgH+KkYAL8EnkvA1ciFGF50EwLd9cR2uZAmcK+Dx6Gp eT8qsjePE7N8zNvOwr40YrawP9UlKq04m9wUmAWP6gR4geDzCFNVfrzGInoR5fGatkMdgKFb 72bpF2J1jux1wsgDNqjjoH6fiUiKpbOPRKDg2ZhQKOrhB5PvEQais7X49JBAav/o2zhc+FZk L2hh7TpIesaFvSkdNAmbvVtO30W0ZtuqOaWeyDn2SCk5xaun3PEm52CBaytVGES0r4f7Wpmr JT0JN2RB/wqai3fLL+TE4FRasofwMbDYqohg0Fr4BzlAvN3bLzYTPzm6M9W02Jl7ixONa62i 8sxbDNuaFHMckQKNA5IV9Qxm+CngnS5eDpdwL6XjfVrpTGJkUohiv60b4W9lt+iHa25mm6Hq 2TE/m3oD0BEHNOawDuBtHmrg4cjmAuhB9JDReTkp6ECbFu73EgPVEcxU2eBkODnlB6vBuJ/d xwM5X97xUQ13Bf2F4GiDkPQTGS/lhUVXt4VF+wh9CmW26/M6kCYAHIFR3hPcrQbWNQeQDUr0 hqFjoqsC2Uw7/uaTnWS8rrSpjS3UcQIEYMcTXEtczI16PTOnI423z/jVdk6PKOlgNKgTFkc3 Au2QD4Ca6L/ZPPnOo2+9FHDxj69/93HF1FqoArQWW2h40VyY4vNi22UBbrzva4owGWxFwfpU J04dy62sbFm4XalynTlfQn1NOv1j8tpyRWF6bKVI3Xey9hd0yX+JNgPsW8WyLZBPcEDdjvkK E7VskU52aK/yECCNPctC6roU5pC5fG5SbzNCKqIBvIQOcMZXFHco0lTibu4hTGFfL4EyvlnY c/znAfFJSpyNJmLOxLvF7xMjeR0n3lirY4RLLiipymaPXOlTCb9Yd843JGmN4jVNYvd+F6Fo eVMfdCH0QteW+DYayzau9xbZ1MTIHRxQdi8p8VLf6TRakBrCUMwOc/3mLkBQo1Cm7gKt+Hq+ nrmZFRU5mCijlL6KCKLSEtZVpXRYbhFo0kWBxccZWST5yB7YKKEzrsuSJ8sTLx2qM1h1aFVS tcGSeWhA9NOaG/1xGkEZKbT8b5ed06Sqg6SDhWhexw6WYBqfC3S29reZgC03jI/Pim2ksock 4+fixrSfrcCST99Dc3QVumd8lOpsVUZm8NwR0HtIOQPXGnJ765RNHbXnPwsBsM9OSX42TqR0 jiJDScipeXip5E/9P/Lj/umq7iFPvRfHE1IOXvy9pezaDfn+1S8zb96UOqneS7XUEX28v6AY cRX1/TND+0Vrm1VsoZTE6dZ8oxm3oHB/4Rl9wVDGGnHS3+JCbk6e3mP4pRph513n7RcvVO7Z 1KL9txkIo62AcLCEmMKBQ8bf++GhOA1mD7T0KwPG3/ExhRLpZiJbUYDGCO3qn15DKB0O4Yb0 +seqJYoywiguCELbPeCrA5prlqpEFJRcp8apqk7AZDqgDUF0lttQ4LRIQ6o7YCta+djCFgLI DiVjpXsn753n0nPT1cvJ3rghsxM2JIE4kFMxnA/OmXTy8bkh+A27jJV4z8YXgRY9TQZ8uNRa 0xAFVx5GrWKxBhs3PN8ZmGLHxpQIiGZ9mja6Uo7pEeAQ2aGDmXyfXAAY8CT90UnwkdgVzl8/ oDA7l36UDzvLfrD7gFrVWFL8/XcHMFMrCvck8WaHuOALZkwQRzhpoSMPWMoiR/WMfkdtX39h 9tB3bhPMPXgFCsqvacEJZGQ1u0QRDC6NWVye6xd051TL17MWgOZ+GaoEF+wSPNvNvaR0E6fC u5SHOxteSm69h6zqmE8OfZRDZ5yxOUk9fgTSIPNfGQmiYaSnhBtkZDX9xX9ulMVfsVToZ4DD b3VJh2/ET22pHpLmmXygtFOFUimbPIlOgDt/uCH398YNpAEse02T1w717+0skqobS1k1RSeg y3bbYSLzeY4kYVItKnvG5VlGA+bB47SVuOJ0QbrqPVIT4rFHvnvvjMviGvMHlppL5pIfP9oh 5GhjcXR3kiYmJoXCUXnw4KgEYtN7uWMBNtnCNr9diRmrHHTSf3S7Asm0EHmDI5Cj/d2xNStH im8Y+uOLe8lYc9XniBpWnIPAiQmKvrFa4n7rnmAtNWKMB8W1DLHIP6B9XPEaWJ6dDcCC6bhC z3b6uqf2dRFkLtiXBM0JelqI5tdEm/RXaELc97Qtz7BKkKKhliEmKXplDt+yDXtJ0SHLv3H4 sP+dkCjTCixhaDG8ogI+cg69BgaF210juQMb1oQsYw+wSyzCGkda/8RK9MaA5VTiTb/z4z8e CqLVmY5FCHhRn5RRH0QOjg4stu3XYTi++sVJwDFO2uRYiayQY+RWf5vr3g/pXhxfTTnwaesL tR2Frgc+PSu6skBeArRzqXTbSRbKjfyyXcB+ES7mMv3a/rbKatfz2RvRWKhSgSee/wgVyz3y awdSmVNQUX9Qkn0eSqll7i5BzlB1A7SI/4UgetjDToRV0h3DAGN9REnB9zO7w== IronPort-HdrOrdr: A9a23:Hx4RjK9lICa/GWwdnv1uk+DqI+orL9Y04lQ7vn2ZKCYlEPBw8v rFoB11726TtN98YgBCpTn/AtjmfZqsz+8R3WB5B97LN2nbUQOTTb2KhrGSpwEIdReOj9J15O NPd+xRBrTLYmSSTvyX3OB7KbsdKaG8gdiVbC7loUtQcQ== X-Talos-CUID: 9a23:KX56TW2hxs7Axtff3QPX0rxfROkbS03W4VrsLErpJEpyR+S5RE+e9/Yx X-Talos-MUID: 9a23:zGyKMQpRqb4Cs4K3ArsezytGKJsyxKKSMnEUz4tWqpS0FXAgIyjI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,177,1774306800"; d="scan'208,217";a="278991497" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGscTra/OsnUlKy/bdgQYQjtbZYojxvim+Su9?= =?us-ascii?q?CQ9DEZrrjO7JdHuPabj2TtZ6WWuhpmGQT2tSjzhC2OXEdXYIlhk/uiTB?= =?us-ascii?q?ZmMLxN0Zt9f8LpeSO+7fS1xR/1yKJkHUUMMxD0EPALqP4ItFjkHgNH7w?= =?us-ascii?q?PEHGunMNkAY15/oml5lJJ9cQ=3D=3D?= Received: from mail-dy1-f177.google.com ([74.125.82.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2026 13:12:21 +0200 Received: by mail-dy1-f177.google.com with SMTP id 5a478bee46e88-304545f5206so12032221eec.0 for ; Sat, 30 May 2026 04:12:20 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780139539; x=1780744339; h=to:date:message-id:subject:mime-version:from:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=EfE/Y0Z2RiS0LjRwKyAy3QPTHiGFSslaHgfS0F16d/c=; b=X9WBB1NDa1oy4Nfy+l6aABzL6cl21pSC78ysw07rrNHdumr9ubQ4Y5OhfebOP73hcJ BszRG0KIVs/TNcqyoofWEOy144bkRTE7LB0RgsDeaaPUwAyKQWeNnZnXq9fRWXx7dQps 0yNtBsjfLTDNmrjSi1gOVkdQ0OtZ3MTY4WOUI+J9PRCIm2CFDq6DHzi7f8FpDVBhsOw3 8+AMcgEnVX5iK18o2TBuSs+PWKZhUQAx5PG6Nm9Tozvc2o14aFfGZKiFar55YmzUlwNu Duz9ZFcOD1jtVt3oyAD4qFktuz7GSDPxOP2twZvEeorPx17DZOzO3AuWcX5O/zVZ+z2y VAIA== X-Gm-Message-State: AOJu0Yz7DtFFeJU+PHkjNL/hh+Xju1+Tad2rbnXIvWc8Lqff7ZeukWi4 R/IoqMv6yvO7e403IEzewQgXSdXM/NpeIl9gzC7erXpUrs2iYgFahoVgXT1kOR0h X-Gm-Gg: Acq92OEarW+tn+Gv5qJRxitW/byBvgvZqHJz3osbOq4csZql0v9G+hhPcn0QjI0MqmO o62YFTX/Vja2wdSZ0aJcBoG8N18cmHNy5HKEOSD0EfCBuER7uBi1Zn94E0/dOvnEKtTIUZzmDRc rJhPQzQT6EFaiq3bQkO87FeVQxpqSZu/5NhuZlYJSb/Qr2CcAnTfKWQf0IEteHWg234h9ER6xOB hsDZRP1V4QHv+L0yhw2fMFp1MLgYyHmpL5C/bqP2EtJqd7NEa7v0xZz9vPS1T2uT5RClsMqbNpy rupmne9uJoljju5wwF8q+xkvgnYCOENhwraDZ88LcDfOatLs3WwfT+/CAAp7VMu+K9MvBgorkKV CZUgzpTW2e3yLp+aeI3xb/Jf7L8KcD3ZalM4qwVjwpVOKhJJMdpMMiN+LIIT5yFPuvp/7CYNqGq yMqW4V1hZDX/7LmZaVUeNR7Qsmg5Nr5iZp7J2M/4aTxubD2fNQBBI91qZk0nljtAJXwVY= X-Received: by 2002:a05:7300:4312:b0:2ce:25be:c8e8 with SMTP id 5a478bee46e88-304fa5a8b1amr1817445eec.17.1780139539132; Sat, 30 May 2026 04:12:19 -0700 (PDT) Received: from smtpclient.apple (li82-85.members.linode.com. [74.207.240.85]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-304ed5d26d1sm3822650eec.30.2026.05.30.04.12.17 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 30 May 2026 04:12:18 -0700 (PDT) From: Wenjia Content-Type: multipart/alternative; boundary="Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\)) Message-Id: Date: Sat, 30 May 2026 19:11:55 +0800 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3776.700.51) Subject: [Caml-list] APLAS 2026 Call for Papers (Wenjia Ye) Reply-To: Wenjia X-Loop: caml-list@inria.fr X-Sequence: 19520 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: --Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii APLAS 2026 -- The 24th Asian Symposium on Programming Languages and Systems December 1-5, 2026, Hong Kong SAR, China https://conf.researchr.org/track/aplas-atva-2026/aplas-2026 APLAS 2026 aims to bring together programming language researchers, practitioners, and implementors worldwide, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2026 is co-located with ATVA 2026. We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - programming paradigms and styles: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The accepted papers will be allowed one extra page to accommodate reviewers' feedback. Additional material intended for reviewers but not for publication in the final version, for example, details of proofs, may be placed in a clearly marked appendix that is not included in the page limit. However, the paper must be understandable without the appendix. Reviewers are not obligated to review it. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. Accepted papers must be presented at the conference. APLAS uses a light double-blind reviewing process, with a rebuttal phase to address factual errors and minor misunderstandings. The proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series. APLAS continues the tradition of the best paper award. Important dates, AoE (UTC-12h): Submission deadline: Mon Jun 15, 2026 Author response period: Wed Jul 15 - Fri Jul 17, 2026 Acceptance notification: Tue Jul 28, 2026 Camera-ready deadline: Tue Sep 8, 2026 Submission link: https://aplas26.hotcrp.com/ Further information: https://conf.researchr.org/track/aplas-atva-2026/aplas-2026 --Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii APLAS 2026 -- = The 24th Asian Symposium on Programming Languages and = Systems
December 1-5, 2026, Hong Kong SAR, = China

     https= ://conf.researchr.org/track/aplas-atva-2026/aplas-2026

APLAS = 2026 aims to bring together programming language = researchers,
practitioners, and implementors worldwide, to present = and discuss the
latest results and exchange ideas in all areas of = programming
languages and systems. APLAS 2026 is co-located with ATVA = 2026.

We solicit submissions in the form of regular research = papers
describing original scientific research results, including = system
development and case studies. Among others, solicited topics = include:

- programming paradigms and styles: functional, = object-oriented,
 probabilistic, logic, constraint programming; = extensible programming
 languages; programming languages for = systems code; novel programming
 paradigms;

- methods and = tools to specify and reason about programs and = languages:
 programming techniques; meta-programming; = domain-specific languages;
 proof assistants; type systems; = dependent types; program logics,
 static and dynamic program = analysis; language-based security; model
 checking; = testing;

- programming language foundations: formal semantics; = type theory;
 logical foundations; category theory; automata; = effects; monads and
 comonads; recursion and corecursion; = continuations and effect
 handlers; program verification; memory = models; abstract
 interpretation;

- methods and tools for = implementation: compilers; program
 transformations; rewriting = systems; partial evaluation; virtual
 machines; refactoring; = intermediate languages; run-time environments;
 garbage = collection and memory management; tracing; profiling; = build
 systems; program synthesis;

- concurrency and = distribution: process algebras; concurrency theory;
 session = types; parallel programming; service-oriented = computing;
 distributed and mobile computing; actor-based = languages; verification
 and testing of concurrent and = distributed systems;

- applications and emerging topics: = programming languages and PL
 methods in education, security, = privacy, database systems,
 computational biology, signal = processing, graphics,
 human-computer interaction, = computer-aided design, artificial
 intelligence and machine = learning; case studies in program analysis
 and = verification.

Submissions should not exceed 17 pages, excluding = bibliography, in the
Springer LNCS format. The accepted papers will = be allowed one extra page
to accommodate reviewers' = feedback.

Additional material intended for reviewers but not for = publication in
the final version, for example, details of proofs, may = be placed in a
clearly marked appendix that is not included in the = page limit. However,
the paper must be understandable without the = appendix. Reviewers are not
obligated to review it.

Submitted = papers must be unpublished and not submitted for = publication
elsewhere. Papers must be written in English. Accepted = papers must be
presented at the conference.

APLAS uses a light = double-blind reviewing process, with a rebuttal phase
to address = factual errors and minor misunderstandings.

The proceedings will = be published as a volume in Springer's Lecture
Notes in Computer = Science series.

APLAS continues the tradition of the best paper = award.

Important dates, AoE = (UTC-12h):

     Submission deadline: Mon = Jun 15, 2026
     Author response period: = Wed Jul 15 - Fri Jul 17, = 2026
     Acceptance notification: Tue Jul = 28, 2026
     Camera-ready deadline: Tue Sep = 8, 2026

Submission link:

     https://aplas26.hotcrp.com/
Further information:

     https= ://conf.researchr.org/track/aplas-atva-2026/aplas-2026= --Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051--