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=rH4IYrUQ; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=okmij.org header.i=@okmij.org header.a=rsa-sha256 header.s=pair-202411190653 header.b=c63ar6v1; 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]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 4DD1C40068 for ; Thu, 5 Jun 2025 08:01:45 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=spi2K5hM2+WJS1GRmHNFPUSNTNm+yhYnNvhWEGgCK6M=; b=rH4IYrUQPY5KtNFsml2xhMZkyhgWutTBOuN5Qy5Mn48aL4yBus+T/OH4 CxSwf1BI+yHD8m7bXDgXRCk84rWXVQwmwaJSAxTcpOYjT5I43pq9qXsgG T2LSXvjx99UKZGdgksfP4qcBnBtDL3PXP7w4aEtoOgBJfuqMJMUiH/y6i I=; 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: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@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=@okmij.org X-IronPort-AV: E=Sophos;i="6.16,211,1744063200"; d="scan'208";a="225416289" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jun 2025 10:01:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3D82EE0CDA; Thu, 5 Jun 2025 10:01:43 +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 1152DE0131 for ; Thu, 5 Jun 2025 10:01:38 +0200 (CEST) IronPort-SDR: 68414ee1_XYQSw5jx1HV9xl4jim6C+xbzrQ2SYBwfVbpC9rxQKACMoFH R18NZ4ZgSDxWAWcG6iK4rGdyZStWTGjNIPprLvA== X-IPAS-Result: =?us-ascii?q?A0FIAgA9TkFog3IDJ0JaHAEBAQEBAQcBARIBAQQEAQFAg?= =?us-ascii?q?VMCgkKBAFozBwhJiCSFLKkODwEDAQ09EgIEAQEDAQOQYgIfBgEENQUNAQIEA?= =?us-ascii?q?QEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABAQEBQEmFew2CWzuCFiwwD?= =?us-ascii?q?YEOBgEBOHCDYQGCI0sDEa5tgTSBAYIMAQEGgQg+Bdw8AwaBSQGFbIJjAYVsh?= =?us-ascii?q?R4ODYFIRYEVhG0BhAqFd4M+i1WVFYFKHANZLAFVExcLBwVbgQgDgQ9uMh2CD?= =?us-ascii?q?YUZghKGMwKDFoFAhEkrT4UhgSaDYSeBDkADC209NxQbmRuDOoFvqBGgUjyEJ?= =?us-ascii?q?YFwghCIHZVQM4NxAYMzozsBmQSOB5sxggAigVxNMAiDIk8DGQ9XjUoXAoh6s?= =?us-ascii?q?ig0NTwCBwsBAQMJhUWLBoFLAQE?= IronPort-PHdr: A9a23:TadWlRRX2bYmQs3nFhtcOvTi8dpsoj2UAWYlg6HPa5pwe6iut67vI FbYra00ygOSBsODsrkf0Lee8/i5HzBbu9DZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4VvJrwtxhfUrXdFdepbyGN1Ll6Xgxrw+9288ZFt/ihOof4t69JMXaDndKkkU LJUCygrPG8y6MD3rxfPSheB6GUBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTut4 btlRx/ukycHKiU28HrLhcxqjaJUuwyuqhpiyIPJeo6VNf5+fqTAfdMGQGdKQ8hcWzBdDo66c oACCfcKM+RFoInnv1YAoxuwCxexCu3sxTBHmmL50LYm0+g9CwbKwBAsE84QvHnSsd77NL0SU eewzKTQ1DvDa+1Z2Tjg44XPdRAhpe+DXb1rfMrWykkvEgLFjleKpYziJTOV2f0Avm6G5OVvS eyhkXQoqx1tojex3McsjJHEipwIxl3E+it0wZs5KMGkREJnfNKoDp9duS+aOoV5X84vR2Fmt Ds0x7ACu5O2fSkHxpslyhDRdfCLbYmF7xzgWeuXPDx2inVleLeliBaz90it0vf8Wdev0FlUt CVFiMXDtnAX1xDJ7ciHUPR980G80jiMzwDe8uBJLEEumafVL5Mt2LA9moAOvUjeESL6gFj6g aGKekk+9OWl5P7rbqjiq5OCLYN5hAHzP6IzkcGhBeQ4LxMOX3SF9uSmybPj/Ez4T6tSg/Eql KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYmGMILFNBeB6alYTpNF/DLOrgDfilglSsii1ny OzBPr3kGpnNL37Dn6n9fbtl6kNRyRA/wN5b6p5OBLwNOu//VlL+udDACx82KQ20w+LpCNVn0 YMeXHqCAqidMKzMvl+F/eUvI+qJZI8UujbxMf8l5+ThjXMhn18SZrGm3YELZ3CgAvRmP0KZb GLxjtsZC2cFohI+TPD2iF2FSTNce2y9X6c45j0iDIKmDJzDRpy2jbya3Ca7G4VWaXpcBlCNF 3fobYSEVO0WZCKcOM8y2gADALOoTotk0RC1qCf7zaBmJ6za4H42r5Xmgf9x6uKbwRY2+DNcC MeY0mPLSHt7yDBbDwQq1bxy9BQugmyI1rJ11qQw/b174vpIVl1/LpvA16lgDNu0XAvdf9CPQ VLgQ9O8ADh3QMhii8QWbRNbHNOvxgvGwzLsG6UcwruPCZMc9aHZ3nq3INxymD7dzKd0t1A9W YNUMHG+wKt29gzdHYnMxkKdmqmCcqcZ3SyL832MniKVpE8NaAdrSu3eWGwHIEvbqdOs/kTZU 7qnEqgqKCNEwM+Gc+1FMZvxhFRcAvzkPbwyekqXnGG9TVaNz7KINs/xfnkFmT/aAw4CmhwS+ nCPMU4/AD2gqiTQFm4mE1WneE7q/eRkzRHzBkYp0wGHaVFg3Lup61YUg/KbUfYawrMDvm8ot Tx1GF+329+eBcCHokJte6BVYNV151kityqRsAhwMbSnLKVjhBgZaQs290Li2hNrC5lRxNAwp SBixw5zJKSElVJZIm3Gm8uhfOaRczCur3XNI+bM11rT0cib4PIK4fU88RD4uR2xU1Al+DNh2 sVU1H2V4tPLChATWNT/SBVSlVAyqrfEby06/46R22drNPz+tTvP1PouB+4kyFCnZdgVY+uUU RT/FcEXHZ3kL+gnlHCubRcFPqZV7qF+bKbEP7OWnaWsOuhnhjevi29KtZt83ky7/C15UufU3 pwBzpl0xyO/XiznxBeku8Hzw8VfYC0KW3C4wm7iDZJQYat7ecAKD32vKou53Ic2i5noUn9ev FmtYjFOkMitdBW6aF/43A8W0l4Y6XCqgiq3yTVoniph8PTZh32ImKK7LUZPM3UDXGR4iFbwP YW4x8sXWkSldUlM9lPt5Er3wbRauLUqKmDSRUlSeC2lZ2pmU6a2qv+De5sRttVz4GMMFr3lP QP/KPa1uRYR3iL9EnELwTk6c2vvoZDlh1lgj2nbKn9vrX3fcMU2xBHF5dWaS+QCu1hODCR+l zTTAUCxetez+tDB3ZDHv++WUGGkV58VdjPkh9DIpG6g6GtmDAfq1fe3l9LPFgs/0C290MNlH 3atzl60cszg0KK0Nvhid09jCQrn6sZ0LYp5l5M5mJAa3XVJzoXQ53cMln3/dMlKwa+rJmRYX iYFmpSGhWqtkF0mNH+CwJj1E2mQ0tc0LcfveXsYg2o0vcdJDaaWqqRNnDFur0CmoBiXav94+ 1VVgfJ8730fguNPvQMsymOFC7EIBkRCIyH20R+P6pi/qq5TeWqiI6K90ENv28ioDavEqQZZP RSxMpYkFitt4sgtL1/G1XTy7sf8cdjKK9kUs1XRmhPExYC5MboJn+ERzWpiMGP55zg+zvIjy AZp1te8tZSGLGNk+OS4BARZP3v7fZFb9jbohKdY1sGYuuLnVo1mASkOVYD0QOiAFTsTsa2hO F3ICDQ9sDGQHr+XEQKE6Uhgpm7CCNj1aTfMdT9Ci4w7GFGUPyk9yEgMUS8/n4IlGwzi38Hnf Epjp3gQ6lP+thpQ27doOh34AS/UoAalbCtxSYDKckQQtVAEvAGMaJDNi4A7VztV9ZCgsgGXf 2mSZgASSHoMRlTBHVfoeL+n+djH9eGcQOu4NfrHJ7uU+ok8H7+Fw4yi1ox+8nOCLMKKazNlC /A08k1AWHF7XcPDlH9cLk5f3zKIdMOdqBqmr2dvqduj9f3wRA/1zY6GCr8Ld9o0vQi/gL3FP OmVznUcS34QxtYHwnnGz6Ia1VgZhnR1djWjJr8HsDbEUKPanqIERw5ecS54M9FEqr4txgQYc 9COkcv7j/Qr65x9Q0cAT1HqndulINAHM33ofk2SH16FbfyPbXjCx8W9CUtTYbpTieRW8Rqqt mTCe6cCFjGKlj2wER/0d/lFjTvdNxtb6tjVmvNFDmvmTdCgbQe0YocfsA== IronPort-Data: A9a23:iTF6TK81xCbtLUC8oLDPDrUDRHqTJUtcMsCJ2f8bNWPcYEJGY0x3z 2YfDTyFaP+LMDH8e9x2bYiz9R8HvMeEzd5gTAVtqyhEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcqWo4ow/jb8k434qyv4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEyLJwU01tIqghvd1OHFpe0 vABFR1QR0XW7w626OrTpuhEg80iKJCtM9hZonhh13fSCvNOrZLrHfuMvo4eh3Fp35wm8fX2P 6L1bRJoaBnPSxpMP1YVTpUkk49Eg1GlKWAE8QzP/vJfD2770DVdwqLnMv7uJ8HWf9h1sHuB+ GH+xjGsav0dHIDDkmvdrhpAnNTnlir+XMcWFaak3uV7hUWagG0VEhwfE1WhycRVkWa7UtNbc goboWw2pKkoskesS7ERQiFUvlaP+QBDV4FPNtR90ziQ8brz7x+kKzUtG2sphMMdiOc6Qjkj1 1msltzvBCByvLD9dZ573urPxd9VEXVIRVLudRM5oR05D84PSbzfYzrKR9dnSei61ZvtEDDqh TuNqUDSZon/b+ZVh81XHnie3FpAQ6QlqCZuvW07uUr+v2tEiHaNPdDA1LQixa8owHylZleAp mMYvMOV8foDC5qA/ATUH7lcRO/zv6fabWOM6bKKI3XH32n2k5JEVd0NiAyS2G80a5paEdMUS BaO6FwNuPe/wlP1PPUtC25ONyja5fS8ToW9Cpg4n/JWa5lrPAmK4D5pf02Lt10BY2By+ZzTz ayzKJ72ZV5DUPQP5GTsG481j+Rxrghgnjy7eHwO50/+uVZoTCXPEe9dWLZPB8hlhJ65TPL9q IwHa5vQkEoPDoUToED/qOYuELzDFlBjbbieliCdXrTrztNOST9/WczCi6gsYZJklKlzn+LFt CP1EExBxVa1wTWNJQyWYzoxIPniTLRun0IdZCYMBFeP32R8QICN6KxESYA7U4N6/8NezNl1b cI/ReO+Ptp1RA/qxREhfLjmjYk7dB2UlQOEZCWkRz4kfq9ffQ/C+/66Xw629CAxETqTsMAsh 7uK1grrYIcyHVV+LcfJacCAy0G6kmgdldlTAWrJAIh3U2f9/Ld6LxfeiqcMHPgNDhHY1B627 h2zAypEldLSooQwzsbFtZqEo6itDeF6OEhQREvf0pqbKgjY+TCF7bJbcePVYw3Yanz4yJ+ia cpR0fv4Fv8Nx3ROkohkFodU3bAM3MTuq5Ba3zZbMi3yNXrzMYxZI16CwcVrnY9OzOUAuQKJB 2S+yuMDMrCNYM7YAFodITQ+Vdu61NYWpyLz6MokK0Cr9Q51+7u6CX9pBSeusxAEDrVJM9IC+ 9wD6eo28A20jyQ4PumW1h5083u+FV1ecqEFmKxDPqrVpFsF9lVwb6bYKBfK27CUStAVMkAVM j6e36XDoLJHx3v9SXk4FFmT/O8Mn54xvAluyQ4TFUWogfvAvOc8hzdKwAQ0TyNU7xRJ6P1yM W5VLH9IJb2C0jNrpcpbVUWuJl1xPwKY8UnP1Fc5rm3VYE22XGjrLmdmG+Ky0G0G0mBbJB53w aq5zTv7bDPUY83B5Cs+dkp7ofjFT9Yq1AnjmtiiLvuVDasBfjvpra+/V1Um8yK9L5sKu3TGg u128MJbS67xb3cQqpJmLbiq7+0bTRTcKVFSRf1kwrgyIljdXzOPwhmLFVG6f5JcBv7N8HLgM fdUGOB0a02c2hqN/xchPoxdB59vnfUs2sgORaOzG04CrImkj2RItLD+y3HAoVEFEvRUv+QzE IfzTw65M3exgCJUklDdrcMfNWufZ8IFVTLG3+u00bsoEsMZut5oaGU3g6qGrlSOEQ5d5xnPl hjyV6zX6O1DyIpXgIrnFJtYNTi0Md/eUOep8hi5ltZzMeP0LsbFsj0KpmndPwh5OaUbX/J1n ++vtOHb8VzkvrFsdUzkgLiESrd04PutUNptMs7YKGdQmQ2AUpTO5zoB42WJFoxbouhC58WIR xqKV+XoTIQ7A+xi/XxybzRSNz0/CK6tN6fpmn6bnsS2UxMY1VTKEcOj+XrXdlpkTy4vOaDlK wrKqv2rt8F5roNNOUc+PMtYIaREeX3tZah3UOfKl2ioPjH9yBfK8L7vjgEp5jz3G2GJWpSyq 47MQh/lMg++oufUxdVeqJZ/pQATEG07u+QrY0YB4JRjvlhW1oLdwTg1av3qy624kxAeELn9b TDJNS0tUmPlVDVeNx775bwPmy+BU/cWNI6RyiMBpiuph+WeXetsw4eNMg9n4HJ3eH3k1u7Px RQ25CjrJhboqn12bb972xF46NuLAtvdxXcJ+wb6icOa79Pyx1kV/CQJITehnhAr3y0AeIsn6 IT1qa15rJmHdHPM IronPort-HdrOrdr: A9a23:UZZ056OMh0KOiMBcTvujsMiBIKoaSvp037AO7TEVdfU1SL37qy nKpoV+6faaslsssR0b9exoW5PwIk/00ZZ05M0/O7KmWhf7oS+UKuhZjbcKoQeAJ8SWzIc0vs 1dmsNFZuEYY2IUsS6XjTPIdOod/A== X-Talos-CUID: =?us-ascii?q?9a23=3AQ6D4AWuaC578ei474FKR6wyV6IsuNWOCwCzPBnb?= =?us-ascii?q?/Ml90c62yRUat1f5Nxp8=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AW6tstg7+ru3eFToszGSaUUAzxox02oi8EkoPta5?= =?us-ascii?q?bppW+KAxeBi7DjwyOF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.16,211,1744063200"; d="scan'208";a="225416230" X-MGA-submission: =?us-ascii?q?MDGoz8Hwx2odU4QH8oxXVufFquzziMrIDoVVFI?= =?us-ascii?q?uWbP+7ncKDNApHaRl65MSJWgiHdskcheQ5O9Hw974y6tkVKWffn2OXX5?= =?us-ascii?q?4pM63ixdW0M152w+CuVNYc/rWCrSQJzIrRUT6v96HDc+pX6sVQ1CW503?= =?us-ascii?q?3sjZcHIg1YdyEk1CMezPRUEg=3D=3D?= Received: from mail1.g3.pair.com ([66.39.3.114]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Jun 2025 10:01:36 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id CC03A164B58; Thu, 5 Jun 2025 04:01:33 -0400 (EDT) Received: from Magus.localnet (unknown [130.34.192.35]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id 10D80164B2C; Thu, 5 Jun 2025 04:01:32 -0400 (EDT) Date: Thu, 5 Jun 2025 17:00:56 +0900 From: Oleg To: caml-list@inria.fr Message-ID: Mail-Followup-To: Oleg , caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=okmij.org; h=date:from:to:subject:message-id:mime-version:content-type; s=pair-202411190653; bh=spi2K5hM2+WJS1GRmHNFPUSNTNm+yhYnNvhWEGgCK6M=; b=c63ar6v1MXXBgWt3/Kb+JkZ8Pk+mq7T5fpE2uDwQ+Ga/XLpaiTTIROzjvZFGklJE6D1Aiu2BkDRsIOM7d54zNsodjds5XBwTzJRE6VzkRriO7y5+dN9YAn+6Cc7I7OWua9v5fj78blfGVcbDfcTKSk0cZs/lF6BS0m3EPtRqM2O6Sjveai7EUm7/gdDPJxkg88ycXDmnMLIdUtlmSIsGEefQCMi4MNC0cOuMmq/+gPfruPz7Qr5I+DxWObGnrHrrkgjUyJd9tJuSKZNiCch5RnV9eubzwzV8cXhmMUTN5E5Mhp65rReDuvgW+Bkcc6mnvK7FI3/+wYaYzrQwt609rQ== X-Scanned-By: mailmunge 3.10 on 66.39.3.114 Subject: [Caml-list] [CFP] APLAS 2025, extended submission deadline Reply-To: Oleg X-Loop: caml-list@inria.fr X-Sequence: 19337 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: Asian Symposium on Programming Languages and Systems (APLAS 2025) https://conf.researchr.org/track/aplas-2025/aplas-2025-aplas-2025 is to take place in October in India (soon after SPLASH/ICFP 2025 in Singapore). APLAS is co-located with ATVA (Automated Technology for Verification and Analysis). The submission deadline is extended to 7 June 2025, AoE.