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; Mon, 29 Jan 2024 05:13:27 +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; Mon, 29 Jan 2024 05:13:27 +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; Mon, 29 Jan 2024 05:13:26 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 40T5DpRU024657 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 29 Jan 2024 05:13:51 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 40T5Dhmf024642 for ; Mon, 29 Jan 2024 05:13:43 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jan 2024 06:13:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1F56DE0CD6; Mon, 29 Jan 2024 06:13:43 +0100 (CET) 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 B2FFDE0035 for ; Mon, 29 Jan 2024 06:13:34 +0100 (CET) Received: from mail-yw1-f178.google.com ([209.85.128.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Jan 2024 06:13:33 +0100 Received: by mail-yw1-f178.google.com with SMTP id 00721157ae682-603c6621118so9037527b3.3 for ; Sun, 28 Jan 2024 21:13:33 -0800 (PST) From: Hongseok Yang To: "caml-list@inria.fr" CC: Hongseok Yang , Joost-Pieter Katoen , Thomas Rainforth Subject: [Caml-list] CfP: ACM-TOPML Special Issue on "Probabilistic Programming" Thread-Topic: [Caml-list] CfP: ACM-TOPML Special Issue on "Probabilistic Programming" Thread-Index: AQHaUnHkZLCVIoK/70SvaupGDHV+mA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 29 Jan 2024 05:13:13 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Hongseok Yang 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: 23b7e3e8-ebec-4fca-7dd8-08dc20890664 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a05:690c:fc1:b0:603:1b35:5885 with SMTP id dg1-20020a05690c0fc100b006031b355885mr3405582ywb.19.1706505204290; Sun, 28 Jan 2024 21:13:24 -0800 (PST) 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.05,226,1701126000"; d="scan'208,217";a="149057951" 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: <39140886FE822B4593AF296AC8C5B8A0@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+Q2FsbCBmb3IgUGFwZXJzOiBTcGVjaWFsIElzc3VlIG9uICZxdW90O1Byb2JhYmlsaXN0aWMg UHJvZ3JhbW1pbmcmcXVvdDsgb2Y8YnI+DQo8YnI+DQombmJzcDsgJm5ic3A7QUNNIFRyYW5zYWN0 aW9ucyBvbiBQcm9iYWJpbGlzdGljIE1hY2hpbmUgTGVhcm5pbmcgKEFDTS1UT1BNTCk8YnI+DQo8 YnI+DQpQcm9iYWJpbGlzdGljIHByb2dyYW1taW5nIGlzIGEgdmVyeSBhY3RpdmUgcmVzZWFyY2gg YXJlYSB0aGF0IGJyaW5nczxicj4NCnRvZ2V0aGVyIGRpdmVyc2UgZmllbGRzLCBzdWNoIGFzIHN0 YXRpc3RpY3MsIG1hY2hpbmUgbGVhcm5pbmcgYW5kIEFJLDxicj4NCmFwcGxpY2F0aW9ucywgcHJv Z3JhbW1pbmcgbGFuZ3VhZ2VzLCBhbmQgZm9ybWFsIHZlcmlmaWNhdGlvbi4gVGhlIGFpbSBvZjxi cj4NCnRoaXMgc3BlY2lhbCBpc3N1ZSBpcyB0byBwcmVzZW50IG5ldyBhcHByb2FjaGVzLCB0ZWNo bmlxdWVzLCB0b29scyw8YnI+DQp0aGVvcmllcyBhbmQgZXhwZXJpZW5jZSByZXBvcnRzIGFib3V0 IGFkb3B0aW5nLCBjcmVhdGluZywgYXBwbHlpbmcgYW5kPGJyPg0KaW1wcm92aW5nIHByb2JhYmls aXN0aWMgcHJvZ3JhbW1pbmcuPGJyPg0KPGJyPg0KVG9waWNzIG9mIGludGVyZXN0IGluY2x1ZGUs IGJ1dCBhcmUgbm90IGxpbWl0ZWQgdG86PGJyPg0KPGJyPg0K4oCiIEFwcGxpY2F0aW9ucyBvZiBw cm9iYWJpbGlzdGljIHByb2dyYW1taW5nPGJyPg0K4oCiIEFwcHJveGltYXRlIGluZmVyZW5jZSBh bGdvcml0aG1zIGZvciBwcm9iYWJpbGlzdGljIHByb2dyYW1zPGJyPg0K4oCiIEF1dG9tYXRpYyBk aWZmZXJlbnRpYXRpb24gZm9yIHByb2JhYmlsaXN0aWMgcHJvZ3JhbXM8YnI+DQrigKIgQXV0b21h dGVkIHByb2dyYW0gYW5hbHlzaXMgZm9yIHByb2JhYmlsaXN0aWMgcHJvZ3JhbXM8YnI+DQrigKIg RGVlcCBwcm9iYWJpbGlzdGljIHByb2dyYW1taW5nIGxhbmd1YWdlczxicj4NCuKAoiBEZXNpZ24g YW5kIGltcGxlbWVudGF0aW9uIG9mIHByb2JhYmlsaXN0aWMgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2Vz PGJyPg0K4oCiIERpZmZlcmVudGlhYmxlIHByb2dyYW1taW5nPGJyPg0K4oCiIEV4YWN0IGluZmVy ZW5jZSBhbGdvcml0aG1zIGZvciBwcm9iYWJpbGlzdGljIHByb2dyYW1zPGJyPg0K4oCiIE1vZGVs IGxlYXJuaW5nIGFuZCBjaGVja2luZyBmb3IgcHJvYmFiaWxpc3RpYyBwcm9ncmFtczxicj4NCuKA oiBTdGF0aXN0aWNhbCB0aGVvcnkgb24gaW5mZXJlbmNlIHNjaGVtZXM8YnI+DQrigKIgU2VtYW50 aWNzIGZvciBwcm9iYWJpbGlzdGljIHByb2dyYW1taW5nPGJyPg0K4oCiIFN5bnRoZXNpcyBhbmQg bGVhcm5pbmcgb2YgcHJvYmFiaWxpc3RpYyBwcm9ncmFtczxicj4NCuKAoiBUaGVvcmV0aWNhbCBh bmFseXNpcyBvZiBwcm9iYWJpbGlzdGljIHByb2dyYW1zPGJyPg0K4oCiIFR5cGVzIGZvciBwcm9i YWJpbGlzdGljIHByb2dyYW1taW5nIGFuZCBkaWZmZXJlbnRpYWJsZSBwcm9ncmFtbWluZzxicj4N CuKAoiBWZXJpZmljYXRpb24gYW5kIHRlc3RpbmcgcHJvYmFiaWxpc3RpYyBwcm9ncmFtbWluZyBw YXJhZGlnbXM8YnI+DQo8YnI+DQpEZWFkbGluZSBmb3Igc3VibWlzc2lvbnM6IE1heSAxLCAyMDI0 Ljxicj4NCjxkaXY+Tm90aWZpY2F0aW9uIHRvIGF1dGhvcnM6IFNlcHRlbWJlciAxLCAyMDI0PGJy Pg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5TdWJtaXNzaW9uIEluZm9ybWF0aW9u Ojxicj4NClRoZSBjYWxsIGZvciB0aGlzIHNwZWNpYWwgaXNzdWUgaXMgYW4gb3BlbiBjYWxsLiBB bGwgc3VibWl0dGVkIHBhcGVycyB3aWxsIHVuZGVyZ28mbmJzcDs8L2Rpdj4NCjxkaXY+YSByaWdv cm91cyBwZWVyLXJldmlldyBwcm9jZXNzIGFuZCBzaG91bGQgYWRoZXJlIHRvIHRoZSBnZW5lcmFs IHByaW5jaXBsZXMgb2YmbmJzcDs8L2Rpdj4NCjxkaXY+QUNNIFRyYW5zYWN0aW9ucyBvbiBQcm9i YWJpbGlzdGljIE1hY2hpbmUgTGVhcm5pbmcuIFN1Ym1pc3Npb25zIHNob3VsZCBiZSZuYnNwOzwv ZGl2Pg0KPGRpdj5wcmVwYXJlZCBhY2NvcmRpbmcgdG8gdGhlIEF1dGhvciBHdWlkZWxpbmVzOjwv ZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PGEgaHJlZj0iaHR0cHM6Ly9kbC5hY20ub3Jn L2pvdXJuYWwvdG9wbWwvYXV0aG9yLWd1aWRlbGluZXMiIHRhcmdldD0iX2JsYW5rIj5odHRwczov L2RsLmFjbS5vcmcvam91cm5hbC90b3BtbC9hdXRob3ItZ3VpZGVsaW5lczwvYT4uPC9kaXY+DQo8 ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5TdWJtaXR0ZWQgcGFwZXJzIG11c3QgYmUgb3JpZ2luYWws IG11c3Qgbm90IGhhdmUgYmVlbiBwcmV2aW91c2x5IHB1Ymxpc2hlZCwmbmJzcDs8L2Rpdj4NCjxk aXY+b3IgYmUgdW5kZXIgY29uc2lkZXJhdGlvbiBmb3IgcHVibGljYXRpb24gZWxzZXdoZXJlLiBJ ZiBhIHBhcGVyIGhhcyBhbHJlYWR5Jm5ic3A7PC9kaXY+DQo8ZGl2PmJlZW4gcHJlc2VudGVkIGF0 IGEgY29uZmVyZW5jZSwgaXQgc2hvdWxkIGNvbnRhaW4gYXQgbGVhc3QgMzAlIG5ldyBtYXRlcmlh bCZuYnNwOzwvZGl2Pg0KPGRpdj5iZWZvcmUgYmVpbmcgc3VibWl0dGVkIHRvIHRoaXMgaXNzdWUu IEF1dGhvcnMgbXVzdCBwcm92aWRlIGFueSBwcmV2aW91c2x5Jm5ic3A7PC9kaXY+DQo8ZGl2PnB1 Ymxpc2hlZCBtYXRlcmlhbCByZWxldmFudCB0byB0aGVpciBzdWJtaXNzaW9uIGFuZCBkZXNjcmli ZSB0aGUgYWRkaXRpb25zIG1hZGUuJm5ic3A7PC9kaXY+DQo8ZGl2PkZvciBxdWVzdGlvbnMgYW5k IGZ1cnRoZXIgaW5mb3JtYXRpb24sIHBsZWFzZSBjb250YWN0Jm5ic3A7PC9kaXY+DQo8ZGl2Pkpv b3N0LVBpZXRlciBLYXRvZW4sJm5ic3A7PGEgaHJlZj0ibWFpbHRvOmthdG9lbkBjcy5yd3RoLWFh Y2hlbi5kZSIgdGFyZ2V0PSJfYmxhbmsiPmthdG9lbkBjcy5yd3RoLWFhY2hlbi5kZTwvYT4uPC9k aXY+DQo8ZGl2Pjxicj4NCkd1ZXN0IGVkaXRvcnM6PGJyPg0KSm9vc3QtUGlldGVyIEthdG9lbjxi cj4NClJXVEggQWFjaGVuIFVuaXZlcnNpdHkgKERFKSBhbmQgVW5pdmVyc2l0eSBvZiBUd2VudGUg KE5MKTxicj4NCjxicj4NClRvbSBSYWluZm9ydGg8YnI+DQpVbml2ZXJzaXR5IG9mIE94Zm9yZCAo VUspPGZvbnQgY29sb3I9IiM4ODg4ODgiPjxmb250IGNvbG9yPSIjODg4ODg4Ij48Zm9udCBjb2xv cj0iIzg4ODg4OCI+PGJyPg0KPGJyPg0KPC9mb250PjwvZm9udD48L2ZvbnQ+SG9uZ3Nlb2sgWWFu Zzxicj4NCktvcmVhIEFkdmFuY2VkIEluc3RpdHV0ZSBvZiBTY2llbmNlICZhbXA7IFRlY2hub2xv Z3kgKEtBSVNULCBLUik8Zm9udCBjb2xvcj0iIzg4ODg4OCI+PGJyPg0KPC9mb250PjwvZGl2Pg0K PC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo=