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 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fioretto.ferdinando@isye.gatech.edu) identity=pra; client-ip=40.107.70.116; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fioretto.ferdinando@isye.gatech.edu"; x-sender="fioretto.ferdinando@isye.gatech.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fioretto.ferdinando@isye.gatech.edu) identity=mailfrom; client-ip=40.107.70.116; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fioretto.ferdinando@isye.gatech.edu"; x-sender="fioretto.ferdinando@isye.gatech.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@NAM04-SN1-obe.outbound.protection.outlook.com designates 40.107.70.116 as permitted sender) identity=helo; client-ip=40.107.70.116; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fioretto.ferdinando@isye.gatech.edu"; x-sender="postmaster@NAM04-SN1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" 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 DQpUaGUgMzV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gTG9naWMg UHJvZ3JhbW1pbmcgKElDTFAgMjAxOSkNCg0KU3BlY2lhbCBTZXNzaW9uOiBX b21lbiBpbiBMb2dpYyBQcm9ncmFtbWluZw0KPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQpUaGlzIHNwZWNpYWwgc2Vz c2lvbiBhaW1zIHRvIGluY3JlYXNlIHRoZSB2aXNpYmlsaXR5IGFuZCBpbXBh Y3Qgb2Ygd29tZW4gaW4gTFAsIGZvc3RlcmluZyBhd2FyZW5lc3Mgb2Ygb25l IGFub3RoZXLigJlzIHdvcmsuIFRvIGhhdmUgZ29vZCByb2xlIG1vZGVscyBp cyB2ZXJ5IGltcG9ydGFudCBmb3IgZmVtYWxlIHN0dWRlbnRzIGFuZCB0aGlz IHNlc3Npb24gaXMgYW4gb3Bwb3J0dW5pdHkgdG8gY2VsZWJyYXRlIHdvbWVu 4oCZcyB3b3JrIGluIHRoZSBjb21tdW5pdHkuIFdlIGhvcGUgdGhpcyB3aWxs IGJlIHBhcnRpY3VsYXJseSBhdHRyYWN0aXZlIHRvIGVhcmx5LWNhcmVlciB3 b21lbi4gVGhlIHNlc3Npb24gd2lsbCBpbmNsdWRlIG9uZSBvciB0d28gaW52 aXRlZCB0YWxrcyBhbmQgcHJlc2VudGF0aW9ucyBieSB3b21lbiBpbiBsb2dp YyBwcm9ncmFtbWluZy4gDQoNClN1Ym1pc3Npb24gRGV0YWlscw0KPT09PT09 PT09PT09PT09PT09DQoNClRoZSBzdWJtaXNzaW9ucyB0byB0aGlzIHNwZWNp YWwgc2Vzc2lvbiBtdXN0IGJlIG1hZGUgdmlhIHRoZSBFYXN5Q2hhaXIgY29u ZmVyZW5jZSBzeXN0ZW06IA0KDQpodHRwczovL2Vhc3ljaGFpci5vcmcvY29u ZmVyZW5jZXMvP2NvbmY9aWNscDIwMTkNCg0KQWxsIHN1Ym1pc3Npb25zIG11 c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoIGFuZCBhdCBsZWFzdCBvbmUgY29h dXRob3IgbXVzdCBiZSBhIHdvbWFuLiBDb250cmlidXRpb25zIGNhbiBiZSBz ZW50IGluIHRoZSBmb3JtIG9mIHNob3J0IHBhcGVycyAoNyBwYWdlcyBpbiBP QVNJY3MgZm9ybWF0LCBpbmNsdWRpbmcgcmVmZXJlbmNlcykgYW5kIGNhbiBk ZXNjcmliZSBwdWJsaXNoZWQgcmVzZWFyY2guIFRoZSBhY2NlcHRlZCBzaG9y dCBwYXBlcnMgdGhhdCBkZXNjcmliZSBvcmlnaW5hbCBhbmQgcHJldmlvdXNs eSB1bnB1Ymxpc2hlZCB3b3JrIHdpbGwgYmUgcHVibGlzaGVkIGFzIFRDcywg YWxvbmcgd2l0aCB0aGUgc2VsZWN0ZWQgSUNMUC1UQyBwYXBlcnMuIFRoZSBh Y2NlcHRlZCBzaG9ydCBwYXBlcnMgdGhhdCBkZXNjcmliZSBwdWJsaXNoZWQg cmVzZWFyY2ggd2lsbCBiZSBtYWRlIGF2YWlsYWJsZSBhdCB0aGUgY29uZmVy ZW5jZSB3ZWJwYWdlLCB3aXRoIHRoZSBwZXJtaXNzaW9uIG9mIHRoZSBhdXRo b3JzLg0KDQpBbGwgdGVjaG5pY2FsIGNvbW11bmljYXRpb25zIHdpbGwgYmUg cHJlc2VudGVkIGR1cmluZyB0aGUgY29uZmVyZW5jZSwgcHJlZmVyYWJseSBi eSB3b21lbi4gQXV0aG9ycyBvZiBhY2NlcHRlZCBwYXBlcnMgd2lsbCwgYnkg ZGVmYXVsdCwgYmUgYXV0b21hdGljYWxseSBpbmNsdWRlZCBpbiB0aGUgbGlz dCBvZiBBTFAgbWVtYmVycywgd2hvIHdpbGwgcmVjZWl2ZSBxdWFydGVybHkg dXBkYXRlcyBmcm9tIHRoZSBMb2dpYyBQcm9ncmFtbWluZyBOZXdzbGV0dGVy IGF0IG5vIGNvc3QuIA0KDQpLZXlub3Rlcw0KPT09PT09PT0NCll1bGl5YSBM aWVybGVyDQoNCkltcG9ydGFudCBEYXRlcw0KPT09PT09PT09PT09PT09DQoN ClBhcGVyIHN1Ym1pc3Npb246IEp1bmUgMjUsIDIwMTkgIA0KRmluYWwgbm90 aWZpY2F0aW9uOiBKdWx5IDE3LCAyMDE5DQpDYW1lcmEtcmVhZHkgY29weSBk dWU6IEp1bHkgMzEsIDIwMTkNCk1haW4gY29uZmVyZW5jZTogU2VwdGVtYmVy IDIwLS0yNSwgMjAxOQ0KDQpPcmdhbml6YXRpb24NCj09PT09PT09PT09PQ0K DQpTZXNzaW9uIENoYWlyczoNCiAgIE1hcmluYSBEZSBWb3MgLSBVbml2ZXJz aXR5IG9mIEJhdGgNCiAgIEFsaWNpYSBWaWxsYW51ZXZhIC0gVW5pdmVyc2l0 YXQgUG9saXTDqGNuaWNhIGRlIFZhbMOobmNpYQ0KDQpQcm9ncmFtIENvbW1p dHRlZQ0KPT09PT09PT09PT09PT09PT0NCg0KRWx2aXJhIEFsYmVydCAtIFVu aXZlcnNpZGFkIENvbXBsdXRlbnNlIGRlIE1hZHJpZA0KU3RlZmFuaWEgQ29z dGFudGluaSAtIFVuaXZlcnNpdHkgb2YgTOKAmUFxdWlsYQ0KSW5lcyBEdXRy YSAtIFVuaXZlcnNpdHkgb2YgUG9ydG8NCkRhbmllbGEgSW5jbGV6YW4gLSBN aWFtaSBVbml2ZXJzaXR5IA0KRWthdGVyaW5hIEtvbWVuZGFudHNrYXlhIC0g SGVyaW90LVdhdHQgVW5pdmVyc2l0eQ0KU2ltb25hIFBlcnJpIC0gVW5pdmVy c2l0eSBvZiBDYWxhYnJpYQ0KDQoNCg==