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=ZryqNh47; 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 966194009A for ; Tue, 4 Aug 2026 18:01:38 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=pSU4s7iZ63Sk1jo6nkQEwzjSr+n/Mrrb8Pl7bTtDcqM=; b=ZryqNh47oMYfE9FP3joXESxNdPg2oVhWAyOMyxzvLj8v81qj2zM48Y99 zbDv3wlhlPeakxCgeY7Tx4fWrRnBSQDXmO4487ZOPPe/j9hyxCUbH2dRd SmhbV+mBTfivJuQr+MNKbhDe68p8u2C0tV3TVr0OGdgfyXQZg6MeXLKiS 4=; X-CSE-ConnectionGUID: 5BFvCliPSvmCCtS8TKCQPA== X-CSE-MsgGUID: PjvqVazlSZClSiR79nBUwg== 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.25,204,1779141600"; d="scan'208,217";a="289100518" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Aug 2026 20:01:38 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id B95E7817DB; Tue, 4 Aug 2026 20:01:37 +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 A310B81746 for ; Tue, 4 Aug 2026 20:01:23 +0200 (CEST) X-CSE-ConnectionGUID: KSFVIUZdS4aR6OeakrnYOQ== X-CSE-MsgGUID: dHfreRJ6SEizlgS7FF8Wcw== IronPort-SDR: 6a7228f3_UAXPi3GsPyRJc2BKfsnIIDbbj8xC1dHaj+mwDsIO719tS2G uCfSwRxBjSRrEYU8p7YxlvnSHQMoqMxpibCN3pQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HfCgCTJ3JqfC7YVdFaDoUMgQpeNAQLSYRYgSOCLIwDg?= =?us-ascii?q?iGBFoVWkFIJhQKBaYErPQIPAQMBDT0UBAEBAQIBA4R+jWkCHgcBBDQTAQIEA?= =?us-ascii?q?wIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDhIphk8Ng?= =?us-ascii?q?ls7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QUCDR8/OAsGHQEbDBIDEgkHNwIjAREBBQEjEhQOgmABgiIBBhABAzcDEbMWg?= =?us-ascii?q?QJCiz2BFQUCFoEBgg0GgQnZXwoZKA11gQpcAgEGFoE3hHgqXYJeAYFfAQIOh?= =?us-ascii?q?Ag7hGgbgg2BFTWCPoF7gVwEgSkBEgFOgy6CagSCIoEMgkg7hSKKByYIBxcDB?= =?us-ascii?q?wcJBQQcBgUFAj8JBQEPEgMEAwQEAQILCQoJAwMCDgIIAwIIBhkBPxIEEwoNC?= =?us-ascii?q?wcFHwoCDBQKKCISAikKAQIBHwosAxQZAQEHBgICAwEEAgQMAgkCAgUEAwIKB?= =?us-ascii?q?AMDBAEBCAICLQMBAxkICQgCCwURGAwLBQIKJwMPAQkDHxccCBE0CAYWARoHB?= =?us-ascii?q?QYLNxUFDBEBAhsCIAQdEQgDARgEAgICAQsDBBYEAhUDDgMHDwINBzkDAgwCC?= =?us-ascii?q?QgMFwICAgYCAwMDCgECAQEBAQEBAQIHAwMDAgMZBwYDBAQBBAQDAwIDBQEDA?= =?us-ascii?q?wMFAgIKBgkBAQEBAwICCAMHAwoJAgUDGwMcBgECAgMCAQIGAwcIAw0DBAIDA?= =?us-ascii?q?wMEAQICAQEBAgMBAwMEAwEGAgEDBwICAwMDCwECAwMFAwMFBQICBQUDBQICC?= =?us-ascii?q?gIDAwMCAQMCHAgDBgMSARADAwYBAwcDBwIEAwgEAwYCAwgDAwIJCAMUBgMDA?= =?us-ascii?q?wMFAQICAgMFAwMICAQDAwQCAgMMAgYDAwMCAwMFAwMHAgQCAwYDAwMBAwMFA?= =?us-ascii?q?QIHAgMHAgELCwgDAgQCCQcJBwECCwQCCAQNCQQCBAICDwQEBQMDBwEBAgECC?= =?us-ascii?q?AUGAwICEQUICgUGAgICHQMiAw8GAQkFAgEFDgcFAgIKEgMGAgMEBQUBAwEKC?= =?us-ascii?q?wEBAgMDAwUIAQIEAgUDAwMDAQECBAIEAwIDBgMDAwMCBQUFAwkHAgYKAQQFB?= =?us-ascii?q?AoBAwMDAwUFAwICAwMDAgQGAwQCAwECCAQGBQMDAwUCAwMCAgIDAwUBBAIDA?= =?us-ascii?q?wMEAwMDCAcFAwMFAggDAwkDAwsCAiECBQMDAwMGAwcDAwQDAwMHBwIDAgMHA?= =?us-ascii?q?wIFAgcFAwMFAwYBAwIBAwMICxUiAwMBBQMDAgEDAgUDAxgCAgQFAwMDAwMDC?= =?us-ascii?q?QQCAgEHBgQCAgIBBQgFBAMFBgICBAMIAQEFAwMFCA8BAggLCQgTPQELBzIEN?= =?us-ascii?q?gEGDhQFKSFfjhogggBvZCgEgQVVBZNykDCjMGiDP4Rzhy6VVDOqbJkII41nl?= =?us-ascii?q?WICE4RiTxEkEoFJI2xwMxojL1KCNlADGQ9XAY1gg2uFE4ohvQErMj4BBwIHD?= =?us-ascii?q?wKBc5A0gUwBAQ?= IronPort-PHdr: A9a23:v9sM1BxLf5ca3i/XCzLhw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xKZvawm3AWXAs3y0LFttan/i+jYQ2sO4JKM4jgpUadncFsor/tTtCEbRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTS8bL9oM Bm6sArdu8oIjYZjKKs61wfErGZPd+lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLluwHMQgeW+HYSXXgYngJHDAbZ4h76WIzxsjbhuepmxCaaJ8z2QqsqVjmk8 qxmVQXniCYDNz4+7WHXlsl9h79VrR69uxByxZPfbYeIP/R8Y6zdZ8sXSmVBUMhfVCJPH52yY JcUAuUbIepVtZPwq0cSoRa8AwSnGePhyiVPhn/zxaA0y+UhEQfJ3AwmHtIOtnvUp8j0O6cTT +++0a7FzDrFb/NQ2Df97ofIcx8gof6SRr9wfs/RxlMuFwPBlFmftYvlPzaM2+kLrmOU4PZuW /i1hG47twF+vCKvxsE0h4XVh48Y1lTJ+CtlzYsxJdO0VVB3b9G6HJZOqy2UOYR7TM0/T2x0t yg3xbMLtJy7cSYK1JgpyAPSZv6HfoWI/B/uUvuaLzl/hHJgYr2/hhCy/FC7yu39Wcm0yFJKo TBDktXWsXANzRPT586aQfV+5keswSiD2xzX5+1eIk05lbDXJ4A8zrMxjJYevkXOEynrk0vsl qCWbF8r+u2w5uTnfLrmopicOpdxig7kM6QuntWzAfw6MgQTRmSb9+ux2bz58U32R7VKifI2k q3Hv5zAOcsboau5DxdU0oYl9Rm/Ey+r3MoEkXQDNl5IexKKg5L3N13TIf30F/iyjlW0nDdu3 f/GP7nhApvXLnjElbfsZbl860hayAoyy9Bf6J1VCrAfL//oVU/xscbXDh49MwCu3+nnD9B92 psEWW2TGq+ZLL/SsViQ6+0zOeaMYYsVtC/5K/gk/P7ukWQ0mUQdfKmsxZsYcmq0HvVgI0WDY HrjmM0NEWkQvgYmSuzlk0WNUSRPaHaqQ6I8+jY7BZq7AYvbSYCinruB0iShEJBOaG9IF0iAE W32eIWaWPkCcjqfIsp7nTwFUbitUpch1ROzuAPjxbpqIevZ9jcXtZLk09h16OnTmg8o+TNoC MSd1nmBQHx3nmMJQj87xLhxr0NzxVmdzaZ1n/pWGcRO6PNMSAg6L4LTwvRiBd7rQgzPcc+FS E2+QtWoGTw/VM48zcITbUplANWilh7D0DKqA7ALk7yLA4Q5/LrF0XbpKMgug0rBgaIoil1jR spUKUWngLR+/k7dHcqBmEKA0q2uaK403SjX9W7Fw3DK9EhXXAdYVaTeQWtZbUvfqdH0/FiEV LLqQbQuKQhMzcrHIaJEZ/XphE5FSfPnftPEbCb5h3aoCA3Nz7WKa5fscGg12CTGFFNCiA0a5 jCbLQU4AGGsr3+NIiZpEAfJYkXj9+h4pzuLT0J8mxGMaUxn2Kq09zYagPWdT7UY2bdS63Rpk Cl9AFvoh4GeMNGHvQc0JM20APs46VZDjyfCshBle4anJOZkj0IfdAJ+uwXv0Q92A8NOi5tit 2skmSx1L6/Qy1Zdb3WAx5mlKrvRK2/97BGiQ6HT01Dalt2R//RH8+w2/m3qpxrhDU8+6zNi2 thR3WGb48DaCgwTV53hU0sf+B1zprWcaS44tMvPzXM5F66yv3fZ3s4xQusozhH1Z9BELKaND xP/CeUfDsmqbfQowh2nMkxCM+dV+6o5ecihcpNqwYaNO+Bt1HKjhGVDusVm116UsjB7QajO1 ooExPeR2k2GUS39hRGvqJK/n4cMfjwUEmelrEqsTIdMeq1/e5oKAmayMoW2wNt5nZvkR39f8 haqGVoH3MajfRfaYUb62EVc0kEeoHrvniXdrXQ8gzcvr6yQzC3D6+vnfRsDfGVMQSgqjFvhJ 5S1k8FPRFKhPEAikBqo41q/xrAO/vwuaTmOBx0RIW6qcTIHMOP4rLeJbs9R5Yl9tCxWVL75e lWGUvvnpBBc1Sr/HmxYzTR9djewu5y/kQYp7QDVZHt1snfdftl9gBnF49mJD+5X2DsASzl5h BHYA1G9O5+i+tDexPKh+qiuEnmsUJFea3yh3YWGtS209WxnKRK6lvG33NbgFEJpmT++3N5sW yLSqR/6aYS+zKW2P9VseUxwDUP94c53cm1nurM5n4pYmX0Th5HPuGECjX+2K9JQn6T3cHsKQ zcPhd/T+gnsnkN5fDqFwIfwV3PVxcUEBZHycmUQ2yQy/8FHIKiR5b1A2yBypxK0oBnQbv50g joGgaF2uThK3qdT4VRrknvVC6taBURCOC3wixmEirL25L5aYmqia/n41UZzm8ygEKDXpwhdX HjjfZJxVSR078h5LBfNyCipstCiKISWN4tN8EHKwHKix6BPJZk8l+QHn39iMGP55zg+zvIjy AZp1te8tZSGLGNk+OS4BARZP3v7fZB2mHmlgKBAk8KRx43qEI9mH2BBTJ3uTPSnADMfnfviP geKVjY7rz3IfNiXVR/a80pgo3/VRtq7MXeWInYJzNhKSxyUJUgZiwcRFmZf/NZxBkWhw8rvd 1187zYa6wvjqxdC/elvMgH2TmbVoAr7IidxUpWUKwBaqx1T/0qAe9LL9fp9RmsLm//p5BzIM GGQYB5ESH0ESlDRTU62JaGgvJHB67TKWbb4dqGTJ+3I8asHCb+J3c79iNM3uWbRcJzVbj86S KRkvygLFXFhRZaDw21WGXBHyXqfM57F+EXuvXAp5sGnrqaxBFqzt9XfU+MAbYUxp0LkxvrdU ozYzCdhd2QCiMtTl3GYwuBNgA5M13M8MGTzWbUY63yXHPqIyPRZV0xHO30vZpkPsvxZvEEFO NaF2In8juYq16JoUwUZBQK9yJPuOJJCInnjZgnMXEjZOr7bfW+Xk5+rM/H7FOMYmuxQs1fYV S+zNUjlM3zDkjDoU0rqKuRQlGSBOxcYvoihcxFrAGylTdT8axT9PsUlxTsxiaY5gH/HLwt+e XB1bl9No7uM7ChZnuQ3GmpP6WBgJPWFnCDR5vfRK5Ifu/9mSipukOcS7HM/wrpTpCZKIZ490 DPVtcJrqkq6n/OnzzNmVF9WqG8Oit7V+0plPqrd+99LXnOFtBMB4GOMCggb8ttoDtq83sIYg tPLla/1NHJD64eOpZpaV5WScpvZdiZ/Yn+LUHbOAQAITCCmLzTajk1ZyrSJ82GN64I9od7qk YYPTblSUBo0EOkbAwJrBo9nQt8/UzU6nLqclMNN62C5qUybVMNcv5bIRvOfKfrqITedy7JDY lFbpNGwZZRWLYD910F4PxNim5/WHkPLQd1XiihobwtxuEcUtXYiECs83EXqbg7r63gWX63R/ FZ+mk51ZuIj8y3p6lE8Kw/RpSc+p0I2nM3snTGbdDOZxEKYUoRfCi6yvE80YMuTq+ddaASzm Ql8Nm6BSe4PybRncm9vhUnXvp4dQZa0ooVLZRYRwbecYPB6iDxh IronPort-Data: A9a23:R7U8uajjP464yBod9ZPeMZAQX161jRQKZh0ujC45NGQN5FlHY01je htvWWyDM6qOajCjKN1zat629ElQsMfcyoBjTgA9rSw1H3gW8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0o6xYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC4zTSWdgR5AWAzylNUMpGTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6s8gV9e7AzrAc16SKqdZKjD5sVe7RAJ05Um8fb2P 6L1aBJqZRXEJgVNYxIZVMx4k+CviX3yNTZfrTp5p4JtuzmVnFE3iuGzdoaLEjCJbZ09ckKwt mTA/mL2EhAXHNOawDuBtHmrg4cjmAuhCNNLTOXjpqQCbFu7ykwdEhAsdwWAjPirjkGFBPxxe 3Mf5X97xUQ13Bf2F4GiDkPQTGS/lhUVXt4VF+wh9CmW26/M6kCYAHIFR3hPcrQbWNQeQDUr0 hqRnYqsC2Ax9rKSTn2Z+/Gfqjba1TUpwXEqRhQqcyo40dXY/IgJ0DXCR9V5Fp+St4igcd3v+ AxmuhTSkFn6sCLm/6Cy/FSCmzD145aVEEg64QLYWm/j5QR8DGJEW2BKwQmBhRqjBN/GJrVkg JTis5bHhAzpJc/U/BFhuM1XQNmUCw+taVUwe2KD4KXNBxz2pif7ItEOiN2PDEhuNckAdHfoZ kSV0T5sCGtoFCLyN8dfOtrvY+xzlPSIPYq/Cpj8MIEVCrAvL1/vwc2bTRTMt4wbuBJxyflnU XpaGO7wZUsn5VNPkWHnH7xNjeV3rs38rEuKLa3GI92c+eL2TBaopX0tajNit8hgtP7c8jbGu c1SLdWLwBh5WejzKHufu40KIFxAaTBxCZnqooYFPqSOMyh3KlEHUvXx+LIGf5A6vqJ3kuyTw GqxdHUFw3XChFrGCz6wVFZdVJ3VU61Sk1cHLA03HFPx23EccYelt6geUJ0sfIgYzu9ozN8qb vxce8y/HehEZTPX3wssNb/88YpoLkWtjy2zIhv/MSQefoFhdSPN6NTLbgvizwhQLyuV5O8Vg ays6RPferUHHz9dNcfxbOm96n+Apl0fpb5CZFTJKdxtZ0ncyohmBCjvhPsRIctXCxH86haF9 gSRWzE0mPLsptIrzdz3mqy0lYelPO9gFE58HWOAz7KXNzHfz1Wz0717T+eEUjDMZlzaoJz4S 71u8Mj9F/kbkHJhkYl2Se9rxJ1jwerfneZRywA8EUjba1iuNKhbHUCH+styrYxI+K5SvFqne 0CI++QCA46zBuHeLAczKjYmP8O57tNFvhnJ7P8wHlf22z8vwpqDTndpHketjA5zEeJLFb0Lk MYbluwY0QidsiYRE82ni3lU/lucL3ZbXKQAsIobMbDRiQEq6w9jZ5zBACry/aPUa81+D2MsK AC6nKDp2rZWnBLDV1ERFnH9+/VXqrpTmRJNzWMHI0m7wIfdjPo80yJ+9TAWSFxO7xNliuhcB EliB3dXF46voQh6pZFkdH/2PRNCHziby1zV534WslOBVGiudGjGDFNlCNa35EpDrl5tJGlKz o+X2EPOcGjPbsru+gAQREQ8ifjobeIpxz34gMr9Qvi0RcgrUwHE3J2rS3ED8Sb8IMULg0bCm +lm0cBwZYD/Ng8Su6cLMJab55tBVCG7IHF+ft858JMrBW38fBSA6QqKIW21eeJPIKXu2m28A MpMOMlOdkqf0ACjkzMlPpMPcoRExKMR2Nk/e73QNTEntZmbpWFXq57+zHX1q1IqZNRMqvwDD L3tWQiMKFHNuksMqVTx9JFFHkGafeg7YBbN2bHp0ecRSLMGnuJeUWAz9bqW43+QbRNt+h7It Tz9Tp2Mluxr9ptxrtG9DoRCGASGBtfhX8uY8A2IkopvbPGeFezspg8qul3cEAAOBoQoWvNzj qWrjNHs+kHO4ZIacjr8oIaTMoV36eGZfvtlAuiuIFZ0xSK9CdLRuT0d8GWGGLl1udJ65Oz8Y iCnacG1JOUna/0EyFJ7MyFhQgsgUYLpZaLdpAS4nfSGKj4Z9SfldNqH13vYXVt3Rx8yGa/VK 1HL4q61x9Viso5zKgcOBKhmD79GMVbTY/YaWOOrhwaILFuDow2kgaTjpyoC+DuQK3ijEeTG2 7znaCX6ViyPvPDv8IkEna105xEZNSMoy614NEcQ4MV/hD2GHXYLZ7ZVe4kPDpZP1Df+ztfkb TXKd3EvEjj5QS8CSxjn/dD/RU2KM4Ti4DsiyuABpCt4qhtaBb9sxJNk/yZkpm90I37tkL/hJ tYZ9Xn9eBO2x/mFgArVCuOT2Y9aKjHynxrkOnwRV+T9Bh8fBfMB03kJ8M9lS3ncC8+U/KnUD TFdeI2HKX1XjWb+FM9hfzheHxRxUPYDCdk3RX/n/eszcLl3AAGNJDMT9g0zPnA+gBw2GYMz IronPort-HdrOrdr: A9a23:97XurKHwR5HmD0gQpLqExMeALOsnbusQ8zAXPidKOGdom62j5r iTdZEgviMc5wxhO03J5bu7Sc29qB/nmqKdmLNhWItKBTOW2ldAT7sP0WKd+VDd8kTFn4ZgPM FbHZSWYOebMbEQt6bHCWeDcurIj+P3l5xBHozlvhFQpZsAUdAY0ztE X-Talos-CUID: 9a23:B9AYb2/98M1e5H8F9sSVv20vNP4ET0/R9yvZGRGfBG9qUrukbmbFrQ== X-Talos-MUID: 9a23:5Nk5lQXzzmmIkg/q/DPMiitvDuU22ImvGkQCqsoolZm7PjMlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,204,1779141600"; d="scan'208,217";a="289100382" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDFzxYT8XzoKSYfD/r6kvbW8DSJZL0kUJj8Ref?= =?us-ascii?q?eAfXQ7yEEwRlXMfOIlWHhX24YlAhrbmnHIfphngsZ64IGEi0bqyu0VN7?= =?us-ascii?q?ZE/WA/ZceYSfLHSOWCiBufOZtNPGf1GR69mek5QOax/7Fl3sGXHpEMzc?= =?us-ascii?q?Qt18/5zaV59UETO5GD2pPhHw=3D=3D?= Received: from mail-pj1-f46.google.com ([209.85.216.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Aug 2026 20:01:23 +0200 Received: by mail-pj1-f46.google.com with SMTP id 98e67ed59e1d1-38deea72eebso91912a91.1 for ; Tue, 04 Aug 2026 11:01:22 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1785866481; cv=none; d=google.com; s=arc-20260327; b=TLORoC8mkhCQgNWZk2wfM6Q2j1AuXIB0A+amQ1+hWjb/5YH2ko4XryLKA7UG4nlsdx dG3Y9AzwWA3k5ZNKyzWSmIC6Av3VjsoMYZCWjU0qUDRLHWWKPqQP/nfJqR784ylL1cHJ x2dyf2/dknEHQhjoCjfWpOWUu++ZFGIHzBrEk2KnZWKj/3+LBdHrUSWPXrVYniUttK7Y IeAVlNeU3NWnGxAZ2IFQGOj8iHrVa51kbWmMgmM2DvZHn+39ys/EZs4EabQ4H9Iacs/y JOYehWOm27/d67cwYIuGn8tI83FklIRUREXwK6KtdoLSbuKVJ5FBkXQ+CDaEWvLYiGuL kXyw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=pSU4s7iZ63Sk1jo6nkQEwzjSr+n/Mrrb8Pl7bTtDcqM=; fh=rUoelaXUACdJCARjLH8F6YAKRdhiho/FopSJU736r68=; b=JCOYn4gyNVvvW00zhbF5bV6rbGR0po20anR7yFdnY77xnTWC5TXS595IFNvQNTn4u/ NUK2Kk5xtOF350ZZMS8bEKO82V3baXJpXb9Pi2PRdOwYBefj+rJsYtwBzzBkSeU8J7hC yM3/2jdq87+OCio9f2x3Sdvg/SWuLC78IL5Zr0PSjL9l9iT9josVv6dMquC2T1HZrgcZ qXO3vHx9xQf/Zs7ca3jc1WFKcXvf3RPaiAUMoWAah1NHnGq0eqSWeXumIwHHDUNl/hJr 0t3XkPl+VcJvOR062QBp32Js6vMVNC6VvhHzU+xHhYEEtKSdn6iQ/QYAAaBwGCcbgE/S UHtQ==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1785866481; x=1786471281; h=content-type:to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=pSU4s7iZ63Sk1jo6nkQEwzjSr+n/Mrrb8Pl7bTtDcqM=; b=J0f0hcWeMH2pM4GIXkTauJfYYhFLKgjGLVSx3P8mDV+aTMhQYz1+J1FF/FyY5aBMJY iMsWC/VpaF7PJQ085wV7hNDjFR92H+ZDKNLxxRslgtJDn4x6dAh02gIeZDQizXHnE2TL ZR/6TLgsgdT0Wff1QVVzHx5aJsBhp0+HmGnfMtjGP3fgpeWZ+kslLlTudfOv+MufCGAy WKdc8Yy39tPMDBx5fWEdrua9aQWU0jz1HDN/k54DTTuPBIXKA/60bwyT6mFCIU95Oiys jYHCopKrGT5sNoarWqQBM08jcRVDMbSV+wiJELbXKr1QiFW0AyIEZNnZWqX4YrFX4eFD xtKA== X-Gm-Message-State: AOJu0Yxnf4YAEPjCV3Nyz5qRLw8cOFmWwwo+Fn1WXbOeUQ3lecE++pgp Xxd5jjFR7X2wvIb/64uXGzCwItjWTUTS+4e7IWeTl2qic1sDIEelMArQm0TcHNIbEbsx7++LEsI SLe1rS/Vhp0tt2u8WMsbNG67a6AvjrLqyOJw3 X-Gm-Gg: AR+sD11XCwreHmbJb5uTZeP7ncPF7OV8/GVhddHM6+tAvKdX+2PStrAx6PxdQ/qrt8i GOZf4DxFooKvh+OAbMsHK8fQhDOGabp1cNheb1IE+IDCju6AqVOJXtRfIlUaSKKdZVs1NLTw1Yo nt8zaUN4dFT/AW/Ib52TbRIGPZFNLgeq5Z61sKIAVCLqhvXcTZrysyrxv24MeRbEthXsfxhALBW SWvq5sW6pc+I4F7hBHKXdtKWpHWHsBSQJWAe0W3SOw/u0x17flB+MN87MtC2TrWc7AVBdW0vzTt kFQvwO9ogzf4pjJRjJ9bVkW9M5fhu0FNsI2ZZCxl7P+S16g7LnFviCI2ul0LsPA8n2yvWtQXTAh eFryOuEzwTXI= X-Received: by 2002:a17:90b:1b45:b0:381:c500:b0d1 with SMTP id 98e67ed59e1d1-3903c67aad6mr580136a91.20.1785866480491; Tue, 04 Aug 2026 11:01:20 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Tue, 4 Aug 2026 14:01:06 -0400 X-Gm-Features: AUfX_mx_vHctI01Xiz7hknmVvuDI8GYVPiBjDpwY2vcPOlvghJi3enixxE1Rjso Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="0000000000002fa4db06583c7121" Subject: [Caml-list] POPL 2027 Call For Tutorials Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19558 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: --0000000000002fa4db06583c7121 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Call For Tutorials https://popl27.sigplan.org/track/POPL-2027-tutorials#Call-For-Tutorials The 54th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2027) will be held in Mexico City, Mexico. POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Tutorials for POPL 2027 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants. Tutorials will be held from January 9th (afternoon) to the 11th. The expected length of a tutorial is either 1.5 or 3 hours, including questions and discussion (Q&A). Submission details - Deadline for submission: October 9, 2026 - Notification of acceptance: October 23, 2026 A tutorial proposal should provide the following information: - Tutorial title - Presenter(s), affiliation(s), and contact information - Length (1.5 hour or 3 hours) - 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available. - 1-2 paragraph abstract suitable for tutorial publicity. - 1-paragraph biography suitable for tutorial publicity. Proposals must be submitted by email to Aws Albarghouthi (aws@cs.wisc.edu) and Alan Schmitt (alan.schmitt@inria.fr) with the subject line =E2=80=9CPOPL 2027 Tutorial Proposal: [tutorial name]=E2=80=9D= . The proposal should be attached as a PDF, docx, or txt file. Further information Any questions regarding POPL 2027 tutorials should be addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu) and Alan Schmitt (alan.schmitt@inria.fr). --0000000000002fa4db06583c7121 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Call For Tutorials

