From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32 via Mailbox Transport; Fri, 22 Dec 2023 09:06:01 +0000 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32; Fri, 22 Dec 2023 09:06:01 +0000 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.32 via Frontend Transport; Fri, 22 Dec 2023 09:06:01 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3BM96Dmu001521 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 22 Dec 2023 09:06:13 GMT Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3BM965xN001503 for ; Fri, 22 Dec 2023 09:06:05 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Dec 2023 10:06:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9CB46E0D74; Fri, 22 Dec 2023 10:06:03 +0100 (CET) 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 38492E004E for ; Fri, 22 Dec 2023 10:05:56 +0100 (CET) Received: from smtp2.science.ru.nl ([131.174.16.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Dec 2023 10:05:55 +0100 Received: from roundcube.science.ru.nl (webvm01.science.ru.nl [131.174.88.4]) (authen=peter88) by smtp2.science.ru.nl (8.15.2/5.32) with ESMTPSA id 3BM95sfW031313 for ; Fri, 22 Dec 2023 10:05:54 +0100 Received: from ip-145-137-163-47.wlan-int.ru.nl ([145.137.163.47]) by roundcube.science.ru.nl with HTTP (HTTP/1.1 POST); Fri, 22 Dec 2023 10:05:54 +0100 From: Peter Achten To: "caml-list@inria.fr" Subject: [Caml-list] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA) Thread-Topic: [Caml-list] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA) Thread-Index: AQHaNLYVBEeSwmrNrkyGOtX+pDevZA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 22 Dec 2023 09:05:54 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Peter Achten Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 87c67eb3-a777-4a4d-0edb-08dc02cd3832 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: mimedefang version 2.83 on 131.174.16.145 131.174.16.161 (smtp2) 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-sender: P.Achten@cs.ru.nl x-ironport-av: E=Sophos;i="6.04,294,1695679200"; d="scan'208,217";a="75160207" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <45B780BD1A7E9840982C566CD163D8F6@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJmb250LXNp emU6IDEwcHQ7IGZvbnQtZmFtaWx5OiBWZXJkYW5hLEdlbmV2YSxzYW5zLXNlcmlmIj4NCjxwPjxz cGFuIHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+IyBURlAg MjAyNCAtLSBDYWxsIEZvciBQYXJ0aWNpcGF0aW9uPC9zcGFuPjxicj4NCjxzcGFuIHN0eWxlPSJm b250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+KHRyZW5kc2ZwLmdpdGh1Yi5p byk8L3NwYW4+PC9wPg0KPHA+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiAnYW5kYWxlIG1vbm8n LCBtb25vc3BhY2U7Ij4jIyBWZW51ZTwvc3Bhbj48YnI+DQo8c3BhbiBzdHlsZT0iZm9udC1mYW1p bHk6ICdhbmRhbGUgbW9ubycsIG1vbm9zcGFjZTsiPlRGUGlFIGFuZCBURlAgd2lsbCB0YWtlIHBs YWNlIGluLXBlcnNvbiBhdCBTZXRvbiBIYWxsIFVuaXZlcnNpdHksIE5ldyBKZXJzZXkgaW4gdGhl IFVuaXRlZCBTdGF0ZXMuJm5ic3A7PC9zcGFuPjwvcD4NCjxwPjxzcGFuIHN0eWxlPSJmb250LWZh bWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+IyMgRGF0ZXM8L3NwYW4+PC9wPg0KPHA+ PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiAnYW5kYWxlIG1vbm8nLCBtb25vc3BhY2U7Ij5URlBp RSBXb3Jrc2hvcDogVHVlc2RheSA5dGggSmFudWFyeSwgMjAyNDwvc3Bhbj48YnI+DQo8c3BhbiBz dHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycsIG1vbm9zcGFjZTsiPlRGUCBTeW1wb3Np dW06ICZuYnNwO1dlZG5lc2RheSAxMHRoIC0gRnJpZGF5IDEydGggSmFudWFyeSwgMjAyNDwvc3Bh bj48L3A+DQo8cD48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycsIG1vbm9z cGFjZTsiPlRoZSBTeW1wb3NpdW0gb24gVHJlbmRzIGluIEZ1bmN0aW9uYWwgUHJvZ3JhbW1pbmcg KFRGUCkgaXMgYW48L3NwYW4+PGJyPg0KPHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiAnYW5kYWxl IG1vbm8nLCBtb25vc3BhY2U7Ij5pbnRlcm5hdGlvbmFsIGZvcnVtIGZvciByZXNlYXJjaGVycyB3 aXRoIGludGVyZXN0cyBpbiBhbGwgYXNwZWN0cyBvZjwvc3Bhbj48YnI+DQo8c3BhbiBzdHlsZT0i Zm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycsIG1vbm9zcGFjZTsiPmZ1bmN0aW9uYWwgcHJvZ3Jh bW1pbmcsIHRha2luZyBhIGJyb2FkIHZpZXcgb2YgY3VycmVudCBhbmQgZnV0dXJlPC9zcGFuPjxi cj4NCjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+ dHJlbmRzIGluIHRoZSBhcmVhLiBJdCBhc3BpcmVzIHRvIGJlIGEgbGl2ZWx5IGVudmlyb25tZW50 IGZvcjwvc3Bhbj48YnI+DQo8c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycs IG1vbm9zcGFjZTsiPnByZXNlbnRpbmcgdGhlIGxhdGVzdCByZXNlYXJjaCByZXN1bHRzLCBhbmQg b3RoZXIgY29udHJpYnV0aW9ucy48L3NwYW4+PC9wPg0KPHA+PHNwYW4gc3R5bGU9ImZvbnQtZmFt aWx5OiAnYW5kYWxlIG1vbm8nLCBtb25vc3BhY2U7Ij4jIyBLZXlub3RlIHNwZWFrZXJzPC9zcGFu Pjxicj4NCjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNl OyI+V2UgYXJlIGhhcHB5IHRvIGhhdmUgdGhlIGZvbGxvd2luZyBrZXlub3RlcyBpbiB0aGUgcHJv Z3JhbW1lOjwvc3Bhbj48L3A+DQo8cD48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUg bW9ubycsIG1vbm9zcGFjZTsiPiogSmVyZW15IEdpYmJvbnMsIE94Zm9yZCBVbml2ZXJzaXR5PC9z cGFuPjxicj4NCjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3Nw YWNlOyI+KiBCZW5qYW1pbiBQaWVyY2UsIFVuaXZlcnNpdHkgb2YgUGVubnN5bHZhbmlhPC9zcGFu Pjxicj4NCjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNl OyI+KiBKb2huIFJlcHB5LCBVbml2ZXJzaXR5IG9mIENoaWNhZ288L3NwYW4+PC9wPg0KPHA+PHNw YW4gc3R5bGU9ImZvbnQtZmFtaWx5OiAnYW5kYWxlIG1vbm8nLCBtb25vc3BhY2U7Ij4jIyBQcm9n cmFtbWU8L3NwYW4+PGJyPg0KPHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiAnYW5kYWxlIG1vbm8n LCBtb25vc3BhY2U7Ij5UaGUgcHJvZ3JhbW1lIHNjaGVkdWxlIGNhbiBiZSBmb3VuZCBoZXJlOjwv c3Bhbj48YnI+DQo8c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycsIG1vbm9z cGFjZTsiPnRyZW5kc2ZwLmdpdGh1Yi5pby9zY2hlZHVsZS5odG1sPC9zcGFuPjwvcD4NCjxwPjxz cGFuIHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+IyMgRXhj dXJzaW9uIGFuZCBiYW5xdWV0PC9zcGFuPjxicj4NCjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTog J2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+QWZ0ZXIgbHVuY2ggb24gVGh1cnNkYXkgdGhlcmUg aXMgYSBwcml2YXRlIGd1aWRlZCB0b3VyIG9mIHRoZSZuYnNwOzwvc3Bhbj48YnI+DQo8c3BhbiBz dHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycsIG1vbm9zcGFjZTsiPlRob21hcyBFZGlz b24gTmF0aW9uYWwgSGlzdG9yaWNhbCBQYXJrIGFuZCBNdXNldW0uPC9zcGFuPjxicj4NCjxzcGFu IHN0eWxlPSJmb250LWZhbWlseTogJ2FuZGFsZSBtb25vJywgbW9ub3NwYWNlOyI+VGh1cnNkYXkg ZXZlbmluZyB3ZSBoYXZlIHRoZSBURlAgYmFucXVldCBhdCBGb3JubydzIG9mIFNwYWluLjwvc3Bh bj48YnI+DQo8c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6ICdhbmRhbGUgbW9ubycsIG1vbm9zcGFj ZTsiPkR1cmluZyBkaW5uZXIgdGhlIHdpbm5lcnMgb2YgdGhlIGJlc3QgcGFwZXIgYXdhcmRzIG9m IGxhc3QgeWVhcidzIFRGUDwvc3Bhbj48YnI+DQo8c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6ICdh bmRhbGUgbW9ubycsIG1vbm9zcGFjZTsiPndpbGwgYmUgYW5ub3VuY2VkLiZuYnNwOzwvc3Bhbj48 L3A+DQo8L2JvZHk+DQo8L2h0bWw+DQo=