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=EZJVskqJ; 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 8AECD40092 for ; Sat, 30 May 2026 11:09:51 +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=sEnTbYd5WwtYwmnROWoWp3lo4rDXjtKxBAIzTT3TzRc=; b=EZJVskqJIDSMg2muQ6a+FxIErJ4sG2fntWV/nYUF20LOkMzk5kNkYQ4D YCZeoed8rcSVHWCk6sOgV9vSKw3GtnTI7YYhZvV0DV7Bbb0s+kMprDZIX Zwrb7I1DtT/XmxeCBWNhiy1HvQ9k+F/gMLedKMuAOt3PumD/7UJ6/f79+ c=; X-CSE-ConnectionGUID: /MkRriiAS4CekuGf+AbTLg== X-CSE-MsgGUID: 7YnNKXvSSCippQRM3cEs2w== 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="278991032" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2026 13:09:51 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 46A5780D41; Sat, 30 May 2026 13:09:51 +0200 (CEST) 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 AECAD80519 for ; Sat, 30 May 2026 13:09:41 +0200 (CEST) X-CSE-ConnectionGUID: aEtLj5SsQQW7sX5Iq66kEQ== X-CSE-MsgGUID: pPhdRCbSQe2+Le0e3k0kOw== IronPort-SDR: 6a1ac575_KSk1MLVJv9PVAI8ta3CcxjG03N5zoFFxr+wlQQvTw4cVZEp XXHMZeGoZXX/G2wbLmziqqf6Ud7wdklZ7+5Uxag== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HoBAAGxBpqgbRSfUpQCoUaaCBfMwRUjVOGWIIhhD6HD?= =?us-ascii?q?DKLS4gWFicCDwEDAQwBPRICBAEBAQIEhH+NNQIeBwEENBMBAgQDAgMBAQEBA?= =?us-ascii?q?QEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEiGQcOO4ZPDYJbgSxhAgUDO?= =?us-ascii?q?wEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCDR8RZgsjA?= =?us-ascii?q?RsMDAYDEgkHASg0EQEFAVeCYAGCIgEGEAEDNgMRo3WCJIECQos7gRcFAhaBA?= =?us-ascii?q?YINBoFHBYEe130KGSgNbwOBZAIBBgkBDIE3hHgqTw6CWgEqgTUBhBaEAAF6J?= =?us-ascii?q?4FjRYEVJxuCFSBxgQWBXAQYgRlag2iCLwSCInoSgXWNVAEHBx8SCAEcBggCA?= =?us-ascii?q?j0LBRASAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTAggDBgQLBwUfCgIMF?= =?us-ascii?q?AooIhIrCgM1Eg8WBRUBCAYCAgQEAgQMAgkCAgUDBAIEDQMEAQEIAgItAwEDG?= =?us-ascii?q?QgJCAILBREYDAsHMQMQCQMfAxQaCBE0CAYWARoHBQYLOBUFDBEBAQJHAiUEH?= =?us-ascii?q?hEIAwEJBxICDwgDDhsCAgQCCQEBBg0BAgIGAgIBAwcYAwQdBAMDBwICCQkED?= =?us-ascii?q?QIQChIVAw4DBw8CBAwHMAsDAg4CCQgMFwICAgYCAwMDBAkBAgEBAQEBAQECB?= =?us-ascii?q?wMDAwIDBgMXBwYDBAYBBAQDAwIDBQEDAwMFAwIDAgYHAwYJAQEBAQMCAggDC?= =?us-ascii?q?AMMCQUFAxsDHgYBAgIDAgECBgYDBwEKAwQCDQMDBAIDAwMDAwMDBAECAgEBA?= =?us-ascii?q?QIDAQMDBAMBAwMCAQMHAgIDAwMLAQIDAwMFAwUBBQMFAgIDBQUDBQICCgIDA?= =?us-ascii?q?wMCAQMCHAMDDAMDBwMKDwEUAwMCAwMGAQMHAwMDAwMHAgQDCAIGBAMDBgIDB?= =?us-ascii?q?AYDAwIDDQgDGAIIAwMDAgMDAwIDAwUBAgICBAUHAwMDAwMCAwoDCwUDBAMDA?= =?us-ascii?q?wQCAgMMAgYBAQMFAwMDAwICAwMEBAMDBwIKAgMGBAIDAwEDAwUFAwUBBgcCA?= =?us-ascii?q?wcBAgIDBAEPDQMFAwoJDwMLCQcBBwwBPAwHCiQEBAwqARQUBwQlGWcHBwKKV?= =?us-ascii?q?l0aD4NtUEFAQgMbCT1XAQGkT6BlIgkBBgJggWeBCh8uhAKIH5VUBC+HJZAuk?= =?us-ascii?q?xiZBo4JlWMTWQGEPAIEAQEBAwcHESQSgUkjgVxNI3oBBm2BST8RAxkPV41hg?= =?us-ascii?q?2uFE8UwNzU+AQcCBw8CgXODW4xZgUsBAQ?= IronPort-PHdr: A9a23:Q6+UDhV4RpVLWIKd4r7qQLVI1RzV8Kz8XDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtids6oP0rWM4/CoGTRZp8ra7DZaKN0EfiRGoPtVtjRoONSCB0z/IayiRA0BN +MGeXlbulqWCgxrIvv4fEDYuXao7DQfSV3VPAtxIfnpSMaJ15zkn++99IfObApWmTGzfa19L AmsrQXWq8IanZZuJrw+xxbHonZEYfhayX9nKV6OnRvw+MS98Z1++ChUp/4t6tRMXKr0cqk3V 7BUECgqP2Uo78D3qBfPSheC6XQbXmgKiBRDHhLL7Av9Xpf/syv6svRy1SyHNsDoTr46RCqv4 b5zRBHnkCkIOCc1/X/YhMJtlK5Urw6vqBJ5w47PfYGaL+F+cb/HfdMbXmVOQMBcXDFcD4ymb osPC+0BPftEr4T4ulADoweyCRWqCejyzDJDm3340rAg0+k5EQ/JwAMvEc8Nvnrastv7M7wfX vqpwKnN1zjDb+9a1Sn75YPVch4hu/aMXbdofMXR10YvEQHFjlSKpof4OD6U2PoCs26Z7+phT +2ui3AopgVwrzW0yccsj5PGhoMRylze6Sp5x4M1KMS+RUVmbtGqDIFeuDuGN4tqXMwiWWdot T4+x7EYpZK1ciYHxIo5yhPbZfGJfJSF7w/9WOieIDp1gG9odrKiihux9UWt1+LyWtew3VtUs CdIktfBu20M2hHX7MWMV/Vz/kCk2TmV1gDT7PlJIVoqmqrANZEu2KQwmYYTsUTZBCP2n1/2j KCOeko64Oeo8OTmbanmppCGNo90kBvyMqM0msywB+kzLwsAX3CD9Om+27Dv51D1TKtKg/Esk aTVrorWKdkYq6KlGwNY0Iku5wyhAzu60tkUh2cLIV1ZdB6djIXkO1fDK+3iA/ilmVSjijJry ujGPrL/BpXNKWDOkLL7crZ8705Q0Rc8zNBC655NBLENPfH+VlPruNzXCR85NAO0w+L5B9lny oweXmePDreYMKPUr1CI+voiLuuDaYMPpTrxNfgo6+TtgHMng1MRYKqk0YcPZHC9BPtmIkGZY XT2gtcGFGcHpgQ/Q/LsiF2AUD5cfXazULw46zw6E4+mAoLDSZqsgLyFxiu0AppWZmVeBlCWD Xjob5mEW+sLaC+KPsBuiDkEVby4R48l1BGurxP6xqF8LuvU/y0YrYjs2MJ05+3VjxEy9CZ7A 96T02GXV210mHgHSCcs3K9juUx91kuD0a9gjvBFDdBT6O1GUgA5O5DG1+F1Bc38VhrbftiXV laoQc+oDCk0Tt0rwt8OZ19xFMiijxzexiaqDaIZmr+XCJAu/aLc2H/xJ8l5y3nYzqUuk14mQ s5XOWK7ha5/9g3TCpbRnUuWmamka7gS0TLL+mub0GWOuVtXUBRsXqjdRX4Rf1PYo9vh6kPZV 7+uB6wqPBFdxMCfN6VGcsbpjU1IRPj7ONTRfWaxm2CoCBiQ372CdIXkKC0h23DWAU0A1gQS5 mquNA4kBy7nrXiNIiZpEAfQbkXu8OA2/Gy2SE01xhCHPhNJ2L+8+xpTjvuZHaBAlokYsTss/ m0nVG222MjbXoLoT2tJeaxdZYh4+1JbzSfCsBQ7OJW8Lqdkj1pYcgJtvkqo2Q8kQp5Yn50Mq 3UnhBF3NbreyElIIiyV25LxM6zaezfa8xWmaqqQ0Vbbg56N4qla0P0jsB34uR2xUE8r8nFpy d5QhmSR4JfLBRsfAMzZXUM+9hw8rLbfMWEm/42B83pqPOGvtyPandIkAOxw0hG7Y9JWK7+JD if3GsweQsS/cakkwgjxKB0DO+9W+eg/OMbOm+Ku/qmtMa4gmTuniT8C+4VhygeX8DI6TOfU3 pEDyvXe3w2dVj66gk3z+sbw0ZtJYz0fBA/dgWDtGZJRa6tufI0KFXbmIsu5wc97joLsXHgQ/ UCqBlcP0sukMRSIaFm10QpV3EUR6Xup/EnwhyN5lTMop7uSjXLmzOHrdR5BMWlOBSFjgVrqP YmonoUCRkH7JwMtlRaj+QP73/0E+OImdTSVER0OJniufAQAGuOqu7GPYtBC8sYtuCRTC6GnZ EyCD6X6u10c2j/iGG1XwHY6cSurs9P3hU8f6irVIXBtoX7eYcw1yw3Y4YmWWvNX3DsPVSQp1 xHYA1G9O5+i+tDexPKh+qiuEnmsUJFea3yh0o6Gtiqy9GA7XzWwmvmynpvsFg1wgkqZn5F6E C7Pqhj7eIzi0a+3ZPlmckdfD1j588NmG4t6n+Pcnbko0GMBztWQ9HsDyiLoNMlDnLn5dDwLT CIKxNjc5E7k3ldiJzSH3dCxWnKYy8pnL960BwFekj0w6cJLAbaZveJski58o17+pgXUKfRwh TYSz/Iy5WVS3L1P4VBwiHXHROlCRQFRJmT0mg6N7syioakyBi7narW22Edk3JigALyEvgBAS SP8c5YmEzV365Y3O1bN3Xvvr4D8LYaMK4tJ61vEyVGZ37AGTfB53uAHjidmJ2/n6Hgsyupgy AdrwYn/p4+fbWNk4KO+BBdccDzzfcIavD/33sM81o6b2Z6iGpJ5F3AFRpztGLi3HTQQtP32O lfQODI5o3afX7HYGEXMjSUu52KKCJ2tO3yNcTMGwNNgRRCMKR0BqA8RVTQ+2JU+E0r5oa6pO Fc87TcX6FnirxJKwe89LBjzXFDUowKwYys1QpySf1JGqxtP7EDPPYmC//p+SmtGq4a5olXHe Qn5L0xYSHsEUUueCxX/M6mysJPepvOACLP2LuOSM+rS77UECrHQg8roi9Uu/i7QZJ/Xbz8yU rtigBoFBTcgRKG7030OU3JFzXqVNpzH9EnkqHEn8JztorO2Bkru/dXdUecKbYcxq0ju0/vTa bLC1mEkd1M6ntsN3SGakuZHgwwc2ys2JWX9T+hS52mQEurRgvEFVU5DM3EoOpMas/Jiglsff pOF77G9nr9g0KxvAg8dBwW9x5n7OZxUfzPvcw6ZTEeTaubcLmXFkc/9PPvuFe0O0LcG8EDu8 SCSF0upVtiavx/uUR3nceRFjSXAeQdbpJn4aRF1T27qUNPhbBS/dt5xlzw/h7Mu1DvMMiYHP D5wflkozPXY5D5Egvh5B21K72Z0ZeiClSGD6uDEK5EQ+fJ1CyVwnuhe7Tw00bxQpC1DQfV0n mPVoLsM6xm+lfKTzzN8TBdUgjNChYbOsVQ7fKuApsEGVnHD8xYAq26XDlVCptdoDMHup7EFy tXLk/GWSn8K+NbV8M0AQsnMfZ3bdiN7bFy5QniNXFNWKFzjfXvSjEFcjvyIo3icr5xh74Pph IJLUbhDElo8CvIdDE1hWt0EOpZ+GD0+wtv5xIYF42SzqB7JSYBUpJfCA7iNDPPtKT+IgOgaT xQNyLL8a48UM8eovi4qIkk/h4nMF0fKCJpVpTZ9awYvvEhX2H13T2l211O8Lw30sCdVGvmzk Ro7zAB5ZK5+kVWkq0dyLV3MqiwqlUA3ktiwmjGdfgn6K6KoVJ1XAS7536DUGpz+SgdxKwa1m B48XN8rb71UhrpkM2tsjV2F0XOuMftVTKkBbA5JgP/ON61u3lNbpSGqg0RA4LmdYaY= IronPort-Data: A9a23:2v74MqssFhUwieJwCUYq/IVn1ufnVLFaMUV32f8akzHdYApBsoF/q tZmKWrTPvaLZDP3eYolYYvn9k1Q68eBn9RmTgJqpC49HioX9ZOVVN+UB3msAy7DdceroGBPv 5xPMIGYRCwXZiaB/Un1auCJQV1Uj/zgqm/UUbacUsxJbVY6Dn9n1VQ7wrBRbrdA2bCRGxmKt c75v/rRMVqk3y8cGm8P4spvkjs21BjJkG1e5ABWicxj5geEySFIV8pHfMldElOhKmVqNr7iL wr85Orhlo/p109FIs+olL/9bnoLTtb6VSCSimBbUrSVmRNLoCo/yM4TbJLwvm8K49kht4kZJ ORl7fRcey9wVkH/sL11vy1jLs1LFfEuFInvcSHu65TLp6HxWyCEL/1GVCnaNGCDkwp9KTkmG fcwcVjhYv0f7g4fLX3SpuRE36wewMfX0Iw3s1x86TOENu0feK+cWJWXxMYGgjQdv5UbdRreT 5JxhTtHaR3BZ1hDKw5SBstuxKGngX7wdzAeo1WQzUY1yzePilUrjf69apyMKoTiqcZ9xi50o krZ8mL7AxgLOY3B4TWA+3OowOTImEsXXapLSOLpp6Q12wT7Kmo7ECUWWWGQq8KAhxT9f98HJ hcXoikJsv1nnKCsZoKgBkXn8SDsUgQnc9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqcLqScC0 1aIm5blFGUqvuTFETSS8bCbqT70Mi8QRYMfWcMaZQIo//3h/bootyvwEc1TTY+s0IP2NAill lhmsxMCa6MvYdnnPphXEHjCijOo45TYF0s7v1WPGG2i6Qx9aciuYInABbnnARRofN7xorqp5 SZsdy2iAAYmU8nleMulHr1lIV1Rz6zZWAAweHY2d3Xby9hSx5JTVdsNuWkhdRkB3jcsdjjub 0ve8QJX79k7AUZGmZRfOtrrY+xzlfaIPY28Cpj8MIASCrAvL1Tv1H81OiatM5XFyhlEfVcXY s/DKZ7E4LdzIfgP8QdasM9EgeR6mnthnDqPLX05pjz+uYejiLeuYe9tGDOzgioRtctoeS2Mq 40PZfiZgQ5SSvP/aSTx+IseZwJCZ3siCJy874QdeuefK0A0UCssGt3A84MHIoZFpqVykvuX3 3efXkQD9kHzq0eaIiq3a1diSojVY7BBkVwBMxcBA3OUylk4QIP27K4gZ5o9JrYm0+p4zM9Ld foOeuTeI/EWSj345CgvTZrtiLNTZDOHrB+8ZXu7UmIve7plYRLDwf7/Xw7V7CJVJDGGhcg/h LyB1w3gXpsIQTp5PvvWcP6Cy1CQv2AXveBPA3vzPdhYfXvz/LhQKyDeiuE9J+cOI07hwgS2+ hm3AxBCg8XwuK4wrcf0gJ6bo7eTE+dRGlRQG0/Z5+2UMQjY5m+S/p9SYt2XfDzyVHLGx4v6X L97l8rDCfwgmEpGl6FeELwxlKI32IbJlo9glw9hGC3GUkSvBrZeOUK55MhotJBW57pnqACzC 1Ou+N5bBO2zA/nbMmUtfSgrUufS8ssvuGj2ze80K0DE9iNI7OK5cUFNDSKt1g1ZDpVIab0A/ 8lwlvIS2QKFjjgSDu2nlQFRrmSFEWwBWf4ot7YcG47atTAowVBjP73aBiv85YmXWuVINm4WE Bam3vPCjotD23uYImYSFGfM78VZl58hqBBH935cBlWry/7upO474w1VyhszFj9q9xRg1/liH FRkLGhnDPyq0wYzo/NcTkauNQ1lLz+IyHzbklcmujXQcBi1azbrMmY4B9eowGkY1GB5JR1w4 7CSzTfeYwbAJc3e8HM7Zh94lqbFU9d0ywzlnfKnFeSjG70RQ2Lsoo2qVFoyhyrXO+EDr2yZm rAy58d1U7PxCgAIqa5iC4W666UZeCrZGEN8G8Ne7IE7NkCCXgqt2Aq+CVG7IeJMAP3ozXWWK eJTIuB3ahDv8xrW8x46A/YXLq5WjcwZwoMIWonWKF4st5qdqTtUs6zsyBXuuV9zQ/hTlZcSF 4CAURODDW2aulVMkUDvssRvGzS1cPsEViLGzcG39+QFTaweueRocUwN7+aSvF+TOjRJ5xi/4 QHJPffX68dAyo1cuZTmPYseJgezKO2pavmB9QSzktIWdvLJE57EmD00o2ndHTZ9HOUuSfUus p+Sovvb4Vjjvr1rd0z4wby/T7Jo4+e2V8ppavPHFmFQx3a+aZW98ik99HCdAr0XtcFW+e2MZ RayMem0fv4rA+Zt/mVfMXViIkxMGpbMT/nSoA2mpK6xETkb6wvMKe2n+VLPbW12ciwpOYX0O jTrusSBt8xpk4BROCAqX/1WIYd0AFvGa5sUc9fcsTq5DG7xpnigvrDktwQr6BCVK32iPfv53 6n4RUnFREzvgJ3L8dBXjdUj9FlfRnNwmvI5cU8h6sZ7wWLyRnIPKeMGd44KENdImyj1z4v1f yzJcHBkMyjmQDBYal/p1bwPhOtE6jAmYb8V5wDF/n94rw+zDYKERbdwr2JuuicuPDTky+6jJ JcV/XiY0t1dBH12bb572xB5qb4PKjDmKrYg9kX0ksi0CBEbaVnP/GI0BxJDDEQrDOmU/Hgm5 gEJqaRsT0SySEq3GsFlE5KQ9Nf1oxu3pwgVgeyzLBozdmlVICCsCBEyBg0r7oA+UQ== IronPort-HdrOrdr: A9a23:sg1b3a/OCo0WKlJyMK9uk+DqI+orL9Y04lQ7vn2ZKCYlEPBw8v rFoB11726TtN98YgBCpTn/AtjmfZqsz+8R3WB5B97LN2nbUQOTTb2KhrGSpwEIdReOj9J15O NPd+xRBrTLYmSSTvyX3OB7KbsdKaG8gdiVbC7loUtQcQ== X-Talos-CUID: 9a23:fI+Idm/LF6/nb0cKQP+Vv0c5BuQnL0bG9U7vfFSIVEdwFuOWZGbFrQ== X-Talos-MUID: =?us-ascii?q?9a23=3AjPfEmQ0RGVbpZmguBw9MSTgxDTUj+5yuBHomm64?= =?us-ascii?q?/tpPHESEoNmye1DeQXdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,177,1774306800"; d="scan'208,217";a="147992731" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHgnNdewD0Lzjiqwv8WmF6LDkZYIgEaANqUnS?= =?us-ascii?q?5rnWPovEe54WMz5SLOIds82MGNXIj7N/A9+ygD5RowDEV5eZA3x0V+D6?= =?us-ascii?q?GwvT0eawPQUtjijGbL/B/cEP/0njfIHUkfahjKnjqLBXznuDr7s35PkO?= =?us-ascii?q?J6behacNDCylaPWBk3YES9ig=3D=3D?= Received: from mail-dy1-f180.google.com ([74.125.82.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2026 13:09:40 +0200 Received: by mail-dy1-f180.google.com with SMTP id 5a478bee46e88-304e6c6464dso3961250eec.1 for ; Sat, 30 May 2026 04:09:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780139379; x=1780744179; 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=sEnTbYd5WwtYwmnROWoWp3lo4rDXjtKxBAIzTT3TzRc=; b=sk6gJG9Qcl2J7nQClz0p6XPWlEZtsEVHdMpm8vLKkL4PZgfHcWmctAQ2aa7/d4ULQ+ Qf7JjyFf5JlxaGKt3yLCqigcb2jkCwBphEO2sM9lS5SQTGbQwP+eQDOQy6SKoUWuv10V 55272NSSi/kWUrUeG97znzERwnZZMWsQweu9jPeF24ys5sMRLRzKILY8v0n0rUg8hV8z OCVumrHGfUXOpklAsOirDwVJCHPzDFL2CFIbVfb6kPEVHU+Mts0vxMxrV+cGNYFbTgAK AowrulAv/1H2e9fd+EFdLCt8t5urk+iwIgDORlbglKYs91LayR+ZvDn4sd8u3HxpFF10 f7Zw== X-Gm-Message-State: AOJu0YxC413PpWcYO+q+lmsPsxbUrMd2hrlLtCvL8t8oGx96Kg8GzRGT iCsML5EPbY4WDcqP9qrFLXmcQZK02V1Q4zLRmUUM6Pys+gWfgw6+gXYNZm/4n7RW X-Gm-Gg: Acq92OE5MAT88dsQIMIPl7QceUTUHG9SK5RYU4NXLSTpoSWSpo/bypsgN14aYRm7oO3 mQxtfRCl6rFQMY6OnxEa0kDoFidncNyEkbt8YcrJjUa9yqk5y89GV3c5j7WH4gPxiRV7USOPZ7c Y1ubomShAC+45yuoARsMgvPlV+wUkzPMarvFq4s5Yl9FC/AQjZ8taIGstZkqgZ5vNE4baOypr70 esjBecpE9va9rsMPKITDgd9/cDHsn42DirYE114UvLVIC1yQGVzSBn11sRdiVuocWK25dHT+fSf A652NihGyPRTbbBfhCk3Z/B89FZMBVXHqU5l2nnrdY1EhB3TNo2lNtn+hXE32tf6CIZu0FjcDCS LQ1Uf1e5QzEnR744tlolnQphFpLnRrbxWmuYnooKSUkmYsbtF3J+y5SglPoPWyaZR/twjgvbgVJ Y8v9upCTfzMjxlD0MI+P4xOw1ECgYm4p0wESht+wimZQVa3Hs+fVLOtB3f3XwornsnWLg= X-Received: by 2002:a05:7300:6c84:b0:2d8:97d6:6abc with SMTP id 5a478bee46e88-304fa67401amr1789175eec.22.1780139378733; Sat, 30 May 2026 04:09:38 -0700 (PDT) Received: from smtpclient.apple (li82-85.members.linode.com. [74.207.240.85]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-304ed130dafsm3624567eec.0.2026.05.30.04.09.37 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 30 May 2026 04:09:38 -0700 (PDT) From: Wenjia Content-Type: multipart/alternative; boundary="Apple-Mail=_899FBE83-1DC7-45B5-8F7B-E08A3A681412" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\)) Message-Id: Date: Sat, 30 May 2026 19:09:14 +0800 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3776.700.51) Subject: [Caml-list] APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye) Reply-To: Wenjia X-Loop: caml-list@inria.fr X-Sequence: 19519 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=_899FBE83-1DC7-45B5-8F7B-E08A3A681412 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii APLAS is of broad interest to the programming languages and TYPES = communities, including students working on type systems, type theory, formal = semantics, program analysis, verification, and related areas. CALL FOR PAPERS APLAS 2026 Student Research Competition and Posters Co-located with APLAS & ATVA 2026 December 1-5, 2026 The APLAS 2026 SRC and Posters track invites submissions for its Student Research Competition (SRC) and Posters track. This track provides an interactive forum for researchers, practitioners, and students to = present work in progress, early-stage research, fresh ideas, and recent = practical systems or tool developments. The track has two categories: 1. Student Research Competition (SRC) Open to undergraduate and graduate students. Entrants will present their work during the poster session. Selected finalists will then give a presentation to compete for first, second, and third-place prizes. 2. Posters Open to non-students, or students who do not wish to compete in the SRC. Authors will present their work alongside SRC entrants during the main poster session. Submissions should fall within the scope of APLAS, including programming languages and related areas. Important Dates, AoE (UTC-12h) - Submission deadline for extended abstracts: August 22, 2026 - Notification: September 26, 2026 - Submission deadline for posters and revised extended abstracts: = November 7, 2026 Submission information: Extended abstracts should be formatted using the acmart LaTeX template = with the options sigplan and review enabled, be no longer than 3 pages = excluding bibliography, and be submitted in PDF format via EasyChair. For SRC submissions, the student should be the sole author. However, on = the EasyChair submission, supervisors should be listed as authors after the student, so that reviewers and judges can identify conflicts of = interest. CFP: https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-posters Submission link: https://easychair.org/my/conference?conf=3Daplas2026srcposters= --Apple-Mail=_899FBE83-1DC7-45B5-8F7B-E08A3A681412 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii APLAS is of = broad interest to the programming languages and TYPES = communities,
including students working on type systems, type theory, = formal semantics,
program analysis, verification, and related = areas.