https://popl27.sigplan.org/track/POPL-2027-tutorials#Call-For= -Tutorials

The 54th ACM SIGPLAN Symposium on Principles of Progr= amming Languages
(POPL 2027) will be held in Mexico City, Mexico.
POPL provides a forum for the discussion of fundamental principles and
= important innovations in the design, definition, analysis,
transformatio= n, implementation and verification of programming
languages, programming= systems, and programming abstractions.

Tutorials for POPL 2027 are = solicited on any topic relevant to the
POPL community. We particularly e= ncourage submissions of introductory
tutorials that make the research pr= esented at POPL more accessible to
the participants.

Tutorials wi= ll be held from January 9th (afternoon) to the 11th. The
expected length= of a tutorial is either 1.5 or 3 hours, including
questions and discuss= ion (Q&A).

Submission details

- Deadline for submission: = October 9, 2026
- Notification of acceptance: October 23, 2026

A = tutorial proposal should provide the following information:

- Tutori= al title
- Presenter(s), affiliation(s), and contact information
- Le= ngth (1.5 hour or 3 hours)
- 1-3 page description (for evaluation). This= should include the
=C2=A0 =C2=A0 objectives, topics to be covered, pres= entation approach, target
=C2=A0 =C2=A0 audience, prerequisite knowledge= , and if the tutorial was
=C2=A0 =C2=A0 previously held, the location (i= .e. which conference), date, and
=C2=A0 =C2=A0 number of attendees if av= ailable.
- 1-2 paragraph abstract suitable for tutorial publicity.
- = 1-paragraph biography suitable for tutorial publicity.

Proposals mus= t be submitted by email to Aws Albarghouthi
(aws@cs.wisc.edu) and Alan Schmitt (alan.schmitt@inria.fr)= with the
subject line =E2=80=9CPOPL 2027 Tutorial Proposal: [tutorial n= ame]=E2=80=9D. The
proposal should be attached as a PDF, docx, or txt fi= le.

Further information

Any questions regarding POPL 2027 tut= orials should be
addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu)
= and Alan Schmitt (alan.schmitt@inria.fr).
--0000000000002fa4db06583c7121--