Return-Path: Received: from [IPV6:2a01:cb01:2074:f11d:1f40:8bb3:b3a3:e18d] (pop.92-184-97-138.mobile.abo.orange.fr [92.184.97.138]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: andre) by mail.lipn.univ-paris13.fr (Postfix) with ESMTPSA id D29C98214A; Sat, 24 Jun 2023 10:30:21 +0200 (CEST) Content-Type: multipart/alternative; boundary="------------Pp0vGP6PSZMeR30ndEEMXQGR" Message-ID: <1c904320-4ee3-b81b-8346-78905fa04740@lipn.univ-paris13.fr> Date: Sat, 24 Jun 2023 10:30:21 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Subject: Re: ATVA 2023 review reminder Content-Language: fr, en-US To: Ichiro Hasuo , ATVA 2023 References: <202306220643.35M6hZWC2968207@easychair.org> From: =?UTF-8?B?w4l0aWVubmUgQW5kcsOp?= Organization: =?UTF-8?Q?Universit=c3=a9_Sorbonne_Paris_Nord?= In-Reply-To: X-LIPN-MailScanner-Information: Please contact the ISP for more information X-LIPN-MailScanner-ID: D29C98214A.A5324 X-LIPN-MailScanner: Found to be clean X-LIPN-MailScanner-From: etienne.andre@lipn.univ-paris13.fr X-Spam-Status: No This is a multi-part message in MIME format. --------------Pp0vGP6PSZMeR30ndEEMXQGR Content-Type: text/plain; charset="utf-8"; format="flowed" Content-Transfer-Encoding: base64 RGVhciBJY2hpcm8sCgpObyB3b3JyeSEKClBsZWFzZSB0cnkgdG8gdXBsb2FkIHRoZW0gYnkgTW9u ZGF5LCBzbyBhcyB0byBsZWF2ZSBlbm91Z2ggdGltZSBmb3IgCmRpc2N1c3Npb24uCgpCZXN0LAoK w4l0aWVubmUgQW5kcsOpClVuaXZlcnNpdMOpIFNvcmJvbm5lIFBhcmlzIE5vcmQKaHR0cHM6Ly9s aXBuLnVuaXYtcGFyaXMxMy5mci9+YW5kcmUvCgpMZSAyNC8wNi8yMDIzIMOgIDEwOjAxLCBJY2hp cm8gSGFzdW8gYSDDqWNyaXTCoDoKPiBEZWFyIGNoYWlycywKPgo+IFlvdSBzZWUgSSdtIGxhdGUg aW4gcmV2aWV3cy4gU29ycnksIHRoYXQgd2FzIGJlY2F1c2Ugb2YgbXkgdHJpcC4gSSdtIAo+IHdv cmtpbmcgb24gdGhlbSBhbmQgd2lsbCBiZSBkb25lIGJ5IHRoZSBlbmQgb2YgdGhlIHdlZWtlbmQu IFRoYW5rc8KgZm9yIAo+IHlvdXIgcGF0aWVuY2UhCj4KPiBBbGwgdGhlIGJlc3QsIEljaGlybwo+ ID09PT09PQo+IEljaGlybyBIYXN1bwo+IFByb2Zlc3NvciwgTmF0aW9uYWwgSW5zdGl0dXRlIG9m IEluZm9ybWF0aWNzCj4gaS5oYXN1b0BhY20ub3JnIMKgIMKgIFNlY3JldGFyaWVzOiBoYXN1b2xh Yi1zZWNyQG5paS5hYy5qcAo+IGh0dHA6Ly9ncm91cC1tbW0ub3JnL35pY2hpcm8vCj4KPgo+IE9u IFRodSwgSnVuIDIyLCAyMDIzIGF0IDM6NDPigK9QTSBBVFZBIDIwMjMgPGF0dmEyMDIzQGVhc3lj aGFpci5vcmc+IHdyb3RlOgo+Cj4gICAgIERlYXIgSWNoaXJvLAo+Cj4gICAgIEEga2luZCByZW1p bmRlciB0aGF0IHRoZSBkZWFkbGluZSBmb3IgdXBsb2FkaW5nIHlvdXIgQVRWQSByZXZpZXdzCj4g ICAgIGlzICp0b21vcnJvdyogKEp1bmUgMjNyZCkuCj4gICAgIFBsZWFzZSBmaW5kIGJlbG93IHRo ZSBsaXN0IG9mIHBhcGVycyBmb3Igd2hpY2ggd2UgZGlkIG5vdCByZWNlaXZlCj4gICAgIHlvdXIg cmV2aWV3IHlldC4KPgo+ICAgICBNYW55IHRoYW5rcyBmb3IgeW91ciBjb250cmlidXRpb24gdG8g dGhlIHN1Y2Nlc3Mgb2YgQVRWQS4KPgo+ICAgICBCZXN0IHJlZ2FyZHMsCj4KPiAgICAgw4l0aWVu bmUgYW5kIFN1biBKdW4KPgo+ICAgICAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tIExJU1QgT0YgUEFQ RVJTIC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KPiAgICAgMTE1LiBGbG9yaWFuIEdhbGxheSBhbmQg WWxpZXMgRmFsY29uZS4gRGVjZW50cmFsaXplZCBFbmZvcmNlbWVudAo+ICAgICBmb3IgUmVndWxh ciBMYW5ndWFnZXMKPiAgICAgNzkuIFppdG9uZyBaaG91LCBaaXhpbiBIdWFuZyBhbmQgU2FzYSBN aXNhaWxvdmljLiBBcXVhU2Vuc2U6Cj4gICAgIEF1dG9tYXRlZCBTZW5zaXRpdml0eSBBbmFseXNp cyBvZiBQcm9iYWJpbGlzdGljIFByb2dyYW1zIHZpYQo+ICAgICBRdWFudGl6ZWQgSW5mZXJlbmNl Cj4gICAgIDUzLiBCZXJuZCBGaW5rYmVpbmVyLCBGbG9yaWFuIEtvaG4gYW5kIE1hbHRlIFNjaGxl ZGpld3NraS4KPiAgICAgTGV2ZXJhZ2luZyBTdGF0aWMgQW5hbHlzaXM6IEFuIElERSBmb3IgUlRM b2xhCj4gICAgIDEwMC4gU2FlaWQgVGl6cGF6IE5pYXJpIGFuZCBTcmlyYW0gU2Fua2FyYW5hcmF5 YW5hbi4gUHJvYmFiaWxpc3RpYwo+ICAgICBXb3JzdC1DYXNlIENvbnZlcmdlbmNlIFRpbWUgZm9y IE1hY2hpbmUgTGVhcm5pbmcgQWxnb3JpdGhtcwo+ICAgICA1NS4gRGV2ZGFuIERleSwgTWlyIE1k IFNhamlkIFNhcndhciwgUmFqYXJzaGkgUmF5IGFuZCBBbnN1bWFuCj4gICAgIEJhbmVyamVlLiBB IENvbnRyYXN0aXZlIEV4cGxhbmF0aW9uIFRvb2wgZm9yIFBsYW5zIGluIEh5YnJpZCBEb21haW5z Cj4gICAgIDg5LiBSYXZlbiBCZXV0bmVyLCBCZXJuZCBGaW5rYmVpbmVyLCBIYWRhciBGcmVua2Vs IGFuZCBKdWxpYW4KPiAgICAgU2liZXIuIENBVFM6IENoZWNraW5nIFRlbXBvcmFsIENhdXNlcyBp biBSZWFjdGl2ZSBTeXN0ZW1zCj4gICAgIDU2LiBZdWxvbmcgR2FvLCBLYXJsIEguIEpvaGFuc3Nv biBhbmQgQWxlc3NhbmRybyBBYmF0ZS4gQ1RMIE1vZGVsCj4gICAgIENoZWNraW5nIG9mIE1EUHMg b3ZlciBEaXN0cmlidXRpb24gU3BhY2VzCj4gICAgIDEzLiBIYW8gV3UsIFFpemhlIFlhbmcgYW5k IEh1YW4gTG9uZy4gQnJhbmNoaW5nIEJpc2ltdWxhdGlvbiBmb3IKPiAgICAgUXVhbnR1bSBQcm9j ZXNzZXMKPg== --------------Pp0vGP6PSZMeR30ndEEMXQGR Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+CiAgPGhlYWQ+CiAgICA8bWV0YSBodHRwLWVxdWl2PSJDb250ZW50LVR5cGUiIGNvbnRl bnQ9InRleHQvaHRtbDsgY2hhcnNldD1VVEYtOCI+CiAgPC9oZWFkPgogIDxib2R5PgogICAgPHA+ RGVhciBJY2hpcm8sPC9wPgogICAgPHA+Tm8gd29ycnkhPC9wPgogICAgPHA+UGxlYXNlIHRyeSB0 byB1cGxvYWQgdGhlbSBieSBNb25kYXksIHNvIGFzIHRvIGxlYXZlIGVub3VnaCB0aW1lCiAgICAg IGZvciBkaXNjdXNzaW9uLjwvcD4KICAgIDxwPkJlc3QsPGJyPgogICAgPC9wPgogICAgPHByZSBj bGFzcz0ibW96LXNpZ25hdHVyZSIgY29scz0iNzIiPsOJdGllbm5lIEFuZHLDqQpVbml2ZXJzaXTD qSBTb3Jib25uZSBQYXJpcyBOb3JkCjxhIGNsYXNzPSJtb3otdHh0LWxpbmstZnJlZXRleHQiIGhy ZWY9Imh0dHBzOi8vbGlwbi51bml2LXBhcmlzMTMuZnIvfmFuZHJlLyI+aHR0cHM6Ly9saXBuLnVu aXYtcGFyaXMxMy5mci9+YW5kcmUvPC9hPgo8L3ByZT4KICAgIDxkaXYgY2xhc3M9Im1vei1jaXRl LXByZWZpeCI+TGUgMjQvMDYvMjAyMyDDoCAxMDowMSwgSWNoaXJvIEhhc3VvIGEKICAgICAgw6lj cml0wqA6PGJyPgogICAgPC9kaXY+CiAgICA8YmxvY2txdW90ZSB0eXBlPSJjaXRlIgpjaXRlPSJt aWQ6Q0FBYlRHWlhLZGtQK2FmeE9td2VrNm5LVERGUnp5N0NuRGtvajA3YXdZPVFmb2FOb3VRQG1h aWwuZ21haWwuY29tIj4KICAgICAgPG1ldGEgaHR0cC1lcXVpdj0iY29udGVudC10eXBlIiBjb250 ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9VVRGLTgiPgogICAgICA8ZGl2IGRpcj0ibHRyIj5EZWFy IGNoYWlycywKICAgICAgICA8ZGl2Pjxicj4KICAgICAgICA8L2Rpdj4KICAgICAgICA8ZGl2Pllv dSBzZWUgSSdtIGxhdGUgaW4gcmV2aWV3cy4gU29ycnksIHRoYXQgd2FzIGJlY2F1c2Ugb2YgbXkK ICAgICAgICAgIHRyaXAuIEknbSB3b3JraW5nIG9uIHRoZW0gYW5kIHdpbGwgYmUgZG9uZSBieSB0 aGUgZW5kIG9mIHRoZQogICAgICAgICAgd2Vla2VuZC4gVGhhbmtzwqBmb3IgeW91ciBwYXRpZW5j ZSE8L2Rpdj4KICAgICAgICA8ZGl2Pjxicj4KICAgICAgICA8L2Rpdj4KICAgICAgICA8ZGl2PkFs bCB0aGUgYmVzdCwgSWNoaXJvPGJyIGNsZWFyPSJhbGwiPgogICAgICAgICAgPGRpdj4KICAgICAg ICAgICAgPGRpdiBkaXI9Imx0ciIgY2xhc3M9ImdtYWlsX3NpZ25hdHVyZSIKICAgICAgICAgICAg ICBkYXRhLXNtYXJ0bWFpbD0iZ21haWxfc2lnbmF0dXJlIj4KICAgICAgICAgICAgICA8ZGl2IGRp cj0ibHRyIj49PT09PT08YnI+CiAgICAgICAgICAgICAgICBJY2hpcm8gSGFzdW88YnI+CiAgICAg ICAgICAgICAgICBQcm9mZXNzb3IsIE5hdGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljczxi cj4KICAgICAgICAgICAgICAgIDxhIGhyZWY9Im1haWx0bzppLmhhc3VvQGFjbS5vcmciIHRhcmdl dD0iX2JsYW5rIgogICAgICAgICAgICAgICAgICBtb3otZG8tbm90LXNlbmQ9InRydWUiIGNsYXNz PSJtb3otdHh0LWxpbmstZnJlZXRleHQiPmkuaGFzdW9AYWNtLm9yZzwvYT4KICAgICAgICAgICAg ICAgIMKgIMKgIFNlY3JldGFyaWVzOiA8YQogICAgICAgICAgICAgICAgICBocmVmPSJtYWlsdG86 aGFzdW9sYWItc2VjckBuaWkuYWMuanAiIHRhcmdldD0iX2JsYW5rIgogICAgICAgICAgICAgICAg ICBtb3otZG8tbm90LXNlbmQ9InRydWUiIGNsYXNzPSJtb3otdHh0LWxpbmstZnJlZXRleHQiPmhh c3VvbGFiLXNlY3JAbmlpLmFjLmpwPC9hPjxicj4KICAgICAgICAgICAgICAgIDxhIGhyZWY9Imh0 dHA6Ly9ncm91cC1tbW0ub3JnL35pY2hpcm8vIiB0YXJnZXQ9Il9ibGFuayIKICAgICAgICAgICAg ICAgICAgbW96LWRvLW5vdC1zZW5kPSJ0cnVlIiBjbGFzcz0ibW96LXR4dC1saW5rLWZyZWV0ZXh0 Ij5odHRwOi8vZ3JvdXAtbW1tLm9yZy9+aWNoaXJvLzwvYT48L2Rpdj4KICAgICAgICAgICAgPC9k aXY+CiAgICAgICAgICA8L2Rpdj4KICAgICAgICAgIDxicj4KICAgICAgICA8L2Rpdj4KICAgICAg PC9kaXY+CiAgICAgIDxicj4KICAgICAgPGRpdiBjbGFzcz0iZ21haWxfcXVvdGUiPgogICAgICAg IDxkaXYgZGlyPSJsdHIiIGNsYXNzPSJnbWFpbF9hdHRyIj5PbiBUaHUsIEp1biAyMiwgMjAyMyBh dAogICAgICAgICAgMzo0M+KAr1BNIEFUVkEgMjAyMyAmbHQ7PGEgaHJlZj0ibWFpbHRvOmF0dmEy MDIzQGVhc3ljaGFpci5vcmciCiAgICAgICAgICAgIG1vei1kby1ub3Qtc2VuZD0idHJ1ZSIgY2xh c3M9Im1vei10eHQtbGluay1mcmVldGV4dCI+YXR2YTIwMjNAZWFzeWNoYWlyLm9yZzwvYT4mZ3Q7 CiAgICAgICAgICB3cm90ZTo8YnI+CiAgICAgICAgPC9kaXY+CiAgICAgICAgPGJsb2NrcXVvdGUg Y2xhc3M9ImdtYWlsX3F1b3RlIiBzdHlsZT0ibWFyZ2luOjBweCAwcHggMHB4CiAgICAgICAgICAw LjhleDtib3JkZXItbGVmdDoxcHggc29saWQgcmdiKDIwNCwyMDQsMjA0KTtwYWRkaW5nLWxlZnQ6 MWV4Ij5EZWFyCiAgICAgICAgICBJY2hpcm8sPGJyPgogICAgICAgICAgPGJyPgogICAgICAgICAg QSBraW5kIHJlbWluZGVyIHRoYXQgdGhlIGRlYWRsaW5lIGZvciB1cGxvYWRpbmcgeW91ciBBVFZB CiAgICAgICAgICByZXZpZXdzIGlzICp0b21vcnJvdyogKEp1bmUgMjNyZCkuPGJyPgogICAgICAg ICAgUGxlYXNlIGZpbmQgYmVsb3cgdGhlIGxpc3Qgb2YgcGFwZXJzIGZvciB3aGljaCB3ZSBkaWQg bm90CiAgICAgICAgICByZWNlaXZlIHlvdXIgcmV2aWV3IHlldC48YnI+CiAgICAgICAgICA8YnI+ CiAgICAgICAgICBNYW55IHRoYW5rcyBmb3IgeW91ciBjb250cmlidXRpb24gdG8gdGhlIHN1Y2Nl c3Mgb2YgQVRWQS48YnI+CiAgICAgICAgICA8YnI+CiAgICAgICAgICBCZXN0IHJlZ2FyZHMsPGJy PgogICAgICAgICAgPGJyPgogICAgICAgICAgw4l0aWVubmUgYW5kIFN1biBKdW48YnI+CiAgICAg ICAgICA8YnI+CiAgICAgICAgICAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tIExJU1QgT0YgUEFQRVJT IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+CiAgICAgICAgICAxMTUuIEZsb3JpYW4gR2FsbGF5 IGFuZCBZbGllcyBGYWxjb25lLiBEZWNlbnRyYWxpemVkCiAgICAgICAgICBFbmZvcmNlbWVudCBm b3IgUmVndWxhciBMYW5ndWFnZXM8YnI+CiAgICAgICAgICA3OS4gWml0b25nIFpob3UsIFppeGlu IEh1YW5nIGFuZCBTYXNhIE1pc2FpbG92aWMuIEFxdWFTZW5zZToKICAgICAgICAgIEF1dG9tYXRl ZCBTZW5zaXRpdml0eSBBbmFseXNpcyBvZiBQcm9iYWJpbGlzdGljIFByb2dyYW1zIHZpYQogICAg ICAgICAgUXVhbnRpemVkIEluZmVyZW5jZTxicj4KICAgICAgICAgIDUzLiBCZXJuZCBGaW5rYmVp bmVyLCBGbG9yaWFuIEtvaG4gYW5kIE1hbHRlIFNjaGxlZGpld3NraS4KICAgICAgICAgIExldmVy YWdpbmcgU3RhdGljIEFuYWx5c2lzOiBBbiBJREUgZm9yIFJUTG9sYTxicj4KICAgICAgICAgIDEw MC4gU2FlaWQgVGl6cGF6IE5pYXJpIGFuZCBTcmlyYW0gU2Fua2FyYW5hcmF5YW5hbi4KICAgICAg ICAgIFByb2JhYmlsaXN0aWMgV29yc3QtQ2FzZSBDb252ZXJnZW5jZSBUaW1lIGZvciBNYWNoaW5l IExlYXJuaW5nCiAgICAgICAgICBBbGdvcml0aG1zPGJyPgogICAgICAgICAgNTUuIERldmRhbiBE ZXksIE1pciBNZCBTYWppZCBTYXJ3YXIsIFJhamFyc2hpIFJheSBhbmQgQW5zdW1hbgogICAgICAg ICAgQmFuZXJqZWUuIEEgQ29udHJhc3RpdmUgRXhwbGFuYXRpb24gVG9vbCBmb3IgUGxhbnMgaW4g SHlicmlkCiAgICAgICAgICBEb21haW5zPGJyPgogICAgICAgICAgODkuIFJhdmVuIEJldXRuZXIs IEJlcm5kIEZpbmtiZWluZXIsIEhhZGFyIEZyZW5rZWwgYW5kIEp1bGlhbgogICAgICAgICAgU2li ZXIuIENBVFM6IENoZWNraW5nIFRlbXBvcmFsIENhdXNlcyBpbiBSZWFjdGl2ZSBTeXN0ZW1zPGJy PgogICAgICAgICAgNTYuIFl1bG9uZyBHYW8sIEthcmwgSC4gSm9oYW5zc29uIGFuZCBBbGVzc2Fu ZHJvIEFiYXRlLiBDVEwKICAgICAgICAgIE1vZGVsIENoZWNraW5nIG9mIE1EUHMgb3ZlciBEaXN0 cmlidXRpb24gU3BhY2VzPGJyPgogICAgICAgICAgMTMuIEhhbyBXdSwgUWl6aGUgWWFuZyBhbmQg SHVhbiBMb25nLiBCcmFuY2hpbmcgQmlzaW11bGF0aW9uCiAgICAgICAgICBmb3IgUXVhbnR1bSBQ cm9jZXNzZXM8YnI+CiAgICAgICAgPC9ibG9ja3F1b3RlPgogICAgICA8L2Rpdj4KICAgIDwvYmxv Y2txdW90ZT4KICA8L2JvZHk+CjwvaHRtbD4K --------------Pp0vGP6PSZMeR30ndEEMXQGR--