From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=none (p=none dis=none) header.from=okmij.org 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=D9oxEBur; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id EC0D1B80123 for ; Wed, 17 Apr 2024 12:03:40 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=d+AlbihjtyV3b4hOgNdVqAOc+tlFI2n/XYHKB69F6xs=; b=D9oxEBurX8WV40CJs80sETTaHQzsu1fT6kOre1DxC4+j7JX5BMOHkquh 98Wmn78BSPOA4kh19tdEbq1Xw8C7/Q3tdnaGKFWnDUO7Snv/O5naOBYK4 5CzUQYt590BMuo0nOlGf0AKfXDCplcov9eyBp1frnzooHSvG6f84092B4 E=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr 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: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 X-IronPort-AV: E=Sophos;i="6.07,209,1708383600"; d="scan'208";a="162041876" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Apr 2024 13:03:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B466DE0CD1; Wed, 17 Apr 2024 13:03:39 +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 2D0F7E0035 for ; Wed, 17 Apr 2024 13:03:35 +0200 (CEST) IronPort-SDR: 661fac86_rmkvn3NKVypNo1OXOAk+1OZfohWrgnu9JQgShiM569EfrL6 /1OrU5rrDlh43afx1qrMc0J/PjTmrkY9Jru0E1Q== X-IPAS-Result: =?us-ascii?q?A0EHBADTqx9mjHIDJ0JagQmEE3xXMwcIhR6IfIhsn0w+D?= =?us-ascii?q?wEDAQ05CQIEAQEDBI0cAh8GAQQ0EwECBAEBAQEDAgMBAQEBAQEIAQEFAQEBA?= =?us-ascii?q?gEBAgQGAQIQAQEBAUAQNYVtDYJgGIEOgSYBAQEBAQEBAQEBAQEBAQEBAQEXA?= =?us-ascii?q?hQpdQ8BNUYCJgISg18BgmQCARGyV4EygQGDWgXcNgaBGi6ILgGKYw4NgUhFg?= =?us-ascii?q?RWDaIEFgVwFgiqDDoJoBIkQimSIBYY9gVEcA1khAhEBVRMgDwwaAhsUDSQjA?= =?us-ascii?q?ik+AwkKEAIWAx0UBDARCQsmAyoGNgISDAYGBlsgFgkEIwMIBANQAyBwEQMEG?= =?us-ascii?q?gQLB3WBRIFtAQcEE0cQK4EHihWDPYIghDNLgTGDXYF9D0QdQAMLbT01FBson?= =?us-ascii?q?kYBghI9Ll4JOSETPUEHBTAEE5N9kWKfTmU7hB2BbYIPiBKVODOHI6MRmGKNd?= =?us-ascii?q?JVYhTmBeyOBXE0wCIMjET0DGQ9XjWACg2GFFJBLNHACBwEKAQEDCYVFg12BS?= =?us-ascii?q?AEB?= IronPort-PHdr: A9a23:c8GhRR0REL3SuinDsmDOJw8yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo6wy3BSSAc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNZwhEniexbLFxI Rm5owjcudQdjJd/JKo21hbGrXxEdvhMy29vOVydgQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhJxw4DafpybOvlxcazBYNwUSnFMXtpSWiFbHo+wc 5cDAugHMO1Fr4f9vVwOrR6mCAe1AOPg1DBIjWLx0K091+QuDw7G0RcnH9INtXTUrdf1OL0VU eCvw6nF1DPOZO5Z1jnh8obHaAwhoe2SUrJqd8rc0U0iGQ3Zg1uQtYHrMS+Y2OsDvWSF8+ZtS f+jhW4npg9/vjWixcYhh4rIi48JxF3I6Cp3zJsrKdGlVEN3fN2pHZtWuiqHOYV2RcYiTHtpu CY80rAGo4C0fDMUx5s93R7Qd/yHc5KS7hLkTuaRLi90hGl9eLKlhhay90egxfPmVsWuzFlKq S9FnsHMtnAKyxzc9tKHSuNn8ki93jaP0gbe4fxHL0AsjafWKp8szqQ+m5cXq0jOEDX6lFjrg KKZbkko5PWk5/j9brn7qJKRNJV4hwDkPqgwlcGyAOI1ORUQUmif5OS8z6Hj8lPjQLtXj/03k 7fWvYjGKckdu6W3GRVa0pw55Ba6Fzqm0MoXnX0ALF9dfRKIlYnpO1XTLPziAveyjU6gkC9xy PDHJL3tGInCLn/GkLv5fLZ97VBTyBYrwN1e5p9YEL8MLfbpVkL/rtDUEwI1PgOsz+biEtp91 4ceWWyVAq+eNaPfqViI5uYxLOmDf4IVvzX9K/0k5/7sl3M5nkUdfaax0ZsRc3+3Bu5mLFmBY XrwntcBFn8HshcmQOzwlFKCSSJTZ2q1X68k+j40EoemDYPaSoCpgbyBxzu7E4ZNZmFGD1CMC W3ne5+FW/cKciKSI9VuniYKVbi7GMcd0kSlvQr+jr5mNfb8+ysCtJul2sImyffUkEQV8TF7R 5Ca12yCZ2Z3m2IKATgs0/Ys8gRG1l6f3P0g0LRjHttJ6qYROu9bHZvVzuggTsv3RhqEZNCCD lCvXtShBzg1CNM32d4HJUhnSJ25lh6W+S2sDvcOkqCTQoQu+/fb23X+D8F+znfEkq47gApuW dNBYFWvnbU37A3PH8jMmkSdmbytcPEb2CPC3GCAyGuM+kZCX104Sr3LCEgWfVCettHl/gXCQ rupXKwgKRdEwNWeJ7Fib9ToiQwAS6ylIN3feSS6nGLY6Q+g4LSKYcKqfmwc2H+YE00Yi0UJ+ n3AMwEiByCnqmaYDTp0FFupbVm+ue954Gi2SEM51WToJwVoyqa19xgJhPedV+Jb37QKvz0ko il1G1D11szfCt6JrQ5sNKtGZtZ17FBC3GPf/wtzW/7oZ6dmi1E2dAdyvkGo0A94S81BncUss HI23V9qM6vLmFhFdj6ewdXxIuiJdC+prVb0LfePhgK7sp7e4KoE5fUmpk+2uQioEhBn6HB7y 5xP1HDa4JzWDQ0UWJa3U0At9hE8qauJB0t1r47Sy3BoNrG59zHY3Nd8TuwhxxmIeNRaMaHCE xX9WZ5SF421JeomlkL8JBUAMe96860xPsHgcOGJkv3OXq4ojHetimJJ55p420SH+n9nS+LG6 J0CxumRwgqNUzqUYE6JisnsgsgEYDgTGjD60i34HMtLYaY0e48XCGCoKsnxx9NkhperVWQKv FKkAloH3oeud3/wJxT62QBf/UMUpH2l3yyiwHR4nioooayWwCHVi7q8MkFWfDUNHTA+xV73a ZC5ldUbQFSlY0AymR2p6Fy7osoT7KVzIm/PQFtZKi3/LmVsSKy15fKJZ89C7o9tsD0CDrr6O gHcEfik+kdJtkGrV3FTzz06aTyw75DwnhggzXmYMG42tn3SP8d52RbY4tXYA/9XxDsPAidi2 ly1ThCxOcek+dKMmtLNqOe7AiimUpBcWS7oyIKC8iyh6ic5SQ36hP21ltD9REI91SL0/95pU CTK6hHmbcO4ssbyefIidU5uCljm7sN8EYwriYo8iqYb3n0Cj4mU934Kwi/jdM9W0qXkYD8RV CYGlpTLtRP91hQpfRfrj8rpE2+Qycx7a5ymb3MKj2gjuttSBv7c5e5Dni50oBygpAPLevVng DoHj/Ap7Rt4y6kA6g0uyySfRLUbHE0eJSXtjQ+F9c6ztuNcY2PncL670FdykIK7AbWLs0dEU XfjPJwlGEoSpo1+NlnIzXH+uJ7pctzZbNZVrhSViVHLiO0dbZs1krBiaTNPAWvmpjVlzuc6i UYrxpSmpM2dLG4r+qulAxlePzmzZsUJ+zirg7wM1sqR2omuGN1mFFBpFNPwSum0FTsJqfn9H wOHETll7HjAX6LWHBXZ40Bj537CCJGkMXiLKWJRk4skH0jbfwoG2VxcVS5f/NZxDg2wwc39b Ep1risc4FL1sFoEy+5lMQX+TnaKpAqsbWR8Q5yeIRxKqwBashmLd5fPqLk1RngErfjD5ESXJ 2eWZhpFFzQMU02AXRX4O6W2oMPH+K6eD/a/KP3HZfOPr/ZfXrGG38HKsMMu8jCSO8GIJnQnA ec83x8JWnR0FOzemDAOSWoQjS2HPKv57F+svzZ6qMyy6qGhQAX0+Y6GEKdfK/1q8hGy2OGMb KiIjSdjbz1f09lfoB2AgKha11kUhSZ0cjCrGrlVri/BQpXbnapPBgIaYSd+Z4NYqrgx1Q5XN YvHm8v4g/Rm2+UtBQ4PBjmD0om5INYHKGanOBbbCVaXYf6YcCbTzZi/aOv5QLlUxo28VjW1s DefSgnsZXKbnjjzERuoNLMV5Ml+FBtdvYC/NBF3Bjq7JDoJQhq4Nd51yzoszu9t7k4= IronPort-Data: A9a23:DITqHqlLJI13KrfNIpavakro5gywIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJNCGqGMv6PYmPyLdBxb4y/8UMD6pDVnNJnGQE5qnpnRltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaj18B56r8ks14Kyu4WxA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1VNlA4D4Q/pN1tIj1tp d8Bchw3fAic0rfeLLKTEoGAh+wmJcjvZcUQ4Td4xDDDS/0hRPgvQY2Uu5kDjXFrwJkXQZ4yZ OJBAdZrRBPEbhJnPVQSCZB4m/2n7pX6W2QG8grJ/PprsgA/yiR2/IXcEtaOSuaBTM9ewRrFo mCZ5z72V0Ry2Nu3lWbeoyrw7gPVpgvwUYcWUbm57eJCm0yW3mVVCRsMVFL9r+PRt6Klc9dWK khNvCV167A79VbtRd74N/GlnJKaliUmStRiGspk0xuulomEwB/DKlIWViEUPbTKq/QKbTAt0 1aImfbgCjpurKCZRBqhGlG88G/a1c89cDNqWMMUcTbp9eUPt23as/4iZtNqEarsyNKuXyn5w irMpy8771nysSLp//vqlbwkq2vzznQscuLTzl6ONo5CxlkoDLNJn6TytTDmAQ9ode51tGWps nkegNS55+sTF5yLnyHlaLxSRerztqzfb22E3QUH83wdG9KFpiPLkWd4vWwWGauVGp9aI1cFn WeK6V8Kvsc70IWCMvAuC25ONyja5fS8ToW9Cpg4n/JWa5lrPAmK4D5pf02Lt10BY2By+ZzTz ayzKJ72ZV5DUPQP5GTsG48gPUoDmnhWKZX7GcqqkHxKENO2OBaodFvyGADVN79kvPnY/l69H hQ2H5Li9iizmdbWOkH/mbP/53hTRZTiLcGo9Z5kZaSYLxB4GWosLfbUzPlzM8ZmhqlZ3KOAt H20RkYSmhK1iGzlODe6TClpSIruepJj8lM9HygnZmiz11YZPI2A0aY4drkMR4cBytBN9/BPY sM+S52yOcgXEjXj0BYBXKb5t71nJUiKhxrRHi+LYwofXp9HRi7X84W9ZgLuqTcFCyG2keAco LSQ8BzRbrReZgZlDefQMOmOyXHot1cjuetCZWn6CfgNR1fNqa9EczfQiN0zKOEycSTz/COQj VuqME1JtNvzrJ8Q2/iXo6K99qOCMfZ0R2heFEnltYeGDzHQpDef8NURQdSzXG7vUU3v8/+ff sRT9fb3NcMHkHtss4ZRF7VKz7o01+Dwpo11nxhVI3HWU2uFUr9QAGGK/c1qhJ1/wrV0vQiXW EXW3vJ4Pb6PGt3uEX9PBQ4DQ9mA68opmWjp3axoGHn52S55x6rYcENwOxLXtjdRAoEoO6wYw MAgmvUs1SqBtjQQPOy70x9kr1a3EiRYUoEMlI0rP4vwuw96lnBAecP9DwH10rGuavJNEFcje GaMjaufmb9ZzUvmWFgwHEjrwuByq8kvuhdL7VlaPHWPuIPPqcEW1S1r0wYcb1pq3DQe9MwrI UltFUl+BZvWzgdSnMIZAlydQVBQNiOW6mna6gUvllSAa2KKS2aUDmk2GdjVzXAj62gGIwRqp uCJ+l3EDwTvUtr6hBYpeEhfrPfmc9x92yvClO2jHOWHB5MKWiXksID/eVs3rwbbPu1piH3lv eVK+MNCWZ//PwMUoIw5DNC+/pYUQxamOmdDYK9A+IUkIGLiQwyxiAO+cx2JRsBwJvLx4RCZD e5qLZlxTBiQ7nuFgQ0aIq8uGIVKusAVyuAMQZ7VAFIXkqC+q2Npua3A9yKli24MRc5voPkHK YjQVmyjFzWQjERLi0vIp9tgPEC4aOkleTymjfyU8foIJb0HoupDYUE/6ZrqnnS3YS9M3QOYg xPHXIDSl9dd8IVLm5D+N4l6HCC2FI/Db/uJ+wWNrNh+V9PDHsPQvQczqFO8HQBpEZYOetZwz 5KhjcXW2R7bgbMITGzpoZmNOK1X78GUXuAMEMbWLmFfrBSSSv3X/BoP1GCpG6NnyOoHyJGce DK5T8+sefo+edRXniRVYhcDNSctMf38a6O4qB6tq/iJNAMm7jXGC9Ga7l7sU3BQc34ZGp/5C zKsgc2U2PJjkN1uCiMHVtZcOL0pEG+7DOFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NJwHDsgSnXe0zJj5f nfGa25K5eDVQ2FfaRuliDj8dl73OwDMEo6Ryv8VE4e8bCSzBYHGB6Funsuly2kjYSPtlYlLN vlHkkAd/XGNLlVBQuUW5/79hv1orh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A== IronPort-HdrOrdr: A9a23:ovCOvKP6q4K0ecBcTvujsMiBIKoaSvp037AO7TEVdfUzSL39qy nOpoV46faaslsssR0b9exoW5PwIk/00ZZ05M0/O7KmWhf7oS+UKuhZjbcKoQeAJ8SWzIc0vs 1dmsNFZuEYY2IUsS6XjTPIdOod/A== X-Talos-CUID: =?us-ascii?q?9a23=3AOK1Or2iuve4ttuJTUhLrwP2kqDJuSUfMwkXZBBG?= =?us-ascii?q?DE0U1a+22UAW8wrF8jJ87?= X-Talos-MUID: =?us-ascii?q?9a23=3AUf91yw15V+0UYQ1fzHvTWiP5cjUj5IiTOWIByqU?= =?us-ascii?q?8sMCOPnMsZjOf0yztTdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.07,209,1708383600"; d="scan'208";a="162041849" X-MGA-submission: =?us-ascii?q?MDGn9FPKdtPTc+Ahdd4iQXH1Fn864d3JEvpNyR?= =?us-ascii?q?r1Ov4/vWlJsDQczb9tQcH6VN5nk680vzJQYvplFWpDIWZVoSOYVN4UEt?= =?us-ascii?q?S7xf/ohPS9LHzxkJYAU/zC7CCzgoZLZcoWRZ1hLq68jzCFL4/07e8mx7?= =?us-ascii?q?U7Xk1p3ekSjhc9kaCRPajdZA=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; 17 Apr 2024 13:03:33 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id A8AF43FBB9C; Wed, 17 Apr 2024 07:03:31 -0400 (EDT) Received: from Magus.localnet (246.6.138.210.rev.vmobile.jp [210.138.6.246]) (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 B0D1F582D4D; Wed, 17 Apr 2024 07:03:30 -0400 (EDT) Date: Wed, 17 Apr 2024 20:02: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=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit X-Scanned-By: mailmunge 3.11 on 66.39.3.114 Subject: [Caml-list] 2ndCFP: APLAS 2024, October 22-24, 2024, Kyoto, Japan Reply-To: Oleg X-Loop: caml-list@inria.fr X-Sequence: 19114 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: The 22nd Asian Symposium on Programming Languages and Systems 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 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). https://conf.researchr.org/home/aplas-2024/ Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 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; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation; concurrency and distribution; applications, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas APLAS 2024 continues the tradition of the best paper award. The submission website is now open: https://aplas24.hotcrp.com/ General Chair: Jacques Garrigue Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)