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 BB80C2DF6 for ; Sun, 16 Jun 2019 11:52:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,381,1557180000"; d="scan'208";a="387623867" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jun 2019 13:52:28 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 704C9824A7; Sun, 16 Jun 2019 13:52:28 +0200 (CEST) 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 ECA2A8247D for ; Sun, 16 Jun 2019 13:50:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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@NAM04-SN1-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3A4lcQ5BVXDXXc9j6soBXB0ircCDbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRSHv6dThVPEFb/W9+hDw7KP9fy5ACpZv8vK7CtKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sBjdutMLjYZjKqs9xRTEr3VVcO?= =?us-ascii?q?lK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwXN?= =?us-ascii?q?QguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlhD?= =?us-ascii?q?sbOzM/7WrXj81wjLlAoBKgoRx/zJPfbp+MOvFjcKPdfM0VRW5cUc1MUyBMDJ+w?= =?us-ascii?q?Y44JAuEcP+hXspP9qkMOoxWjGQmiCuDhyj5UiXH50qI3yPghHhrD3AA8A94CrH?= =?us-ascii?q?bZodPoP6kSS+C1y6zIwC3NY/1W2Df975LIfQ49ofGQWrJ8adfax0kxGAPfk1qQ?= =?us-ascii?q?qIrlMCmT1usQtGiX4fdrWOWhi24mrAFxuCagxtswionOnI4VxE7L9T9kz4Y0I9?= =?us-ascii?q?23Ukh7bsOjEJZLtiGaLIt3Td04T2Fnoik61qMJtoK7fCQQ1pso2gPfZuWBfoOV?= =?us-ascii?q?7BzjU+ORLi15hHJjYL+wmQy98VOgy+LgVsm7yldKrjBfntnLrHAN2Bre4dWERP?= =?us-ascii?q?tl5kqs1iqD2xrO5u1YI004j6jWJ4I7zrIti5YesFzPEy71lUnskaObdUop9vK1?= =?us-ascii?q?5+j6YrjqvIKQOo9shgHwLKsjmdCzDOE9PwcUW2WW+f6z2bj/8kD5TrhGkPg7nb?= =?us-ascii?q?LavZ/BJ8kWo7S2DgBL3Yk47Ru0Ei2o384CnXYdKVJIYBKHgJbtO1HJOP32Feuy?= =?us-ascii?q?jVOwnDpk3vzII6XvDojUInjEi7juY6xx60lByAov1t9f4I9UCrccL/7pQk/xrt?= =?us-ascii?q?vYDgMnPAOo3+bnCdJ91oUEVWKIH6+ZLKfSsViP5uIsOeWDeIgVuDPlJ/gk4f7h?= =?us-ascii?q?k2M5lEcScKW1x5cbdWy0E/Z8L0ibfXbgmMoNHXoLswYmSezlklyCUTpdZ3aoWK?= =?us-ascii?q?I84yk2CIynDYfEXICinqCB3Du8HpFMaGBJFEqMHmrpd4WCQfgMbj+dIsh6nzwF?= =?us-ascii?q?TrigS5Eu2QuhtADg17poMPbb+i0CuZ39ydd1+vXflQsu+jxsE8Sdz2aNQnlokW?= =?us-ascii?q?wSQj822LlzoUh8yleYzah1mOdYFNxW5/NRSAg2L5/cz+pgC9DzQA3NZNmJSEz1?= =?us-ascii?q?Cvu8BjRkBPwwxMUDf1p6X52MgwrP3iyjBbMS3fTfCp0z6K/Aw3+3Kctnx3fA3a?= =?us-ascii?q?8tiHEnWdpCc2KvmqN0907eC5OfwBbRrLqjaalJhH2Fz2yE12fb5xkBAVxAFJ7d?= =?us-ascii?q?VHVaXXP46NHw50fMVbirUOt1MxBQxIiNI7dHYd2vgFlbFq+6ZYbuJlmpkmL1Pi?= =?us-ascii?q?6mg7OBaI22JDc79QCFVA0/tVlW+nyLcw8jGi2mvmTSSiR0Ek7iaF/t9u84r26n?= =?us-ascii?q?SkgzzEeBaEgzjuPpqC5QvuSVTrYo5pxBoD0o8momHU2s0pTZAsaNrAoncalBM4?= =?us-ascii?q?sw?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AMBgD2KwZdh3RGayhmHQEBGQYFAQYBg?= =?us-ascii?q?U6BKAIBARBQVBlyAwQLGBAKhAyDRQIDhTGJMIIggTWCYpYoA1QBCAEDAQsBIwo?= =?us-ascii?q?CAQGEWQyCRQUCBDQTAQMBAQQBAQIBAQMBEwEBAQgNCQgpIwyCOgwZgmMhEREMA?= =?us-ascii?q?QEmEhEBIgImAgQwFRIrDjmCRwGBagMdAQIMm0ECgTiIXgEBcIExgnkBAQWEeRh?= =?us-ascii?q?BCIFHAwaBDCYCAQEBAY0xP4EQAScME4IXBW6BBIFdBBiEURQegiaLXoJdmyQDB?= =?us-ascii?q?AICghCGSI0KG5cwhA2QMo9BAgQCBAUCDgEBBYFngXlyTioBcwqBRIInAoNWhRS?= =?us-ascii?q?FP0ExgSmNGAGBIAE?= X-IPAS-Result: =?us-ascii?q?A0AMBgD2KwZdh3RGayhmHQEBGQYFAQYBgU6BKAIBARBQVBl?= =?us-ascii?q?yAwQLGBAKhAyDRQIDhTGJMIIggTWCYpYoA1QBCAEDAQsBIwoCAQGEWQyCRQUCB?= =?us-ascii?q?DQTAQMBAQQBAQIBAQMBEwEBAQgNCQgpIwyCOgwZgmMhEREMAQEmEhEBIgImAgQ?= =?us-ascii?q?wFRIrDjmCRwGBagMdAQIMm0ECgTiIXgEBcIExgnkBAQWEeRhBCIFHAwaBDCYCA?= =?us-ascii?q?QEBAY0xP4EQAScME4IXBW6BBIFdBBiEURQegiaLXoJdmyQDBAICghCGSI0KG5c?= =?us-ascii?q?whA2QMo9BAgQCBAUCDgEBBYFngXlyTioBcwqBRIInAoNWhRSFP0ExgSmNGAGBI?= =?us-ascii?q?AE?= X-IronPort-AV: E=Sophos;i="5.63,381,1557180000"; d="scan'208";a="309403783" X-MGA-submission: =?us-ascii?q?MDFPNyF5XibxAkJuCwc4O+BvS43iCuNEfQgNpa?= =?us-ascii?q?wWsRjTNwwDlN2y/0cPXp7luAyLISBwhF9AVw9ot8ptlbA9Ch1nJqGj6G?= =?us-ascii?q?8Jjplsce2n2JgkNFz3O1GIvFImxfxT7r0cpK/RWljTO1o3qEMLLUz7SW?= =?us-ascii?q?x2xBZDDHIeXiH/u/l2ot+Xzw=3D=3D?= Received: from mail-eopbgr700116.outbound.protection.outlook.com (HELO NAM04-SN1-obe.outbound.protection.outlook.com) ([40.107.70.116]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 16 Jun 2019 13:50:02 +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=5SYU2m9nAXh9VYnSWllhgmqJT6guZcKGBxyf9aSHICQ=; b=bLF9jAJ5o2xe+4LmohKfcr6bCcSFHDlZkMdK3B+94HPqXICeGCBWparENi91IATu8arCU4TCjaMD/796TRtPl4EmtW4vca0K8CKp67fVRYXq2HVyPDIsqepeOUj5sp0tNw6rouRmjJZjdflQ2seCIinTQacb4MeB7miJp/fuwcs= Received: from BN8PR07MB6258.namprd07.prod.outlook.com (20.179.79.139) by BN8PR07MB5794.namprd07.prod.outlook.com (20.178.223.207) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1987.12; Sun, 16 Jun 2019 11:50:00 +0000 Received: from BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::a95a:c532:b8b7:a4eb]) by BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::a95a:c532:b8b7:a4eb%6]) with mapi id 15.20.1965.019; Sun, 16 Jun 2019 11:50:00 +0000 From: "Fioretto, Ferdinando" Thread-Topic: ICLP 2019 - Special Session: Women in Logic Programming Thread-Index: AQHVJDmgwKCRWvA6kE62oRTuQqLkKA== Date: Sun, 16 Jun 2019 11:50:00 +0000 Message-ID: <2BCB0564-20BF-4556-ADD8-88EDD91B0771@gatech.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [68.184.115.15] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 5c14fc7c-16bb-46d2-3efa-08d6f250c352 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:BN8PR07MB5794; x-ms-traffictypediagnostic: BN8PR07MB5794: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 0070A8666B x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(376002)(39860400002)(136003)(346002)(396003)(189003)(199004)(99286004)(5660300002)(8936002)(75432002)(66574012)(71190400001)(186003)(6486002)(81166006)(81156014)(305945005)(3846002)(86362001)(7406005)(7416002)(6116002)(1671002)(8676002)(316002)(25786009)(6306002)(478600001)(786003)(966005)(4743002)(88552002)(2906002)(26005)(76116006)(7736002)(71200400001)(14454004)(64756008)(486006)(256004)(6512007)(9686003)(14444005)(66556008)(66946007)(73956011)(6436002)(66446008)(66476007)(33656002)(102836004)(109986005)(36756003)(6506007)(53936002)(476003)(68736007)(66066001)(881003);DIR:OUT;SFP:1102;SCL:1;SRVR:BN8PR07MB5794;H:BN8PR07MB6258.namprd07.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: SMU6QAHxrz5Bg8c3m8AvSNsguG7dbpb6P/YnRm7OZIchocbooDi0V7iBfJaF5rI6Q1tRnFnkgmnZozP+yp3ZN71q6umsWAE76+VPGtzcIJOWAiHowVlGTxeEXolOD5MJ0nD1msM20KLMG3jlANe/twL0qu81zwNnzECqooORN1dHPrsIJwL2GnXRlqaqnRs/hAqsePl231YcimiSVKoios5vZb0yOcxSXF9GORlfvzL5BQj51QwfpZ6YWzhpt11+q7reHyQeS0s9VYpch8013tWvjef94cWQRkkejL6yP2d6YBlAY5fkpCN+gC+tImxk7exV/oAMu+n2SPDA4MPB7nwyIZGabgScAwOrvtysrKFoL9KMAVFA6+n5CRx2a0cBSqzM8Z/nMbHRYb3TRAhsYEmkqlzmUeP4egiy/7zMSyg= 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: 5c14fc7c-16bb-46d2-3efa-08d6f250c352 X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Jun 2019 11:50:00.4288 (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: BN8PR07MB5794 X-Validation-by: fioretto.ferdinando@isye.gatech.edu Subject: [Caml-list] ICLP 2019 - Special Session: Women in Logic Programming Reply-To: "Fioretto, Ferdinando" X-Loop: caml-list@inria.fr X-Sequence: 17619 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: DQpUaGUgMzV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gTG9naWMgUHJvZ3JhbW1pbmcg KElDTFAgMjAxOSkNCg0KU3BlY2lhbCBTZXNzaW9uOiBXb21lbiBpbiBMb2dpYyBQcm9ncmFtbWlu Zw0KPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQpUaGlzIHNw ZWNpYWwgc2Vzc2lvbiBhaW1zIHRvIGluY3JlYXNlIHRoZSB2aXNpYmlsaXR5IGFuZCBpbXBhY3Qg b2Ygd29tZW4gaW4gTFAsIGZvc3RlcmluZyBhd2FyZW5lc3Mgb2Ygb25lIGFub3RoZXLigJlzIHdv cmsuIFRvIGhhdmUgZ29vZCByb2xlIG1vZGVscyBpcyB2ZXJ5IGltcG9ydGFudCBmb3IgZmVtYWxl IHN0dWRlbnRzIGFuZCB0aGlzIHNlc3Npb24gaXMgYW4gb3Bwb3J0dW5pdHkgdG8gY2VsZWJyYXRl IHdvbWVu4oCZcyB3b3JrIGluIHRoZSBjb21tdW5pdHkuIFdlIGhvcGUgdGhpcyB3aWxsIGJlIHBh cnRpY3VsYXJseSBhdHRyYWN0aXZlIHRvIGVhcmx5LWNhcmVlciB3b21lbi4gVGhlIHNlc3Npb24g d2lsbCBpbmNsdWRlIG9uZSBvciB0d28gaW52aXRlZCB0YWxrcyBhbmQgcHJlc2VudGF0aW9ucyBi eSB3b21lbiBpbiBsb2dpYyBwcm9ncmFtbWluZy4gDQoNClN1Ym1pc3Npb24gRGV0YWlscw0KPT09 PT09PT09PT09PT09PT09DQoNClRoZSBzdWJtaXNzaW9ucyB0byB0aGlzIHNwZWNpYWwgc2Vzc2lv biBtdXN0IGJlIG1hZGUgdmlhIHRoZSBFYXN5Q2hhaXIgY29uZmVyZW5jZSBzeXN0ZW06IA0KDQpo dHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9aWNscDIwMTkNCg0KQWxsIHN1 Ym1pc3Npb25zIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoIGFuZCBhdCBsZWFzdCBvbmUgY29h dXRob3IgbXVzdCBiZSBhIHdvbWFuLiBDb250cmlidXRpb25zIGNhbiBiZSBzZW50IGluIHRoZSBm b3JtIG9mIHNob3J0IHBhcGVycyAoNyBwYWdlcyBpbiBPQVNJY3MgZm9ybWF0LCBpbmNsdWRpbmcg cmVmZXJlbmNlcykgYW5kIGNhbiBkZXNjcmliZSBwdWJsaXNoZWQgcmVzZWFyY2guIFRoZSBhY2Nl cHRlZCBzaG9ydCBwYXBlcnMgdGhhdCBkZXNjcmliZSBvcmlnaW5hbCBhbmQgcHJldmlvdXNseSB1 bnB1Ymxpc2hlZCB3b3JrIHdpbGwgYmUgcHVibGlzaGVkIGFzIFRDcywgYWxvbmcgd2l0aCB0aGUg c2VsZWN0ZWQgSUNMUC1UQyBwYXBlcnMuIFRoZSBhY2NlcHRlZCBzaG9ydCBwYXBlcnMgdGhhdCBk ZXNjcmliZSBwdWJsaXNoZWQgcmVzZWFyY2ggd2lsbCBiZSBtYWRlIGF2YWlsYWJsZSBhdCB0aGUg Y29uZmVyZW5jZSB3ZWJwYWdlLCB3aXRoIHRoZSBwZXJtaXNzaW9uIG9mIHRoZSBhdXRob3JzLg0K DQpBbGwgdGVjaG5pY2FsIGNvbW11bmljYXRpb25zIHdpbGwgYmUgcHJlc2VudGVkIGR1cmluZyB0 aGUgY29uZmVyZW5jZSwgcHJlZmVyYWJseSBieSB3b21lbi4gQXV0aG9ycyBvZiBhY2NlcHRlZCBw YXBlcnMgd2lsbCwgYnkgZGVmYXVsdCwgYmUgYXV0b21hdGljYWxseSBpbmNsdWRlZCBpbiB0aGUg bGlzdCBvZiBBTFAgbWVtYmVycywgd2hvIHdpbGwgcmVjZWl2ZSBxdWFydGVybHkgdXBkYXRlcyBm cm9tIHRoZSBMb2dpYyBQcm9ncmFtbWluZyBOZXdzbGV0dGVyIGF0IG5vIGNvc3QuIA0KDQpLZXlu b3Rlcw0KPT09PT09PT0NCll1bGl5YSBMaWVybGVyDQoNCkltcG9ydGFudCBEYXRlcw0KPT09PT09 PT09PT09PT09DQoNClBhcGVyIHN1Ym1pc3Npb246IEp1bmUgMjUsIDIwMTkgIA0KRmluYWwgbm90 aWZpY2F0aW9uOiBKdWx5IDE3LCAyMDE5DQpDYW1lcmEtcmVhZHkgY29weSBkdWU6IEp1bHkgMzEs IDIwMTkNCk1haW4gY29uZmVyZW5jZTogU2VwdGVtYmVyIDIwLS0yNSwgMjAxOQ0KDQpPcmdhbml6 YXRpb24NCj09PT09PT09PT09PQ0KDQpTZXNzaW9uIENoYWlyczoNCiAgIE1hcmluYSBEZSBWb3Mg LSBVbml2ZXJzaXR5IG9mIEJhdGgNCiAgIEFsaWNpYSBWaWxsYW51ZXZhIC0gVW5pdmVyc2l0YXQg UG9saXTDqGNuaWNhIGRlIFZhbMOobmNpYQ0KDQpQcm9ncmFtIENvbW1pdHRlZQ0KPT09PT09PT09 PT09PT09PT0NCg0KRWx2aXJhIEFsYmVydCAtIFVuaXZlcnNpZGFkIENvbXBsdXRlbnNlIGRlIE1h ZHJpZA0KU3RlZmFuaWEgQ29zdGFudGluaSAtIFVuaXZlcnNpdHkgb2YgTOKAmUFxdWlsYQ0KSW5l cyBEdXRyYSAtIFVuaXZlcnNpdHkgb2YgUG9ydG8NCkRhbmllbGEgSW5jbGV6YW4gLSBNaWFtaSBV bml2ZXJzaXR5IA0KRWthdGVyaW5hIEtvbWVuZGFudHNrYXlhIC0gSGVyaW90LVdhdHQgVW5pdmVy c2l0eQ0KU2ltb25hIFBlcnJpIC0gVW5pdmVyc2l0eSBvZiBDYWxhYnJpYQ0KDQoNCg==