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=AB7odhtY; 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 41A1F4009A for ; Wed, 29 Apr 2026 17:55:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=+KzQOgCA8kyUrH73NRCwAzOi2IKdTxRkI9TCu58+XIY=; b=AB7odhtYM7gHye4p9vhkAwD7FEV4yPphpMv+z1vn1EQSCIG18QdCZuCI 4VCWHo0CImgUuX9/nowpGviprfUQcEInFLyjVhSnZtlMT2PeRnzSOEebZ av6BhnBxPKxN7cQ79Bj5NCxfLXQkNX65fXsGe34jyuDHsqkhd+rV/e6bB I=; X-CSE-ConnectionGUID: lGOAfRf5TZuWq9tr+aLZSQ== X-CSE-MsgGUID: i4fLBQiKQ2eCLmoTXUW5Bw== 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.23,206,1770591600"; d="asc'?scan'208,217";a="274694593" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Apr 2026 19:55:05 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 4430F81A40; Wed, 29 Apr 2026 19:55:05 +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 516D3819D6; Wed, 29 Apr 2026 18:45:55 +0200 (CEST) X-CSE-ConnectionGUID: QYl8oS14QV6Sd7gvPo8FfA== X-CSE-MsgGUID: OuKFl+kSTUmZYNaJq3sk6g== IronPort-SDR: 69f235c2_5IbCMPuPcayGkhO9pSOAqK6wGc4gUR6emmWK0wf0bR8iT1u 5P8leHRKZWUv7Rjd1SkHoeEqwYfhUMgLwBodLIw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EYAwAzNfJpgZb/1oZaglmCGCmBBwZZMwQLSYRYiHuIe?= =?us-ascii?q?aAcCAcBAwEIBT0RAQIEAQEBAgSFF40dHwcBBDMGDgECBAEBAQEDAgMBAQEBA?= =?us-ascii?q?QEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQE9BUmGTw2CRYFCgSYBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBGQINB4EaBh0BASYFDRhEAgRaFQEBgiZYAYIiAk8DEZtOn?= =?us-ascii?q?D6BFhyBAYIMAQEGgmraB4EZCQMGgU2BWIZzDQEqgTMCAQKEFIU8QIFNgRUnC?= =?us-ascii?q?wODM4EFgVwCAoFAg3mCaYImehQdhVKJHYFmA1ksAVUTFwsHBYFmA4EGbjIdg?= =?us-ascii?q?SM+FzRYGwcFgUuEZ4EGhF54IywDThgCAQttPTcJCxuJPBAhDYEjXR4Pgg+BW?= =?us-ascii?q?hNySHvFKIE+giWCAYZdgzOCDpU/Bg8EL5deCJMFmQaOCZs4gUM7JEmBE00nE?= =?us-ascii?q?YMiUAMZD1eNYYUpgSbBaic1PQEBBwIHAQsBAwuBaE+DDQEBjFaBSwEB?= IronPort-PHdr: A9a23:5rqd9Bevb0txO2WvYJFXxpaXlGM+v9fLVj580XLHo4xHfqnrxZn+J kuXvawr0ASUG92DoKIY2rae8/i5HzBbvdDZ6DFKWacPfiFGoP1epxYnDs+BBB+zB9/RRAt+M eJ8EXRIxDWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oL BWxsA7dqtQajZFtJ6s/yhbFuGdEd/hZyW5rKl+emxnx7dq08JJ/7ihcof0s+sBPXKngY6g0U blUByk6Pm4o48HmqRbMQQyT63UGT24YiABIAw/L7BH7Wpf+rC73vfdj1SeZIMP7U6k6VSyt4 alzRxDkkTkKOTEk/m3PhcN+kKxUoBS6pxxi2IHUe52aNOB/fqzGY9wXQ3dKU9tLWCxABoO8a JYPD/YEMO1FoYTxu0cCoB2jDgarGe3v1yRIhmfo0qImz+QvHwbG3Ak6ENIPtnTfsdH5OagWX OywyqTD0DfNYO5M2Trl64bGfB8urv+MU7xtb8Te1VIiFwzZgliKs4HpIy2Z2+YLvmOG7+RgT +Wvi2s/pgxvpjio3MIshZfPhoIJ11vJ6Th5z50rKt2iVE5wfNmpH4FNty6BKYR2WN8iTnptu Ckg1r0GuYS3czQMyJQ93B7TcfKHc5KR7x/lSe2eLit2imh/d7Kjmxa971KgyuvkW8Sq0FtGs ClIn93Run0R2BHe5cyKR+Zz8Eu9xzuCywHe5+9EL007mqTWNpEvz74tm5QcsUrOHDL6lUT4g qKXaEgp/PWj5ergYrXjvJCcNol0hxnxMqQvhsy/Afk4PRMUU2ia/uSx0qDo807hQLhSk/E7n KbUvIrEKcgGqaO1GRFZ34Yj5hqlEjur0MgUkWEaIF9Keh+LlZblN0zSLPziEPuyjUignC1ly vzYOLDqH4/DIWLZkLj7eLZw805cxxQ3zdBY/59UD6sOIOj8WkDrqdzZAQU1MwmuzOb7CNVxz J8RWWSVAq+CKq/Sv0WI6vouI+mKeoAVpC7wJ+Ur6vPhl3M1h0IRcKaz0ZcJaH21Hu5qL1iZb HbwmtsBFH0Fvgs6TOzkkl2CVjtTam6oUKIh/T40FpimDZvYS4ComrOBwCe7EodKaWBAEFCMC m3kd4ueW/sUciKdPtdhkiAYVbimU4IuyQuhtAr+y7Z+KurU+zYYtY742dhu5+zTkAky+iZuA 8Sc1WGNVWB0kXkSSz84xqBzuVZ9xUub0ahkn/xYEsRe6O9OUgcjLJLT0+h6C83pVQ/aZdeIS FOmQs28Dj0rT9IxxcUOY0dnFNm4gBDDxTKmA6UJmLyTGJw07qXc0mD/J8Z4ynbJyLIhgkI9Q spPMG2mnrRw+xLSB47PiUWZlryleb4S3C7X7GuDy3GBs1lCUAFsSaXFQWwfZkzOoNn3/k/CQ KGhCbMkPAVb0cOMKrdEZsXzjVpYWvftO87Qbnq0m2iqHxaIyamDbJflemkH2SXSElQEkwAJ/ XaHKQcxGD2to2zEDDB2CF3vYELs8exmpX2jQUE7wR+EYVF92rSz4hIamPmcROkJ3r0YoCovs yx6Ek6y0d7OENqAvwRhcb1Gb94h/VlJyDGRiwsoBLfodfg42BZKaQ8t5xmw/xh+EZRLkcErt jUt1gUkeoyC11YUXDcZ2J32JvX+N2P/5gznP6fL0FzEzP6T87sPrv8+sU6lshv/RRlqyGluz 9QAiyjU3Z7NFgdHDcOZuicf8hF7o+ufeSwh/8bO0nYqN6CoszjE0tZvBe0/yx/mcc0MeLicG lrUFMsXT9OrNPRsg0KgOxsZNu1I6IYxNt+mMfCAwrXtMvwz1Cm+gzF/6ZtmmlmJ6zI6T+fJ2 5gfxPTN1xaNWi3gpFKorsCxkoZefnccBDn30jDqUahWYKA6ZoMXESGuLsmwk815nILoUmVE+ USLAloc18a0aVyXZkD9mwZWz19Rr2bPdTKQ6Ttynnlpq6Oe2HaL2OH+bF8dPWUNQmB+jFDqK IzyjtYAXUHuYRJ73B2irV33waRWvsEdZyHaXFtIci7qLmpjTrr4t7yMZNRK4Y8ptiMfWfq1Y FSTQLrw6xUA1CarE2xbzTE9Pzak3/ex1xVngm+HMF52pWbZP8p23wyZ6sadDf9d0zwaRTVp3 CHNDwv0NN2o8NOI0pbb57nlCyT7D8EVK3S2i9rd7HjehyUiGxC0kvGtl8eyFAE71XW+zNx2T WDSqx26ZID31qO8OOYhf09yBVa65dApf+M22oY2mpwU3mAXw5uP+n9S227uO9hBxYr7ZWYNA zUN2cWT7hKviygBZjqZgpn0UHmQ2J4rbsSwb3kK8ic088AMA6GO9/pKh2Em6kr9pgXXb/9nm z4bwvZ7838WjdYCvw81xzmcCLQfdaVBFRTljA/Ar9W3raENIX2qbaD1zk1129aoELCFpAhYH nf/YJYrWyFqvI1zN1fF0Xu77Y+BGpGYZM8ZuweIuxLJk+gTI5QrjbwEn2JrNHn8snss1+Mgx UU1gdfg5dTBcTgwuvvkWlZRLXXtatkW+y3xgKo7/I7exI2pEph7W30KUJbuUfO0AWcXvPXjO RyJFW50oXOaFLzDWA6HvR498zSVSsztbSzKYiBElYYHJlHVPkFUjQEKUS9vm5c4Elrv38n9a AJj4TtX4FfkqxxKw+YuNh/lU26Zqh37D1V8AJWZMhdS6RlPoknPNsnLpOtuFSxC4rWkpRCNb GedfR8OA3tDCSnmTxjze6Kj49XN6b3SD/e0IuHSSbCHtewYXPGS3tShyME1mlTEftXKNX5kA foh30NFVn0sAMXVlQIETCkPnj7MZcqW91+svzd6pcel/LH3SRrisMGRXqBKP4wlqHXUye+Tc vSdjyFjJXNE24MQkDXWnaMH0gdajjEmdiHxQ+1b6WiXFf6WwPIKSUdGM0YRfINJ9/5uh1IRf 5SC1pWvi+M+16NpQ1ZdCQ64xp7vP5VSZTjjcgmdTEeTaObfeGKNmpqpJ/rgEPsJ07ox1VX4u DCQF1LvM2ae0jbgER61ebZFiCXRVPBHkKe6dBslSW3qTda8Lwa+LMcylzo9h7s9mnLNM2cYd zl6aUJE6LOKv2tehb1kFmpN42AAT6HMkjuF7+TeNpcdsOd6SiVymeVA5X0myrxTpChaTf1xk SHWo5ZguVaj2uWIzzNmVlJJpFMpzMqTul5+PKzC6pRacXPN5h0E8HXWDh0Wp51uDMf0/a5Ki 5DOmK/1NDZe4ofU8M8bVK22YIqMNHssNwasGSaBVVBZC2TyaSeF2hEbyazKpRj35tAgp5Phm YQDUOpeXV0xTLYBD1h9WcYFK9FxVy8llriSiIgJ42C/pV/fXpY/3NiPW/SMDPHoMDvcg6NDY k5CyK7yIJ4PHojyx0wkYV9gh8LEAQCDOLIF6j0kdQIyrEhXpTJmSXYv3kv+dg63yHoaD/G9g w5wjwJiYaIm8i33pVktbAmvxmN4gAw6ntPrhiqUeTj6IfKrXI1YPCHzslA4LpLxRwsdheiam EV4NHHPQahKybV6JzgDYOD0vJJTGbhXS7dfJhEKl6j/jxQA1F1GpSy61QlC7PfFT5BkjhBsf 4T+9xp9 IronPort-Data: A9a23:ryLRz6/MZmFeOjOVe2x7DrUDFHWTJUtcMsCJ2f8bNWPdYAuX4ASz/ BJgGTzYWojqDWK9D6pxav6zgDlwveemyNMSOxw97noFoxliopabC47Efh6sZnzPcseTFh5ut JRBOomRd5s+RCeAqxqkbbW/pyZ1jqqFG7OhUredNCktGQY4GHoqgk1ty+VniOaE7TTB7yal4 Lse9OWEYQT9s9INDl8p107qRXMGUJ7anysVuGQRXcdQvVDYnmUIFp9ZLLq6R5eTaoVaQOXlG 7aTweG39GrS9RxxVd38yr+mIx1aTu+CZ1PfhCVdB/b62UhMqCVojPxjbvZNMU0M1D7Sw94vw YkX6cXYpWvFRkHpsL11v05wQ30mVUE/xIL6HJSfjSCy50SeKXXinqkwARg/NIMTpugvWjgSr vcTdm1QNRzTibu8nOvrG+Jhr/p/EMS6Z4l3VlNInWiIV65+KXzga/yXvoEAhG9YauRmR6u2i x8xMGI3BPj4S0QRfA9RVNRmxbnAakDXK1VwsEiSqbc8/1/dxQlw1KmFGNfOc7Rmf+0M9qqjj jyApT+R7i0yboTFl2LZqCP034cjoAuiMG4sPO3gnhJVqAbLroAjIEV+fUe2p/C/lnm/V7p3Q 2QI+jAjpLQF70eiSN/wRXWQ+BZoaTZBMzb4O7RSBDClksI40S7AboQ3ZmcphOgdiSMDbWBCO mmhz4q4X2Q32FGiYSn1Gr+89VteMMWORIMITXdsoQAturEPrGyv5/5moxkK/KOd17XI9T/ML z+ilRk617Io1JIy6fuA8Q/InQqr9rbHZ1tgjunXdjrNAgJRYYe/aIW1+R7e5OpAao2fVELHs mJsd8q2tbtSS8vUyGrXHbhLRezxjxqGGGW0bVpHFoQr+i6x03uqYYAW6zdkPwFnKK7ofBezP xON6VwBvsY70H2CSrJUTYbyCP8W8K3SJPLsdOmPddkQbc0kHOOA1Hs3PhbIhz2FfFIXuao2P JPedce3EV4BGKF/xXy3Qf0c2Pkl3EgWzmTKAJv/0h6PyqubfHfTSLEfMVLIYPpRxK2BoQ7O2 81OMtODjRRZSuz3JCfNmbP/NngPJGI0DI3m7cleau6ZIwFrXm87YxPM/V8/U7VUm/RSrb6Ux 0/jYUMHx0THgi3pJyzfPxiPd4jTsYBDQWUTExZEALpF830qe4mm8bdZcpIrfaMm/+Elw+Qco xg5lyeoXKgnptfvomp1gXzBQGtKL07DuO52F3D5CAXThrY5L+AzxjMbQucf3HNXVXLv7ZZWT 0yIzA7ATJMeDwN6EMfPdf/nw075tnEYgP9pF0fFat1aMEnr7YECFhEdesQfeplWQT2an2Py/ 1/PUX8lSRzl+d5dHC/h3/Hc99/B/ioXNhYyIlQ3Gp7taXCCpTf8kN8dOAtKFBiEPF7JFGyZT b0955nB3Dcvxj6maqIlS+szn5EtrcDivaFbxQlCFXDGJQbjQLB5L3XMmYEFuqRRz/UL8UG7S 2CeyOl8YL+pAcLCFEJOBQwHau/Y6+oYtAOP5tsIIWL7xhRNwpy5bWtoMSOx1RNtdIlODNt9w MMKmtIn1Aikux97bveEln918kqPHFwhUoImlJEWP63vgQwR41t9T8TVIXL06petefFJAFgLI yCVtoXGlb9z1krPSFttNHnvjM52p4UChwBO93AGf2+2o9viguQl+TFo6hE1c1hl9QpG2OdNJ WRbDU15CqGQ9TNOhsIYfWSTNyxeJR+eoGrd9kAokTDHckyWSWD9Fm0xFuKT9kQ/8WgHXDx6/ qmd+Vn1QwTRY8D98Ssja3FL88W5Y4RKyTTDv8S7E+CuPZowO2Pli5DzQ1s4kULsBMdpiXDXo eVvwv1LVpT6EiwtuIw+NZiR0OUBaRKDJVEae8pbwoEyITj+dg2xiB+0EGLgXuNWJvfPz120N Nw2GOJLSCaF9XivqhI1OPcyBoFazd8TyvgMQLfJHVI9kqC+q2Npua3A9yKli24MRc5voPkHK YjQVmyjF0LJtH5qimPghtV1ClC/RdwieQb6+f2H9sQIM7khs+hcV144/ZXpnneSMTNbriyqk TLfQIOH9dQ6759Uoq7+KphuWg+LF87/erWi/D+Rt99IVJT3CuWfkyg3u1XYLwBtEr9JYOtOl JOJq8zS8HrembQLD1DihJiKEpdW6fWIXOZ4Ntz9KF9Yl3CgXPDAzgQi+WfiD7B0i/JYu9eaQ jWnZPuKddI6X8lXwFtXYXN8FzcfE6HGUbfylxiirvijCgkv7iKfFYmJrUTWVGB8cjMEH7bcC QWu4van2Y1+nbR2XRQBA6lrPo98LFrdQpAZTtzWtwSDL2yWk1iH66rDlx0h1GnxMUO6Mv3Gu LDLehuvUy6JmvDs7MpYuIlMrBEoHC5Doe0vTHk8pf9yqR6HVVAjE8pMEK87Gql1kzPz3q7Wf DviTnUvIgSjUCVmcSfT2sXCXACeDNMgK+WjCGUk1B6IWheMA6eFJqZq8AJ90XFXex/I7uKuG fcB8FLeYzmzxZBIQ74Ix/qZ2O1I+NLT9kgqy2vczfPgJgk4Kqob8kBhEC5mdz31I+uUmGrlf WEKFH15GmelQkvPIONcUn9yGiBBmgjwzj8tPBy98PyGt6q1lOR/meDCYcft2bg+beMPFr4EZ VXzY0Cvu2m2+HgiiZEFiuITo51fKKy0R5ChDarZWwctsbm66T0nM+M8jCM/dpwe1zAFIWzNt AuHwiYYP1uEGnBzybfN6AQu+rBNaFwuIQzNrjbCoW7hrURk4fnfIhSk9VeuY9W44a3upF5RT zoufV6c6Q/e/iftoT5l8O8XvBqbCMUWDmPJST0sUoi0qBq3VWtBD/p05inWDT6KHKFsne24t Zp90unRPKqiVzmA1h302tIQfrghpLEbAUINkdcFOf6t+sSYjOvGnxSRc95WjTr+RTlzUEgBl MbVcUeZBxi+Xcx5QGl+o8OII3Bjwu3Q6l/7gWnTyehfs6OclJMZgYX+7xPGlMG6k0mefd7rU Xg9KspX3fr6zZ8BpySQbpsFHlzkxN9T IronPort-HdrOrdr: A9a23:/coeyaP505HOHMBcTv2jsMiBIKoaSvp033ACy112QwdEa9Hwrb HJoB1p726StN9xYgBZpTnkAsPvfZqyz/5ICOUqTNKftWrdyQiVxeNZjLcKqgeIc0aTmdK1vp 0QF5SWZueAdGSSwfyKgjVQzOxM/OW6 X-Talos-CUID: 9a23:L663WmNZInUC0+5DYRhjpEkvQ5wcTCPmwCjfPXe/WUhnYejA X-Talos-MUID: =?us-ascii?q?9a23=3A6PPSkAyx7jJo7Uy1wKIaxad9bX+aqIOzK24J0pY?= =?us-ascii?q?9h/SBBx1WMhWE1y+0HIByfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,206,1770591600"; d="asc'?scan'208,217";a="274687821" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGTDlpsv7laIfw533Pe5XArwZgPxGSQx3RNkx?= =?us-ascii?q?c8+y4qpybWeh935KMmugYTWLqGTiLXyp8UajStD0vaHfeDTtRsZ1+7XW?= =?us-ascii?q?6Tvnb27Rh3muUTgJcftd+Si0ggHf3p6xJl6H/nBrsqdqqIHsswjOJ+ih?= =?us-ascii?q?4dAntHEtWFoVfPpmn3/kY9OA=3D=3D?= Received: from margaux.mathrice.fr (HELO margaux.math.cnrs.fr) ([134.214.255.150]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Apr 2026 18:45:54 +0200 Received: from localhost (localhost [127.0.0.1]) by margaux.math.cnrs.fr (Postfix) with ESMTP id E0B061680; Wed, 29 Apr 2026 18:45:53 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at math.cnrs.fr Received: from margaux.math.cnrs.fr ([127.0.0.1]) by localhost (margaux.math.cnrs.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 7CnhrBKd4OJ3; Wed, 29 Apr 2026 18:45:49 +0200 (CEST) Received: from [10.46.0.1] (vpn.math.cnrs.fr [147.210.130.32]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by margaux.math.cnrs.fr (Postfix) with ESMTPSA id 64BF565B; Wed, 29 Apr 2026 18:45:39 +0200 (CEST) Message-ID: <65ff8e3e-0674-4575-99b0-dfbe6b464196@math.cnrs.fr> Date: Wed, 29 Apr 2026 12:45:36 -0400 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: =?UTF-8?Q?Cl=C3=A9ment_Aubert?= Content-Language: en-US, fr Autocrypt: addr=aubert@math.cnrs.fr; keydata= xsFNBGJFpv8BEADqfwuh8W6jUfxuFxp9ozYAx44ryoSxFK7pW4QZBknd51/6dsCDJ0JNOM73 9MZtnCqAKcgvzm43ieuzms8T44cqOBIJqWOWgeeWjz/iincBvKDZ14TEmn7JvG2itRBY9fEH lYpEeHdDQ6gIry28Mv8hPH5ChBZW7iipBVsTI8Avc2S+k7t5w6S2XCkPKOU4/kC++Xn9tEmb YojPIGJRFuZj+u5oVN6e/y0Fjj7xhpWQXsTwa0YSMVwGqUw2JiUaOocN3Z4RY6sNaJ8syWkq uJQVOvKzgrsPp6ca88P9t2D+bF5NielFFcTmNWKF7VYEmuSPjwfUXx62RpCvLpCNGO1pMzHv QYBFrz/YJuZSFIbb4jbAD8EzlXCXUDyLJMTWniz9TpTXhEELPVYLhjxgLr9k0sRpvyODSfts IK/eyAQNszG96TQFwwHLGv66DDtlwWBwJ8N+wZt1XXb0DE/mWt+syvtLSHaHnabKRCJjc5XM +gMvM0z7yV3ThogVKOC1+MiVR54jQj47YmaX/hLdvP0VFE+e1NIwiF85DXcrs8wdtOFjcjyq DYnakPS4Z4/06T7hC0l3cBi9jWLBXp8fCwNU3sCzKvv8oPnANB7vjtKcZZzgPL0W18ega/PS DYWBrE7aCLcdooWA2bbyo6agfUzi57wFp4eVfqOSbC0QYAd4FQARAQABzSVDbMOpbWVudCBB dWJlcnQgPGF1YmVydEBtYXRoLmNucnMuZnI+wsGJBBMBCAAzFiEE186fTZckYBtSmP7y3HLF 7PSsZawFAmJFpwECGwMFCwkIBwIGFQgJCgsCBRYCAwEAAAoJENxyxez0rGWsAnIQANPUlf3X rDiK+dJRW0OPAECVz+F2OnCXxAPjo8foBjxrSbZnsa4motsmdlXHjVv/C9hOcfm43ajI1lgd 3mrANim4nUGK9XKP08pSny6arQPcBRDgzvcRCppyR6vAsawwGN3aBRic+dZOS8AspPxg6vz+ PzCiMyAumWHMkPSthemueFaSaYMJIZsp8iZtMxhw8Sm5YweWW8p5culdd9ak9O8bhCfwf+RA yO2SUdtVII6dZpAgDYweujgFcC1gzHC6ySCspqfVEJPQXmAXBKUB5r00NSBFA9tJD2n+02Yw hzKqs//qw82ht3dP6otjD5Vmn8Wg2PZS9AFbJM7DgOEjx3cdLwLpCfw1P/t+cZh+xs4XnulW B5prh6TKTQtuLB04bx+9r9XoYtfCXqT4IH+Vj3HzQetkvi6vjhijWo1dKoYZbmlysJwj3CQQ IGxXAgBDz5R1jF4hQmYmzdv2b+quUi1DhCqYk9eEThYlYJgfMPUzEwwHa0AvEd9azpdgjKxN u/v3Ri1KkSX+v11+K3RFJnQsJV+f30Lg4uoch2b0ME5EHYyNQLEJupWjAdd5hn2t0+RY9zz0 OtYpdiQZaY2H0+7hW/YsHbp3eO1slqWVyPsNV+5KIG2ItNlSufW6bnSNwqL2FKzkCsiS3ZCM Wxwd8toCEHwQiRyCNN/iO3bFHg4FzsFNBGJFpwEBEADBnhBKvj0bhjhptI5pEGOxsIaWnQkE tqqUE+xzKGoljegRBxrJ87tCd7607EZtaXGzfwpwVFZ4fFjpni8RId6XEBeAgc/BHsd2rxUr fr9vRSTGxSqLivetIU9dKbwkpVvuPzxcOaCeg1rAclOvT1BhBVS3uH0zKtWzkeWq4iRpEHjH TrE/4riOh7EQgIDBbBTbUXhMq9ijkbMHmMDh/skA7sqWr8IzXKY0LE4hQfBGEVWqlf87h/3v 6OsE4s/yQ+ogJQ7Q4IVZZXrDadnDFLi8uKqxqbhA9YPkybbxZtgaAX6xpLM6EN3avN9d+0uB SSTX3WJRkM9veet0Q2zsOFxbuQz1BT0ZVhp/8TCNgB5XZZLqmnaYgb/THXr88w5tnOWFWKPX Tq4kEkoXJmVdBvxuqylot0bjEh7nPu8DkXstz25CRJFPGSJMB+nKtly+oGvc4n6UMcCs1W+w 5TMVr4zuKkqOGqsHtom/Brl/b+PwVC0/8hQ0VGgn8hXLAoR0ekbjOKw1xPcvLGMoneCh6xnG TDOT0vT6lVnTS3yrQSaW8sJZwVoOwxburQYOfClTSPqLnGAkPYMMoZ9FdVvVmVsrxUbzKNiw jXVTI2v6iYlbgQI4FcaCx0kbio/W/V+LgOgLLq+Uxy0tSj6GOPYCTw1w15WZ3u6lb8oLvrBA GovtQwARAQABwsF2BBgBCAAgFiEE186fTZckYBtSmP7y3HLF7PSsZawFAmJFpwICGwwACgkQ 3HLF7PSsZaxjtxAAw0ZF6jo9hv8fos02b1dwxxPcrWbBjgaywQGKfCuJCeKtLIYPLlJpkj9M U9BVLPjrhF8eSa4+nmHvRKID7wwTaHHNFFM0Fn1ofE8jUU5O42Pyvw78gJcQs0i/3/mZAmv9 Cmd0+sgRjEYbBNytH0i53BiKdJMTlpIxjxl78v/3BAFECkQJGqmdbHXxW0WL6NcFDenyA47s o23GKktssEWiwwkXOUjrWHr7Pb2sdmPwwItUTLGU31mco98cvts5u+sJma8vkXu31kObZdl6 RNQ3lREph1IAd0iAkPgseKaSULKmELcFgPRCk9ZNFEF9BRF0uFS5PRMW12mh0QznKkZJgZkH j9fHINxkin8Teji5Cx1WVvsFaZoQxDJ2CwyKFiQpiv2qaRTwgyrzy62Gr3iaY/nYFI6MIz/x LaBED9Oq+z43RbX6MnGhe81xWrS46TGIyPpyKx9qWtZT32GMPgJ6ijgs4yT3eBsQ8Vy9xpvl fvyMdh9lLn3fZvK1D/xI3OApP2c6GdFMYZ0iMfoz58ZUDWojpdK4F5HKMiXjh9LKZzFiyHvn k2Z+IMIeHwQuqG9zH2s9sUBaoexXDZ30OSWPNWPJLxE1QOD4y2ON0nuca5xNHklpSt1Z2AEu Y8PpHPC+Pv8bsroKCqGHHXdqKP7q24WjaSBUAEkCB/13XakzN/A= To: RC 2026 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------jO3o0rpo0RU34RqQY3vaiS04" X-Validation-by: aubert@math.cnrs.fr Subject: [Caml-list] RC 2026: Call for Participation Reply-To: =?UTF-8?Q?Cl=C3=A9ment_Aubert?= X-Loop: caml-list@inria.fr X-Sequence: 19501 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: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------jO3o0rpo0RU34RqQY3vaiS04 Content-Type: multipart/mixed; boundary="------------dq8aXCtSTk11VMXV3g4Dk0Zb"; protected-headers="v1" From: =?UTF-8?Q?Cl=C3=A9ment_Aubert?= To: RC 2026 Message-ID: <65ff8e3e-0674-4575-99b0-dfbe6b464196@math.cnrs.fr> Subject: RC 2026: Call for Participation --------------dq8aXCtSTk11VMXV3g4Dk0Zb Content-Type: multipart/mixed; boundary="------------iFXEzdTeBMn5SiLuIi4pNqNW" --------------iFXEzdTeBMn5SiLuIi4pNqNW Content-Type: multipart/alternative; boundary="------------EO8uTMSQK1uBn2IBaM9IgxOA" --------------EO8uTMSQK1uBn2IBaM9IgxOA Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 IMKgUkVWRVJTSUJMRSBDT01QVVRBVElPTiAyMDI2DQoNCjE4dGggSW50ZXJuYXRpb25hbCBD b25mZXJlbmNlIG9uIFJldmVyc2libGUgQ29tcHV0YXRpb24NCg0KSnVseSA54oCTMTAsIDIw MjYsIFRvcmlubywgSXRhbHkNCg0KaHR0cHM6Ly9yZXZlcnNpYmxlLWNvbXB1dGF0aW9uLmdp dGh1Yi5pby8NCg0KDQpTY29wZQ0KPT09PT0NCg0KUmV2ZXJzaWJsZSBjb21wdXRhdGlvbiBo YXMgYSBncm93aW5nIG51bWJlciBvZiBwcm9taXNpbmcgYXBwbGljYXRpb24gDQphcmVhcyBz dWNoIGFzIGxvdyBwb3dlciBkZXNpZ24sIGNvZGluZy9kZWNvZGluZywgZGVidWdnaW5nLCB0 ZXN0aW5nIGFuZCANCnZlcmlmaWNhdGlvbiwgZGF0YWJhc2UgcmVjb3ZlcnksIGRpc2NyZXRl IGV2ZW50IHNpbXVsYXRpb24sIHJldmVyc2libGUgDQphbGdvcml0aG1zLCByZXZlcnNpYmxl IHNwZWNpZmljYXRpb24gZm9ybWFsaXNtcywgcmV2ZXJzaWJsZSBwcm9ncmFtbWluZyANCmxh bmd1YWdlcywgcHJvY2VzcyBhbGdlYnJhcywgYW5kIHRoZSBtb2RlbGluZyBvZiBiaW9jaGVt aWNhbCBzeXN0ZW1zLiANCkZ1cnRoZXJtb3JlLCByZXZlcnNpYmxlIGxvZ2ljIHByb3ZpZGVz IGEgYmFzaXMgZm9yIHF1YW50dW0gY29tcHV0YXRpb24gDQp3aXRoIGl0cyBhcHBsaWNhdGlv bnMsIGZvciBleGFtcGxlLCBpbiBjcnlwdG9ncmFwaHkgYW5kIGluIHRoZSANCmRldmVsb3Bt ZW50IG9mIGhpZ2hseSBlZmZpY2llbnQgYWxnb3JpdGhtcy4gRmlyc3QgcmV2ZXJzaWJsZSBj aXJjdWl0cyANCmFuZCBxdWFudHVtIGNpcmN1aXRzIGhhdmUgYmVlbiBpbXBsZW1lbnRlZCBh bmQgYXJlIHNlZW4gYXMgcHJvbWlzaW5nIA0KYWx0ZXJuYXRpdmVzIHRvIGNvbnZlbnRpb25h bCBDTU9TIHRlY2hub2xvZ3kuDQoNClRoZSBjb25mZXJlbmNlIHdpbGwgYnJpbmcgdG9nZXRo ZXIgcmVzZWFyY2hlcnMgZnJvbSBjb21wdXRlciBzY2llbmNlLCANCm1hdGhlbWF0aWNzLCBh bmQgcGh5c2ljcyB0byBkaXNjdXNzIG5ldyBkZXZlbG9wbWVudHMgYW5kIGRpcmVjdGlvbnMg Zm9yIA0KZnV0dXJlIHJlc2VhcmNoIGluIFJldmVyc2libGUgQ29tcHV0YXRpb24uIFRoaXMg aW5jbHVkZXMgYXBwbGljYXRpb25zIG9mIA0KcmV2ZXJzaWJpbGl0eSBpbiBxdWFudHVtIGNv bXB1dGF0aW9uLg0KDQoNClJlZ2lzdHJhdGlvbiAtLSBEYXRlcyAmIExvY2F0aW9uDQo9PT09 PT09PT09PT09PT09PT09PT09PT09PQ0KDQpodHRwczovL3JldmVyc2libGUtY29tcHV0YXRp b24uZ2l0aHViLmlvL3JlZ2lzdHJhdGlvbi8NCg0KRWFybHkgcmVnaXN0cmF0aW9uIGRpc2Nv dW50IGRlYWRsaW5lOiBNYXkgMTV0aCwgMjAyNg0KDQpDb25mZXJlbmNlOiBKdWx5IDl0aCAt LSBKdWx5IDEwdGgsIDIwMjYNCg0KVGhlIGNvbmZlcmVuY2Ugd2lsbCB0YWtlIHBsYWNlIC9V bml2ZXJzaXTDoCBkZWdsaSBTdHVkaSBkaSBUb3Jpbm8sIA0KRGlwYXJ0aW1lbnRvIFNjaWVu emUgZGVsbGEgVml0YSBlIEJpb2xvZ2lhIGRlaSBTaXN0ZW1pLCBWaWEgQWNjYWRlbWlhIA0K QWxiZXJ0aW5hLCAxMywgMTAxMjMgVG9yaW5vIFRPLywgSXRhbHkuIEluZm9ybWF0aW9uIG9u IHRyYXZlbCB3aWxsIGJlIA0KcG9zdGVkIG9uIGh0dHBzOi8vcmV2ZXJzaWJsZS1jb21wdXRh dGlvbi5naXRodWIuaW8vbG9jYXRpb24vIC4NCg0KDQpJbnZpdGVkIHRhbGtzDQo9PT09PT09 PT09DQoNCmh0dHBzOi8vcmV2ZXJzaWJsZS1jb21wdXRhdGlvbi5naXRodWIuaW8vaW52aXRl ZC8NCg0KKiBIYW5uYWggRWFybGV5LiBSZXZlcnNpbmcgdGhlIGhpc3Rvcnkgb2YgY29tcHV0 aW5nDQoNCiogUHJha2FzaCBQYW5hbmdhZGVuLiBRdWFudHVtIEFsdGVybmF0aW9uDQoNCkFj Y2VwdGVkIHBhcGVycw0KPT09PT09PT09PT09PT09DQoNCmh0dHBzOi8vcmV2ZXJzaWJsZS1j b21wdXRhdGlvbi5naXRodWIuaW8vYWNjZXB0ZWQvDQoNCkluIG5vIHBhcnRpY3VsYXIgb3Jk ZXIsIHNvbWUgYWNjZXB0cyBiZWluZyBjb25kaXRpb25hbDoNCg0KICAqIEFudG9uaW8gVHVk aXNjbywgRGVib3JhaCBWb2xwZSwgTWFyaWFncmF6aWEgR3Jhemlhbm8gYW5kIEdpb3Zhbm5h DQogICAgVHVydmFuaS4gL1Rvd2FyZCBRdWFudHVtIENpcmN1aXQgRXhlY3V0aW9uIFN1Y2Nl c3MgRXN0aW1hdGlvbiB2aWENCiAgICBHcmFwaCBOZXVyYWwgTmV0d29yay1iYXNlZCBQcmVk aWN0aW9uLw0KICAqIEJhcHRpc3RlIFZhbGzDqWUgYW5kIEl2YW4gTGFuZXNlLiAvT24gV2Vh ayBCaXNpbWlsYXJpdGllcyBpbiBDQ1NLLw0KICAqIEJ5cm9uIEdyZWdnIGFuZCBDaHJpc3Rv ZiBUZXVzY2hlci4gL0EgUHJvcG9zZWQgUmVzZWFyY2ggUGxhdGZvcm0gZm9yDQogICAgRnVs bHkgQWRpYWJhdGljLCBSZXZlcnNpYmxlLCBhbmQgU3VwZXJzY2FsYXIgKEZBUlMpIE1pY3Jv YXJjaGl0ZWN0dXJlcy8NCiAgKiBDaHJpc3RpbmUgTGkgYW5kIExpYSBZZWguIC9UcmFuc3Zl cnNhbCBBTkQgaW4gUXVhbnR1bSBDb2Rlcy8NCiAgKiBEYW5pZWwgRMOhdmFsb3MgYW5kIEhl cm7DoW4gQ2xhdWRpbyBNZWxncmF0dGkuIC9BIExlYW4gTWVjaGFuaXphdGlvbg0KICAgIG9m IFJldmVyc2libGUgT2NjdXJyZW5jZSBOZXRzLw0KICAqIEdpYWNvbW8gQmVsbGkgYW5kIE1p Y2hlbGUgQW1vcmV0dGkuIC9FeGFjdCBRdWFudHVtIFN0YXRlIFByZXBhcmF0aW9uDQogICAg d2l0aCB0aGUgU3RhbmRhcmQgUmVjdXJzaXZlIEJsb2NrIEJhc2lzLw0KICAqIEh1Z2ggUG90 dGVyIGFuZCBIYW5uYWggQmx5dG9uLiAvRGlzY3JldGUgU2VtYW50aWNzIGZvciBSZXZlcnNp YmxlDQogICAgVHJhbnNpc3RvciBOZXR3b3JrIFZlcmlmaWNhdGlvbi8NCiAgKiBJdmFuIExh bmVzZSBhbmQgR2VybWFuIFZpZGFsLiAvQSBSZXZlcnNpYmxlIFNlbWFudGljcyBmb3IgSmFu dXMvDQogICogSm9hY2hpbSBLcmlzdGVuc2VuLCBUcmllcmEgR2FzaGkgYW5kIE1pY2hhZWwg S2lya2VkYWwgVGhvbXNlbi4NCiAgICAvQXV0b21hdGljIEdlbmVyYXRpb24gb2YgR2VuZXJh dG9ycyBmb3IgUHJvcGVydHktQmFzZWQgVGVzdGluZyB3aXRoDQogICAgSW52ZXJzZSBJbnRl cnByZXRhdGlvbi8NCiAgKiBKdWxpZSBDYWlsbGVyIGFuZCBNYXJ0aW4gVmFzc29yLiAvQSBH cmFwaCBSZXdyaXRpbmctQmFzZWQgU2VtYW50aWNzDQogICAgYW5kIEltcGxlbWVudGF0aW9u IGZvciDPgc+ALw0KICAqIEtvc3VrZSBPbm9kZXJhLCBLZWlzdWtlIE5ha2FubywgS2F6dXl1 a2kgQXNhZGEgYW5kIEtlbnRhcm8gS2lrdWNoaS4NCiAgICAvUGlzb0xhbmc6IGEgVXNlci1G cmllbmRseSBSZXZlcnNpYmxlIFByb2dyYW1taW5nIExhbmd1YWdlIHdpdGgNCiAgICBJbmR1 Y3RpdmUgVHlwZXMvDQogICogTG91aXMgTWFyb3R0IE5vcm1hbm4gYW5kIFJvYmVydCBHbMO8 Y2suIC9QRUFSTDogQSBQYXJ0aWFsIEV2YWx1YXRpb24NCiAgICBUb29sYm94IGZvciBhIFJl dmVyc2libGUgTGFuZ3VhZ2UvDQogICogTHVrYXMgR2FpbCwgVXdlIE1leWVyIGFuZCBUcmlz dGFuIFNjaMO2bmhhbHMuIC9Db21waWxpbmcgUm9vcGwrKyB0byBIU1NBLw0KICAqIE5pY29s w7IgUGl6em8gYW5kIENsYXVkaW8gU2FjZXJkb3RpIENvZW4uIC9BIFJldmVyc2libGUgQ3J1 bWJsaW5nDQogICAgQWJzdHJhY3QgTWFjaGluZSBmb3IgUGxvdGtpbuKAmXMgQ2FsbC1ieS1W YWx1ZS8NCiAgKiBTdGVmYW4gS3VobiwgVmFuZGFuYSBEd2Fya2EsIFByemVteXNsYXcgS2Fy b2wgR3JlbmRhIGFuZCBFZXJvDQogICAgVmFpbmlra28uIC9SZXZlcnNpYmxlIERlZXAgTGVh cm5pbmcgZm9yIDEzQyBOTVIgaW4gQ2hlbW9pbmZvcm1hdGljczoNCiAgICBPbiBTdHJ1Y3R1 cmVzIGFuZCBTcGVjdHJhLw0KICAqIFRveWEgTWFraW5vIGFuZCBUZXRzdW8gWW9rb3lhbWEu IC9TbWFsbC1TdGVwIFNlbWFudGljcyB3aXRoDQogICAgTWV0YS1MZXZlbCBSZXZlcnNpYmls aXR5IGZvciBhIFJldmVyc2libGUgQ29yZSBMYW5ndWFnZS8NCiAgKiBZdW5hIFNhZGFtb3Rv LCBTaG9qaSBZdWVuIGFuZCBDbGF1ZGlvIEFudGFyZXMgTWV6emluYS4gL0ludHJvZHVjaW5n DQogICAgVGltZSBQYXNzYWdlIHRvIHRoZSBSZXZlcnNpYmxlIFNlbWFudGljcyBmb3IgRXJs YW5nLw0KDQpUaGUgcHJvY2VlZGluZ3Mgd2lsbCBiZSBwdWJsaXNoZWQgaW4gU3ByaW5nZXIn cyBMZWN0dXJlIE5vdGVzIGluIA0KQ29tcHV0ZXIgU2NpZW5jZSAoVm9sdW1lIDE2NjI2KSBp biBNYXkgb3IgSnVuZSwgYmVmb3JlIHRoZSBjb25mZXJlbmNlLg0K --------------EO8uTMSQK1uBn2IBaM9IgxOA Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

=C2=A0REVERSIBLE COMP= UTATION 2026

18th International Conference on Reversible Computation

July 9=E2=80=9310, 2026, Torino, Italy

=

https://re= versible-computation.github.io/


Scope
=3D=3D=3D=3D=3D

Reversible computatio= n has a growing number of promising application areas such as low power design, coding/decoding, debugging, testing and verification, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented and are seen as promising alternatives to conventional CMOS technology.

The conference will bring together researchers from computer science, mathematics, and physics to discuss new developments and directions for future research in Reversible Computation. This includes applications of reversibility in quantum computation.


Registration -- Dates= & Location
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

https://r= eversible-computation.github.io/registration/

Early registration discount deadline: May 15th, 2026

Conference: July 9th = -- July 10th, 2026

The conference will take place Universit=C3=A0 degli Studi= di Torino, Dipartimento Scienze della Vita e Biologia dei Sistemi, Via Accademia Albertina, 13, 10123 Torino TO, Italy. Information on travel will be posted on https://reversible-computation.github.io/= location/ .


Invited talks
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

= https://reversible-computation.github.io/invited/

* Hannah Earley. Reversing the history of computing

* Prakash Panangaden.= Quantum Alternation

=C2=A0

Accepted papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

https://reversible-computation.github.io/accepted/

In no particular order, some accepts being conditional:

  • Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano and Giovanna Turvani. Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-based Prediction
  • Baptiste Vall=C3=A9e and Ivan Lanese. On Weak Bisimilarities in CCSK
  • Byron Gregg and Christof Teuscher. A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures
  • Christine Li and Lia Yeh. Transversal AND in Quantum Codes
  • Daniel D=C3=A1valos and Hern=C3=A1n Claudio Melgratti. = A Lean Mechanization of Reversible Occurrence Nets
  • Giacomo Belli and Michele Amoretti. Exact Quantum State Preparation with the Standard Recursive Block Basis
  • Hugh Potter and Hannah Blyton. Discrete Semantics for Reversible Transistor Network Verification
  • Ivan Lanese and German Vidal. A Reversible Semantics for Janus
  • Joachim Kristensen, Triera Gashi and Michael Kirkedal Thomsen. Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
  • Julie Cailler and Martin Vassor. A Graph Rewriting-Based Semantics and Implementation for =CF=81=CF=80=
  • Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada and Kentaro Kikuchi. PisoLang: a User-Friendly Reversible Programming Language with Inductive Types
  • Louis Marott Normann and Robert Gl=C3=BCck. PEARL: A Partial Evaluation Toolbox for a Reversible Language
  • Lukas Gail, Uwe Meyer and Tristan Sch=C3=B6nhals. Compi= ling Roopl++ to HSSA
  • Nicol=C3=B2 Pizzo and Claudio Sacerdoti Coen. A Reversi= ble Crumbling Abstract Machine for Plotkin=E2=80=99s Call-by-Va= lue
  • Stefan Kuhn, Vandana Dwarka, Przemyslaw Karol Grenda and Eero Vainikko. Reversible Deep Learning for 13C NMR in Chemoinformatics: On Structures and Spectra
  • Toya Makino and Tetsuo Yokoyama. Small-Step Semantics with Meta-Level Reversibility for a Reversible Core Language
  • Yuna Sadamoto, Shoji Yuen and Claudio Antares Mezzina. = Introducing Time Passage to the Reversible Semantics for Erlang
The proceedings will be published in Springer's Lecture Notes in Computer Science (Volume 16626) in May or June, before the conference.
--------------EO8uTMSQK1uBn2IBaM9IgxOA-- --------------iFXEzdTeBMn5SiLuIi4pNqNW Content-Type: application/pgp-keys; name="OpenPGP_0xDC72C5ECF4AC65AC.asc" Content-Disposition: attachment; filename="OpenPGP_0xDC72C5ECF4AC65AC.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xsFNBGJFpv8BEADqfwuh8W6jUfxuFxp9ozYAx44ryoSxFK7pW4QZBknd51/6dsCD J0JNOM739MZtnCqAKcgvzm43ieuzms8T44cqOBIJqWOWgeeWjz/iincBvKDZ14TE mn7JvG2itRBY9fEHlYpEeHdDQ6gIry28Mv8hPH5ChBZW7iipBVsTI8Avc2S+k7t5 w6S2XCkPKOU4/kC++Xn9tEmbYojPIGJRFuZj+u5oVN6e/y0Fjj7xhpWQXsTwa0YS MVwGqUw2JiUaOocN3Z4RY6sNaJ8syWkquJQVOvKzgrsPp6ca88P9t2D+bF5NielF FcTmNWKF7VYEmuSPjwfUXx62RpCvLpCNGO1pMzHvQYBFrz/YJuZSFIbb4jbAD8Ez lXCXUDyLJMTWniz9TpTXhEELPVYLhjxgLr9k0sRpvyODSftsIK/eyAQNszG96TQF wwHLGv66DDtlwWBwJ8N+wZt1XXb0DE/mWt+syvtLSHaHnabKRCJjc5XM+gMvM0z7 yV3ThogVKOC1+MiVR54jQj47YmaX/hLdvP0VFE+e1NIwiF85DXcrs8wdtOFjcjyq DYnakPS4Z4/06T7hC0l3cBi9jWLBXp8fCwNU3sCzKvv8oPnANB7vjtKcZZzgPL0W 18ega/PSDYWBrE7aCLcdooWA2bbyo6agfUzi57wFp4eVfqOSbC0QYAd4FQARAQAB zSVDbMOpbWVudCBBdWJlcnQgPGF1YmVydEBtYXRoLmNucnMuZnI+wsGJBBMBCAAz FiEE186fTZckYBtSmP7y3HLF7PSsZawFAmJFpwECGwMFCwkIBwIGFQgJCgsCBRYC AwEAAAoJENxyxez0rGWsAnIQANPUlf3XrDiK+dJRW0OPAECVz+F2OnCXxAPjo8fo BjxrSbZnsa4motsmdlXHjVv/C9hOcfm43ajI1lgd3mrANim4nUGK9XKP08pSny6a rQPcBRDgzvcRCppyR6vAsawwGN3aBRic+dZOS8AspPxg6vz+PzCiMyAumWHMkPSt hemueFaSaYMJIZsp8iZtMxhw8Sm5YweWW8p5culdd9ak9O8bhCfwf+RAyO2SUdtV II6dZpAgDYweujgFcC1gzHC6ySCspqfVEJPQXmAXBKUB5r00NSBFA9tJD2n+02Yw hzKqs//qw82ht3dP6otjD5Vmn8Wg2PZS9AFbJM7DgOEjx3cdLwLpCfw1P/t+cZh+ xs4XnulWB5prh6TKTQtuLB04bx+9r9XoYtfCXqT4IH+Vj3HzQetkvi6vjhijWo1d KoYZbmlysJwj3CQQIGxXAgBDz5R1jF4hQmYmzdv2b+quUi1DhCqYk9eEThYlYJgf MPUzEwwHa0AvEd9azpdgjKxNu/v3Ri1KkSX+v11+K3RFJnQsJV+f30Lg4uoch2b0 ME5EHYyNQLEJupWjAdd5hn2t0+RY9zz0OtYpdiQZaY2H0+7hW/YsHbp3eO1slqWV yPsNV+5KIG2ItNlSufW6bnSNwqL2FKzkCsiS3ZCMWxwd8toCEHwQiRyCNN/iO3bF Hg4FzsFNBGJFpwEBEADBnhBKvj0bhjhptI5pEGOxsIaWnQkEtqqUE+xzKGoljegR BxrJ87tCd7607EZtaXGzfwpwVFZ4fFjpni8RId6XEBeAgc/BHsd2rxUrfr9vRSTG xSqLivetIU9dKbwkpVvuPzxcOaCeg1rAclOvT1BhBVS3uH0zKtWzkeWq4iRpEHjH TrE/4riOh7EQgIDBbBTbUXhMq9ijkbMHmMDh/skA7sqWr8IzXKY0LE4hQfBGEVWq lf87h/3v6OsE4s/yQ+ogJQ7Q4IVZZXrDadnDFLi8uKqxqbhA9YPkybbxZtgaAX6x pLM6EN3avN9d+0uBSSTX3WJRkM9veet0Q2zsOFxbuQz1BT0ZVhp/8TCNgB5XZZLq mnaYgb/THXr88w5tnOWFWKPXTq4kEkoXJmVdBvxuqylot0bjEh7nPu8DkXstz25C RJFPGSJMB+nKtly+oGvc4n6UMcCs1W+w5TMVr4zuKkqOGqsHtom/Brl/b+PwVC0/ 8hQ0VGgn8hXLAoR0ekbjOKw1xPcvLGMoneCh6xnGTDOT0vT6lVnTS3yrQSaW8sJZ wVoOwxburQYOfClTSPqLnGAkPYMMoZ9FdVvVmVsrxUbzKNiwjXVTI2v6iYlbgQI4 FcaCx0kbio/W/V+LgOgLLq+Uxy0tSj6GOPYCTw1w15WZ3u6lb8oLvrBAGovtQwAR AQABwsF2BBgBCAAgFiEE186fTZckYBtSmP7y3HLF7PSsZawFAmJFpwICGwwACgkQ 3HLF7PSsZaxjtxAAw0ZF6jo9hv8fos02b1dwxxPcrWbBjgaywQGKfCuJCeKtLIYP LlJpkj9MU9BVLPjrhF8eSa4+nmHvRKID7wwTaHHNFFM0Fn1ofE8jUU5O42Pyvw78 gJcQs0i/3/mZAmv9Cmd0+sgRjEYbBNytH0i53BiKdJMTlpIxjxl78v/3BAFECkQJ GqmdbHXxW0WL6NcFDenyA47so23GKktssEWiwwkXOUjrWHr7Pb2sdmPwwItUTLGU 31mco98cvts5u+sJma8vkXu31kObZdl6RNQ3lREph1IAd0iAkPgseKaSULKmELcF gPRCk9ZNFEF9BRF0uFS5PRMW12mh0QznKkZJgZkHj9fHINxkin8Teji5Cx1WVvsF aZoQxDJ2CwyKFiQpiv2qaRTwgyrzy62Gr3iaY/nYFI6MIz/xLaBED9Oq+z43RbX6 MnGhe81xWrS46TGIyPpyKx9qWtZT32GMPgJ6ijgs4yT3eBsQ8Vy9xpvlfvyMdh9l Ln3fZvK1D/xI3OApP2c6GdFMYZ0iMfoz58ZUDWojpdK4F5HKMiXjh9LKZzFiyHvn k2Z+IMIeHwQuqG9zH2s9sUBaoexXDZ30OSWPNWPJLxE1QOD4y2ON0nuca5xNHklp St1Z2AEuY8PpHPC+Pv8bsroKCqGHHXdqKP7q24WjaSBUAEkCB/13XakzN/A=3D =3DPMZS -----END PGP PUBLIC KEY BLOCK----- --------------iFXEzdTeBMn5SiLuIi4pNqNW-- --------------dq8aXCtSTk11VMXV3g4Dk0Zb-- --------------jO3o0rpo0RU34RqQY3vaiS04 Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature.asc" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEE186fTZckYBtSmP7y3HLF7PSsZawFAmnyNbAFAwAAAAAACgkQ3HLF7PSsZawm Mg/+Ica8PuA4LFptnj+6D0SWRA1lwBiYv75T3aoebLZCkb+xEIqSwM1CTb0+Xx0bJzvuwB7P+wYf 4855Uak2f69n8dSFIFaZ+TWw26p5l5kYC/uSO6bxe/G6dAn+OX71p9o2/I1xw6kbIgIOQRAL/SBD S++kDPFEUvbtU7mdZe5wi86lnpzHwZiJTyXMN5hJpNxL9gS5RcUKL/wnosd29KN9gry9wFH6h5E1 0mAbtPUKjyFvXbRrTJq2xq0UJpH8BqmE53guUHr35ZmBTe/Z06K3O5wxuOKKD/hssAlz+/zvNu4w EXC2OzH+4YA243yG3lxfL9a1HTnbSabm1OvQN81XT0hb8t14AWSBDtI3IB0n301HdgQc6vdvwC2b ghrv8wDpUyqHTtn4VnwSjilSCr7XpD0QkZyB2SYfQPNEBkbzLjZFQxX8iZyAzUV0Yb/I3rqdE2PJ 9HyNQGTY1GHnJkL3vfi6HOodwDBosXhVZ/DDkKqaHZZxqBXuwrlMc1E15RAZipUEBFFlVZMtU3JR l2KCj8BuBffOo29YRCv4KCU7zY0rUsQUf0Qej8yxezOwjYJzf4N7NFHsAl6EQHtuIDg6QnERhh5X PYIWFKSKgZl2UfdMRjDySMmqNWhU43PTpkAWa1vT7MVSQWCwcc4srHOqBh2eLv/ek9L8ASVX6U4b ROw= =Ohwe -----END PGP SIGNATURE----- --------------jO3o0rpo0RU34RqQY3vaiS04--