CALL FOR PAPERS

APLAS 2026 Student Research = Competition and Posters
Co-located with APLAS & ATVA = 2026
December 1-5, 2026

The APLAS 2026 SRC and Posters track = invites submissions for its Student
Research Competition (SRC) and = Posters track. This track provides an
interactive forum for = researchers, practitioners, and students to present
work in progress, = early-stage research, fresh ideas, and recent practical
systems or = tool developments.

The track has two categories:

1. = Student Research Competition (SRC)
Open to undergraduate and graduate = students. Entrants will present their
work during the poster session. = Selected finalists will then give a
presentation to compete for = first, second, and third-place prizes.

2. Posters
Open to = non-students, or students who do not wish to compete in the = SRC.
Authors will present their work alongside SRC entrants during = the main
poster session.

Submissions should fall within the = scope of APLAS, including programming
languages and related = areas.

Important Dates, AoE (UTC-12h)

- Submission = deadline for extended abstracts: August 22, 2026
- Notification: = September 26, 2026
- Submission deadline for posters and revised = extended abstracts: November 7, 2026

Submission = information:

Extended abstracts should be formatted using the = acmart LaTeX template with
the options sigplan and review enabled, be = no longer than 3 pages excluding
bibliography, and be submitted in = PDF format via EasyChair.

For SRC submissions, the student should = be the sole author. However, on the
EasyChair submission, supervisors = should be listed as authors after the
student, so that reviewers and = judges can identify conflicts of interest.

CFP:
https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-pos= ters

Submission link:
ht= tps://easychair.org/my/conference?conf=3Daplas2026srcposters= --Apple-Mail=_899FBE83-1DC7-45B5-8F7B-E08A3A681412--