From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C0A41E00BD; Thu, 8 Sep 2022 11:03:45 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:subject:to; bh=lXIjZ8NaKzm7aNMck1LH5vJJDZ0B1cxUGOlJcD8vgfY=; b=SDp39KQqvm3moVlseKEmBY0hKq0jTCZcHs77MY6m0+c1eGAEHl8iC0i9 oQLjXeNGczEfbI490b6PIa3iYzQggdnpVkGpTcOkPqNnWqlGd1IiPV6XZ NcgLLPO5lP+tius48bgEKH4Io/TP4pp7g02qQ9afWkHLTS2ogkFLmiIzK U=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=pierre-marie.pedrot@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="5.93,299,1654552800"; d="scan'208";a="23179174" Received: from 91-164-56-121.subs.proxad.net (HELO [192.168.1.151]) ([91.164.56.121]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Sep 2022 11:03:45 +0200 Message-ID: <23859e34-c630-3201-a758-4ec2dfaf6300@inria.fr> Date: Thu, 8 Sep 2022 11:03:43 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.0 From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Content-Language: en-US To: undisclosed-recipients: ; Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------bDJle92WWtsly1wlfcQMtZct" Subject: [Caml-list] TYPES 2022 First Post-proceeding CfP This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------bDJle92WWtsly1wlfcQMtZct Content-Type: multipart/mixed; boundary="------------tWyaWo2yYQ4VQEjoPyCpCRw3"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: <23859e34-c630-3201-a758-4ec2dfaf6300@inria.fr> Subject: TYPES 2022 First Post-proceeding CfP --------------tWyaWo2yYQ4VQEjoPyCpCRw3 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 VFlQRVMgaXMgYSBtYWpvciBmb3J1bSBmb3IgdGhlIHByZXNlbnRhdGlvbiBvZiByZXNlYXJj aCBvbiBhbGwgYXNwZWN0cw0Kb2YgdHlwZSB0aGVvcnkgYW5kIGl0cyBhcHBsaWNhdGlvbnMu IFRZUEVTIDIwMjIgd2FzIGhlbGQgZnJvbSAyMCB0byAyNQ0KSnVuZSBhdCBMUzJOLCBVbml2 ZXJzaXR5IG9mIE5hbnRlcywgRnJhbmNlLiBUaGUgcG9zdC1wcm9jZWVkaW5ncw0Kdm9sdW1l IHdpbGwgYmUgcHVibGlzaGVkIGluIExJUEljcywgTGVpYm5peiBJbnRlcm5hdGlvbmFsIFBy b2NlZWRpbmdzDQppbiBJbmZvcm1hdGljcywgYW4gb3Blbi1hY2Nlc3Mgc2VyaWVzIG9mIGNv bmZlcmVuY2UuDQoNClN1Ym1pc3Npb24gR3VpZGVsaW5lcw0KDQpTdWJtaXNzaW9uIGlzIG9w ZW4gdG8gZXZlcnlvbmUsIGFsc28gdG8gdGhvc2Ugd2hvIGRpZCBub3QgcGFydGljaXBhdGUN CmluIHRoZSBUWVBFUyAyMDIyIGNvbmZlcmVuY2UuIFdlIHdlbGNvbWUgaGlnaC1xdWFsaXR5 IGRlc2NyaXB0aW9ucyBvZg0Kb3JpZ2luYWwgd29yaywgYXMgd2VsbCBhcyBwb3NpdGlvbiBw YXBlcnMsIG92ZXJ2aWV3IHBhcGVycywgYW5kIHN5c3RlbQ0KZGVzY3JpcHRpb25zLiBTdWJt aXNzaW9ucyBzaG91bGQgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLCBhbmQgYmVpbmcgDQpvcmln aW5hbCwgaS5lLiBuZWl0aGVyIHByZXZpb3VzbHkgcHVibGlzaGVkLCBub3Igc2ltdWx0YW5l b3VzbHkgDQpzdWJtaXR0ZWQgdG8gYSBqb3VybmFsIG9yIGEgY29uZmVyZW5jZS4NCg0KLSBQ YXBlcnMgaGF2ZSB0byBiZSBmb3JtYXR0ZWQgd2l0aCB0aGUgY3VycmVudCBMSVBJY3Mgc3R5 bGUgYW5kIGFkaGVyZSANCnRvIHRoZSBzdHlsZSByZXF1aXJlbWVudHMgb2YgTElQSWNzLg0K LSBUaGUgdXBwZXIgbGltaXQgZm9yIHRoZSBsZW5ndGggb2Ygc3VibWlzc2lvbnMgaXMgMjAg cGFnZXMsIGV4Y2x1ZGluZyANCmJpYmxpb2dyYXBoeSAoYnV0IGluY2x1ZGluZyB0aXRsZSBh bmQgYXBwZW5kaWNlcykuDQotIFBhcGVycyBoYXZlIHRvIGJlIHN1Ym1pdHRlZCBhcyBQREYu IEEgbGluayB0byB0aGUgc3VibWlzc2lvbiBzeXN0ZW0gDQp3aWxsIGJlIG1hZGUgYXZhaWxh YmxlIG9uIGh0dHBzOi8vdHlwZXMyMi5pbnJpYS5mci8uDQotIEF1dGhvcnMgaGF2ZSB0aGUg b3B0aW9uIHRvIGF0dGFjaCB0byB0aGVpciBzdWJtaXNzaW9uIGEgemlwIG9yIHRneiANCmZp bGUgY29udGFpbmluZyBjb2RlIChmb3JtYWxpc2VkIHByb29mcyBvciBwcm9ncmFtcyksIGJ1 dCByZXZpZXdlcnMgYXJlIA0Kbm90IG9ibGlnZWQgdG8gdGFrZSB0aGUgYXR0YWNobWVudHMg aW50byBhY2NvdW50IGFuZCB0aGV5IHdpbGwgbm90IGJlIA0KcHVibGlzaGVkLg0KDQpEZWFk bGluZXMNCg0KLSBBYnN0cmFjdCBTdWJtaXNzaW9uIDogMzEgT2N0b2JlciAyMDIyIChBb0Up DQotIFBhcGVyIHN1Ym1pc3Npb246IDMwIE5vdmVtYmVyIDIwMjIgKEFvRSkNCi0gQXV0aG9y IG5vdGlmaWNhdGlvbjogMzEgTWFyY2ggMjAyMg0KDQpMaXN0IG9mIFRvcGljcw0KDQpUaGUg c2NvcGUgb2YgdGhlIHBvc3QtcHJvY2VlZGluZ3MgaXMgdGhlIHNhbWUgYXMgdGhlIHNjb3Bl IG9mIHRoZSANCmNvbmZlcmVuY2U6IHRoZSB0aGVvcnkgYW5kIHByYWN0aWNlIG9mIHR5cGUg dGhlb3J5LiBJbiBwYXJ0aWN1bGFyLCB3ZSANCndlbGNvbWUgc3VibWlzc2lvbnMgb24gdGhl IGZvbGxvd2luZyB0b3BpY3M6DQoNCi0gRm91bmRhdGlvbnMgb2YgdHlwZSB0aGVvcnk7DQot IEFwcGxpY2F0aW9ucyBvZiB0eXBlIHRoZW9yeSAoZS5nLiBsaW5ndWlzdGljcyBvciBjb25j dXJyZW5jeSk7DQotIENvbnN0cnVjdGl2ZSBtYXRoZW1hdGljczsNCi0gRGVwZW5kZW50bHkg dHlwZWQgcHJvZ3JhbW1pbmc7DQotIEluZHVzdHJpYWwgdXNlcyBvZiB0eXBlIHRoZW9yeSB0 ZWNobm9sb2d5Ow0KLSBNZXRhLXRoZW9yZXRpYyBzdHVkaWVzIG9mIHR5cGUgc3lzdGVtczsN Ci0gUHJvb2YgYXNzaXN0YW50cyBhbmQgcHJvb2YgdGVjaG5vbG9neTsNCi0gQXV0b21hdGlv biBpbiBjb21wdXRlci1hc3Npc3RlZCByZWFzb25pbmc7DQotIExpbmtzIGJldHdlZW4gdHlw ZSB0aGVvcnkgYW5kIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmc7DQotIEZvcm1hbGlzaW5nIG1h dGhlbWF0aWNzIHVzaW5nIHR5cGUgdGhlb3J5Ow0KLSBIb21vdG9weSB0eXBlIHRoZW9yeSBh bmQgdW5pdmFsZW50IG1hdGhlbWF0aWNzLg0KDQpFZGl0b3JzDQoNCkRlbGlhIEtlc25lciwg VW5pdmVyc2l0w6kgUGFyaXMgQ2l0w6ksIEZSIChkZWxpYS5rZXNuZXJAaXJpZi5mcikNClBp ZXJyZS1NYXJpZSBQw6lkcm90LCBJTlJJQSwgRlIgKHBpZXJyZS1tYXJpZS5wZWRyb3RAaW5y aWEuZnIpDQoNCkNvbnRhY3QNCg0KSW4gY2FzZSBvZiBxdWVzdGlvbnMsIGNvbnRhY3QgdGhl IGVkaXRvcnMgZGlyZWN0bHkuDQo= --------------tWyaWo2yYQ4VQEjoPyCpCRw3-- --------------bDJle92WWtsly1wlfcQMtZct Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmMZr+8FAwAAAAAACgkQeSLAH9m6PHtr +w/8DPf402OvOFLjW/ys1Hifg/dGFqTqyNg0F7vp5LH6SZFjcngcdxa0I8InOVYFoY4dEPNEeo/6 SwM8VDLBCRZdmhuG6t6rBcugpmwtV0JPjxZRB7HehYrA6pNzZilh/upVQrfBkSzFWiICTCTOnE3C bME47V2yiUKQis/I6w7PLyV6A5QxHvJMLq2O9hL2dQ9CJN0QCUVQNhINdLBNdDHo4yk35xrj1DVC A0cfNu5lJTRUCz6rIzQ+VM4Ds+I41QiTpy6XD7LCx9iKWzdkiTKT98o+jw5yqGKHVo6LQI6OxFkv 6MnrsYkJBY9q05wsrcdXW7kjqNkR+ZrJBOlKNZYlI3YY2R00O7pmol17ze69ERJf4vUblR9ad5Jh px5N5JN3jwpHaD/ZFPGPphyINUicsERTp2BlucsM5gzotgZHq2PldqRDUqqILc8iYLSWUy0ZJ8iW dlftZUNxKbM9Oij2wEm7kMByYJlGv3MWvCTmBK8Ratr42meNrY6qQKBLRVHL3QCY62xusP7LNHnu rFmR1gP3lQg974JNpwE48SrnpB9KqYyrGUCrFkG0y3GL0yFdmpLPXRZa89WRyjUsf0XBQFpLBOn/ P9yVd0aibNXGalp7alj3NVAQJ1NbRPwqNDKwCQbNF39/6Xf7U/pXiPbCCYzpJJfm6lHarkz/GFYk hUE= =qO/J -----END PGP SIGNATURE----- --------------bDJle92WWtsly1wlfcQMtZct--