From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 9F5305D4 for ; Tue, 25 Jun 2019 14:21:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,416,1557180000"; d="scan'208";a="389003076" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jun 2019 16:21:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8869E826E6; Tue, 25 Jun 2019 16:21:04 +0200 (CEST) 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 707527ED69 for ; Tue, 25 Jun 2019 16:20:25 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fioretto.ferdinando@isye.gatech.edu; spf=None smtp.mailfrom=fioretto.ferdinando@isye.gatech.edu; spf=Pass smtp.helo=postmaster@NAM01-SN1-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AbXHpJhClgwFI/itDnufdUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP36p8mwAkXT6L1XgUPTWs2DsrQY0rCQ6vyrBjZIoc7Y9ixbKdoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanJVuJrwsxhbGrXdFef?= =?us-ascii?q?pazn5sKV6Pghrw/Mi98IN+/yhKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnD?= =?us-ascii?q?QwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pky?= =?us-ascii?q?gIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQGpBX91RVzdAAoO6?= =?us-ascii?q?YIsEEvQPM/9FpInzplsBsx++ChSxD+/rxDJEmnr60Ksn2OojDA7GxhQtEdITvn?= =?us-ascii?q?TIotv7N6YSXvy6wqbH1jjDc+hZ2TLh5ITUbhwso/eBVq9wf8rLzkkvEhvIgluQ?= =?us-ascii?q?p4zkODOVzPoCs3SH7+pnTe6klm4ppB9rojeyx8csjJPGhoQIxVDD+yly3YE4Jd?= =?us-ascii?q?O5SE58e96rDodQtz2dN4dsTMMtXXtotzs7yr0Ao5G7ejUFyJM8yh7ecPyGc5aH?= =?us-ascii?q?7gjsVOmLPTd3mm5qeLKlixms7Eeg1/TxW8+p21hEqSpFl8PDtnEL1xHL9MeIUO?= =?us-ascii?q?B9/0e91jaPzQ/T6/tELVozlarBJJ4t2qA/loIPsUvfBS/6gkL2jLWZdkgi5+Om?= =?us-ascii?q?6Pznb63pq5OALYN4lx3yP6Y0lsG8H+g0KBUCU3SZ9OikyrHu/FD1TKlPg/Erna?= =?us-ascii?q?TUs5XXKdkVpqKlHwNY15sv5wqjAzu61dkXgXoKIVBedx+CgIXkOkzCLfL9APex?= =?us-ascii?q?nlihnypnyvXJM7DlH5nAIGDPkLn/crt+90JRzQ8+wc5Q6p5IF74MJe/8V0z/tN?= =?us-ascii?q?HWCxI2LRe7zub6BNh4yowTV2GCDbOfPajPq1GH/PgvLPOJZIINuDbyNfwl5/n2?= =?us-ascii?q?gHEhhVITerWl0YYOZH6lBvpqPlyVYX33jdgfC2sKuRc+TPDxh12FTD5TYWu9U7?= =?us-ascii?q?gk5jEhD4KmEZnMSZyxgLyA2ye7GIdaZmdbClCQFXfocIKEW/QWZC2OJc9hlyQI?= =?us-ascii?q?VbmnS4A/yRGjrAD3x6Z9IubJ5iEVt4jv2dtr6+HJiB0+6T55A9yY026XTmF0mm?= =?us-ascii?q?0IRyUx3KB6uUF9xFaD0a9ig/NGCdxT+/RJXh00NZHC1ex1FtHyWgTbcdePVVmm?= =?us-ascii?q?Rc6rATAqTtMx3dACeUl9FM++jh/dwyWqA6UZmKKWC5wp6q7cxWT+J95hy3ba06?= =?us-ascii?q?ksl0UpTdFKNW2in6J/8wnTB5XVk0iCjKardaEc3DbX+2uZzGqOultYUA9qXqnf?= =?us-ascii?q?U3AffBieg87+4xaIYb6pE7k7LgwFgeCPMKdLbNTvgVIMDKPtOdPEbn6tnCG+CA?= =?us-ascii?q?yEx7WFaobtU2QGzSibB0EYngsTu3uKKF5tVW+av2vCAWk2RhrUaET2/Lwl8Crn?= =?us-ascii?q?HH9x9BmDagha75Tw4gQc3KPOSugC0/QLsTssoDUyEVqgjYqPWoiw4jF5daAZWu?= =?us-ascii?q?sTpVJO1GbXrQt4Z8PyLrtzixgRehh6tEOo2hlqWN0ZzJoa6UgyxQ83Epq2lVNM?= =?us-ascii?q?czTEgsLWE5iPcyzJ2knqbKTbnFbDzNyR56EDruwirEnutx2oEUxk9Gh7195S0D?= =?us-ascii?q?2X4ZCYVQc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AcAwAaLRJdh2tSayhlg11QbXIDBAsYE?= =?us-ascii?q?IQWg0cDhTGJMIIkgTWCYpYqA1QBCAEDAQsBIwoCAQGEWQyCbgUCBDQTAQMBAQQ?= =?us-ascii?q?BAQIBAgMBEwEBAQgNCQgpij4MgjoMGYJjIRERDAEBJhIRASICJgIEMBUSKw45g?= =?us-ascii?q?kcBgWoDHgIMmjECgTiIXgEBcIExgnkBAQWFARhBCIFICYEMKI01P4EQAScfghc?= =?us-ascii?q?FboEEgV0EGIRRFB6CJot0gmCbRAMEAgKCFYVPgQGNGxuDFJQ5AYQQkE2PWQIEA?= =?us-ascii?q?gQFAg4BAQWBZ4F5ck4qAXMKgUQJgUCBEAIdgzmFFIU/QTGBKY5yAQ?= X-IPAS-Result: =?us-ascii?q?A0AcAwAaLRJdh2tSayhlg11QbXIDBAsYEIQWg0cDhTGJMII?= =?us-ascii?q?kgTWCYpYqA1QBCAEDAQsBIwoCAQGEWQyCbgUCBDQTAQMBAQQBAQIBAgMBEwEBA?= =?us-ascii?q?QgNCQgpij4MgjoMGYJjIRERDAEBJhIRASICJgIEMBUSKw45gkcBgWoDHgIMmjE?= =?us-ascii?q?CgTiIXgEBcIExgnkBAQWFARhBCIFICYEMKI01P4EQAScfghcFboEEgV0EGIRRF?= =?us-ascii?q?B6CJot0gmCbRAMEAgKCFYVPgQGNGxuDFJQ5AYQQkE2PWQIEAgQFAg4BAQWBZ4F?= =?us-ascii?q?5ck4qAXMKgUQJgUCBEAIdgzmFFIU/QTGBKY5yAQ?= X-IronPort-AV: E=Sophos;i="5.63,416,1557180000"; d="scan'208";a="389002845" X-MGA-submission: =?us-ascii?q?MDFRlmgGHPaaJAbXWAhLEr4FJTMF/J7ZXyqwj6?= =?us-ascii?q?3C4e8Ju3PnOuqAOvUkYHOVIbkf1r9a1UslhcR6lAolXfp7cyE1TmGPwJ?= =?us-ascii?q?cl9cJWNa4OCRPXmYSlvUauJ5Ry9o5OPB2SPcq9MSY/f2B1V90AZNDa7M?= =?us-ascii?q?yOCpmRmNqAlfo6GjIzpHWiqw=3D=3D?= Received: from mail-eopbgr820107.outbound.protection.outlook.com (HELO NAM01-SN1-obe.outbound.protection.outlook.com) ([40.107.82.107]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 25 Jun 2019 16:20:00 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gtvault.onmicrosoft.com; s=selector1-gtvault-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=ZU1PsFDHKeCBU9MLGEwEvsfLXoO6OsxQ0Ul1QVlLvHI=; b=JbA0HztgTutwffwp3t0KGSPpAzFOiUZp1tQPCdkjFzwE5Y/VA+AuTWjRxcM2xNNrerMI5e69ND2U82Ywjq9XJk2GTBHJV28ZAhlKQYT3AuV+QjLJgcIYumGD8njEyKboo5D1gD/YkE+x81vWGN8DMH9U7oX8CTn/Q39nf97nr0A= Received: from BN8PR07MB6258.namprd07.prod.outlook.com (20.179.79.139) by BN8PR07MB5988.namprd07.prod.outlook.com (20.179.65.148) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2008.17; Tue, 25 Jun 2019 14:19:55 +0000 Received: from BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::240d:d8f3:eb51:c38c]) by BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::240d:d8f3:eb51:c38c%6]) with mapi id 15.20.2008.014; Tue, 25 Jun 2019 14:19:55 +0000 From: "Fioretto, Ferdinando" Thread-Topic: CFP: ICLP-2019 - Special Session: Women in Logic Programming (Extended Deadline and New Publisher) Thread-Index: AQHVK2EPaBmBySu6oE+2rgdGjoKTEw== Date: Tue, 25 Jun 2019 14:19:55 +0000 Message-ID: <4E4A9FF2-F1AC-4F8C-BEA9-AB55553F7170@gatech.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [2610:148:1f00:1000:c87b:4617:f141:4913] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: cf3bdc52-b725-4964-ef34-08d6f9783266 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:BN8PR07MB5988; x-ms-traffictypediagnostic: BN8PR07MB5988: x-ms-exchange-purlcount: 2 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 0079056367 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(346002)(376002)(136003)(39860400002)(396003)(366004)(199004)(189003)(14454004)(6436002)(316002)(66574012)(53936002)(66476007)(75432002)(33656002)(881003)(1671002)(6486002)(478600001)(587094005)(68736007)(64756008)(66446008)(66556008)(5660300002)(8936002)(6506007)(186003)(476003)(25786009)(88552002)(102836004)(2906002)(256004)(46003)(71190400001)(486006)(786003)(99286004)(66946007)(76116006)(73956011)(91956017)(71200400001)(7736002)(53386004)(9686003)(7406005)(6116002)(81156014)(6512007)(81166006)(36756003)(8676002)(7416002)(14444005)(6306002)(966005)(109986005)(86362001)(305945005);DIR:OUT;SFP:1102;SCL:1;SRVR:BN8PR07MB5988;H:BN8PR07MB6258.namprd07.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: UkKtzBCrZ60SFmHcUQPUhoC+Dnu9Mg5w2ZAAqUu6wOc9OdSNXbleLFf9vZevrvN7LGjhIh0eYv1xgLqsOmwx2QCYPzYRcrQjCBG+Cf7SS2dsblVv9PNIH+ZA3weCGYANfI4zULRMjgPsBsz/Z3pAP9ZykBA8C1OWLI+7lImLfce1wp51e70w79pYW9Qwxx5myRqCgJsCsxc5DpFkahtSzfDETgYC5DOfZw/9JEtcfIEurYwswSJuubaLZR9ZSb5fY7FBlv7ucUtxw31lzxfba672WlOPgivDivf5rncvYDPrg1DttwDWpQ3lTCpFtc6fqiBpminBRRA3Y5OcF83d8dKL+OePFuO8+fpFj/YgMIspG1c6v4CX9j86nPZHoFtDCiPdmf0MeT9ZYDQCrC1lDzcV8OCOZrfbPXHTnIjRxtw= Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: isye.gatech.edu X-MS-Exchange-CrossTenant-Network-Message-Id: cf3bdc52-b725-4964-ef34-08d6f9783266 X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Jun 2019 14:19:55.5013 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: fferdinando3@gatech.edu X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8PR07MB5988 X-Validation-by: fioretto.ferdinando@isye.gatech.edu Subject: [Caml-list] CFP: ICLP-2019 - Special Session: Women in Logic Programming (Extended Deadline and New Publisher) Reply-To: "Fioretto, Ferdinando" X-Loop: caml-list@inria.fr X-Sequence: 17645 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: W0Fwb2xvZ2llcyBmb3IgY3Jvc3MtcG9zdGluZ10NCg0KVGhlIDM1dGggSW50ZXJuYXRpb25hbCBD b25mZXJlbmNlIG9uIExvZ2ljIFByb2dyYW1taW5nIChJQ0xQIDIwMTkpDQoNCg0KU3BlY2lhbCBT ZXNzaW9uOiBXb21lbiBpbiBMb2dpYyBQcm9ncmFtbWluZw0KPT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PQ0KDQoNCg0KDQoqKioqKiBFWFRFTkRFRCBERUFETElORSBh bmQgTkVXIFBVQkxJU0hFUiAqKioqKg0KDQoNCg0KDQpUaGlzIHNwZWNpYWwgc2Vzc2lvbiBhaW1z IHRvIGluY3JlYXNlIHRoZSB2aXNpYmlsaXR5IGFuZCBpbXBhY3Qgb2Ygd29tZW4gaW4gTFAsIGZv c3RlcmluZyBhd2FyZW5lc3Mgb2Ygb25lIGFub3RoZXLigJlzIHdvcmsuIFRvIGhhdmUgZ29vZCBy b2xlIG1vZGVscyBpcyB2ZXJ5IGltcG9ydGFudCBmb3IgZmVtYWxlIHN0dWRlbnRzIGFuZCB0aGlz IHNlc3Npb24gaXMgYW4gb3Bwb3J0dW5pdHkgdG8gY2VsZWJyYXRlIHdvbWVu4oCZcyB3b3JrIGlu IHRoZSBjb21tdW5pdHkuIFdlIGhvcGUgdGhpcyB3aWxsIGJlIHBhcnRpY3VsYXJseSBhdHRyYWN0 aXZlIHRvIGVhcmx5LWNhcmVlciB3b21lbi4gVGhlIHNlc3Npb24gd2lsbCBpbmNsdWRlIG9uZSBv ciB0d28gaW52aXRlZCB0YWxrcyBhbmQgcHJlc2VudGF0aW9ucyBieSB3b21lbiBpbiBsb2dpYyBw cm9ncmFtbWluZy4gDQoNCg0KU3VibWlzc2lvbiBEZXRhaWxzDQo9PT09PT09PT09PT09PT09PT0N Cg0KDQpUaGUgc3VibWlzc2lvbnMgdG8gdGhpcyBzcGVjaWFsIHNlc3Npb24gbXVzdCBiZSBtYWRl IHZpYSB0aGUgRWFzeUNoYWlyIGNvbmZlcmVuY2Ugc3lzdGVtOiANCg0KDQpodHRwczovL2Vhc3lj aGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9aWNscDIwMTkNCg0KDQpBbGwgc3VibWlzc2lvbnMg bXVzdCBiZSB3cml0dGVuIGluIEVuZ2xpc2ggYW5kIGF0IGxlYXN0IG9uZSBjb2F1dGhvciBtdXN0 IGJlIGEgd29tYW4uIENvbnRyaWJ1dGlvbnMgY2FuIGJlIHNlbnQgaW4gdGhlIGZvcm0gb2Ygc2hv cnQgcGFwZXJzICg3IHBhZ2VzIGluIEVQVENTIGZvcm1hdCwgaW5jbHVkaW5nIHJlZmVyZW5jZXMg b3IgNyBwYWdlcyBpbiBPQVNJY3MgZm9ybWF0LCBpbmNsdWRpbmcgcmVmZXJlbmNlcyBidXQgdGhl c2Ugd2lsbCBoYXZlIHRvIGJlIGNvbnZlcnRlZCB0byBFUFRTQyBmb3JtYXQgZm9yIHRoZSBjYW1l cmEgIHJlYWR5IHZlcnNpb24gaWYgdGhlIHBhcGVyIGlzIGFjY2VwdGVkKSBhbmQgY2FuIGRlc2Ny aWJlIHB1Ymxpc2hlZCByZXNlYXJjaC4gVGhlIGFjY2VwdGVkIHNob3J0IHBhcGVycyB0aGF0IGRl c2NyaWJlIG9yaWdpbmFsIGFuZCBwcmV2aW91c2x5IHVucHVibGlzaGVkIHdvcmsgd2lsbCBiZSBw dWJsaXNoZWQgYXMgVENzLCBhbG9uZyB3aXRoIHRoZSBzZWxlY3RlZCBJQ0xQLVRDIHBhcGVycy4g VGhlIGFjY2VwdGVkIHNob3J0IHBhcGVycyB0aGF0IGRlc2NyaWJlIHB1Ymxpc2hlZCByZXNlYXJj aCB3aWxsIGJlIG1hZGUgYXZhaWxhYmxlIGF0IHRoZSBjb25mZXJlbmNlIHdlYnBhZ2UsIHdpdGgg dGhlIHBlcm1pc3Npb24gb2YgdGhlIGF1dGhvcnMuICBUaGUgRVBUQ1Mgc3R5bGUgZm9yIHN1Ym1p c3Npb25zIGNhbiBiZSBmb3VuZCBoZXJlOiBodHRwOi8vaW5mby5lcHRjcy5vcmcNCg0KDQpBbGwg dGVjaG5pY2FsIGNvbW11bmljYXRpb25zIHdpbGwgYmUgcHJlc2VudGVkIGR1cmluZyB0aGUgY29u ZmVyZW5jZSwgcHJlZmVyYWJseSBieSB3b21lbi4gQXV0aG9ycyBvZiBhY2NlcHRlZCBwYXBlcnMg d2lsbCwgYnkgZGVmYXVsdCwgYmUgYXV0b21hdGljYWxseSBpbmNsdWRlZCBpbiB0aGUgbGlzdCBv ZiBBTFAgbWVtYmVycywgd2hvIHdpbGwgcmVjZWl2ZSBxdWFydGVybHkgdXBkYXRlcyBmcm9tIHRo ZSBMb2dpYyBQcm9ncmFtbWluZyBOZXdzbGV0dGVyIGF0IG5vIGNvc3QuIA0KDQoNCg0KDQpLZXlu b3RlDQo9PT09PT09DQpZdWxpeWEgTGllcmxlciAtIFVuaXZlcnNpdHkgb2YgTmVicmFza2EgT21h aGENCg0KDQpJbXBvcnRhbnQgRGF0ZXMNCj09PT09PT09PT09PT09PQ0KDQoNClBhcGVyIHN1Ym1p c3Npb246IEp1bmUgMzAsIDIwMTkNCk5vdGlmaWNhdGlvbjogSnVseSAxNywgMjAxOQ0KQ2FtZXJh LXJlYWR5IGNvcHkgZHVlOiBKdWx5IDMxLCAyMDE5DQpNYWluIGNvbmZlcmVuY2U6IFNlcHRlbWJl ciAyMC0yNSwgMjAxOSAgDQoNCg0KT3JnYW5pemF0aW9uDQo9PT09PT09PT09PT0NCg0KDQpTZXNz aW9uIENoYWlyczoNCiAgTWFyaW5hIERlIFZvcyAtIFVuaXZlcnNpdHkgb2YgQmF0aA0KICBBbGlj aWEgVmlsbGFudWV2YSAtIFVuaXZlcnNpdGF0IFBvbGl0w6hjbmljYSBkZSBWYWzDqG5jaWENCg0K DQpQcm9ncmFtIENvbW1pdHRlZQ0KPT09PT09PT09PT09PT09PT0NCg0KDQpFbHZpcmEgQWxiZXJ0 IC0gVW5pdmVyc2lkYWQgQ29tcGx1dGVuc2UgZGUgTWFkcmlkDQpTdGVmYW5pYSBDb3N0YW50aW5p IC0gVW5pdmVyc2l0eSBvZiBM4oCZQXF1aWxhDQpJbmVzIER1dHJhIC0gVW5pdmVyc2l0eSBvZiBQ b3J0bw0KRGFuaWVsYSBJbmNsZXphbiAtIE1pYW1pIFVuaXZlcnNpdHkgDQpFamF0ZXJpbmEgS29t ZW5kYW50c2theWEgLSBIZXJpb3QtV2F0dCBVbml2ZXJzaXR5DQpTaW1vbmEgUGVycmkgLSBVbml2 ZXJzaXR5IG9mIENhbGFicmlhDQpGcmFuY2VzY2EgVG9uaSAtIEltcGVyaWFsIENvbGxlZ2U=