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 5219C5D6 for ; Mon, 17 Sep 2018 17:53:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,386,1531778400"; d="scan'208";a="346738782" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Sep 2018 19:53:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BE4ED824FA; Mon, 17 Sep 2018 19:53:31 +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 40484824CF for ; Mon, 17 Sep 2018 19:51:32 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ggelfond@unomaha.edu; spf=Pass smtp.mailfrom=prvs=8798189b83=ggelfond@unomaha.edu; spf=None smtp.helo=postmaster@mx0b-00246402.pphosted.com IronPort-PHdr: =?us-ascii?q?9a23=3A4vEMDx39YDEgAMwismDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sekWL/TxwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzSl9adrVAHnhz?= =?us-ascii?q?obOTEn7G7Xi9RwgLxGqx6lqBFz34vYbYeIP/R8Y6zdZ8sXS3dBUMhPSyNPDYyz?= =?us-ascii?q?YYUOD+caIeZYtpXxq0cSoReiBwShAv7kxD9Shn/x2K03y+shEQ7Y0wwkEdIOt3?= =?us-ascii?q?LUo8juOacPV+C1y6zIwi/Db/xMwzvy9pXHcg0nrPqRU7xwds/RxlMuFwPDlliQ?= =?us-ascii?q?spTlPymU1uQLvGiU8fBgWfizhG4grgF9uiagyd03iojJmo0VykrL9SRjwIovIt?= =?us-ascii?q?24UkF7bca/EJtSqiGWLZV5Td4/Q2xupS00yaUGtIamcCUFy5kr3QPTZv2JfoSS?= =?us-ascii?q?/x7uW+icLS1liH9qer+znwu+/Eaix+HmWcS500xGojRFn9TMrHwBygLf586aQf?= =?us-ascii?q?Vn5EihwyyA1wXL5+FEP080ka3bJoYkwr8/ipYcql3PEjPqlEnog6Kbd0op9vS2?= =?us-ascii?q?5+j9erXmvp+cN4hvigHiLKshh9azDvg/MggLR2Sb+OK826P//UDhXblHgf47nr?= =?us-ascii?q?PEvJ3bK8kXvLO1DgBb34o59hqyADWr3MwdnXYdLVJFfByHj5LuO1HLOP34Fe2/?= =?us-ascii?q?g0q3kDpzxP3LPLnsD5bQInXAlLruZrVw5kBExQo8wtBQ+ZZUCr8GIPL1R0D8r8?= =?us-ascii?q?HYDhk+Mwyx2ennCM9y2pkAVm2SH6+VKLnSvkOQ5uIzP+mMY5cYtyrnJPgg4/7i?= =?us-ascii?q?lHs5mV4Gfam1xpYXc3C5HvF+I0qDe3bsg9EBEX0LvgUkVuDqhkeCAnZvYCO7UK?= =?us-ascii?q?86+ioTA5ngEILJTcagjKHFlC6/EYVMYW9uAVeJFX7iMYKUHf4HLj+RZodoljgs?= =?us-ascii?q?RaOrDYQm0FXmvRXljrFgK+/V5jEVuLroz9Mz4+zN0xg5syF3S4yX2muASyR7hG?= =?us-ascii?q?QVXxc81apypQp50RGN0O5lm/keGMcXr/hAXgoSNILBieB5T5j5UwbMeNuAUn6t?= =?us-ascii?q?RdC+HC08VJQ22dBKK010HtHnihHYwwKrBaUUnvqFHth8+aLBxXPxYs97zXHb0q?= =?us-ascii?q?Isp1I9BMFSc2Cqm+o3/AjOHYXJ1kyfkaG3c68R9DLc7GqYi2CT+kxUTUo4WqTd?= =?us-ascii?q?XX0FI0DYtfz4607PCqSjAqk9MxdQj8mYJe8CYdnkhFMDQPb4JPzFaGO8nWy9Qw?= =?us-ascii?q?yVgLWIKMLhfGoG1yT1A1NCjwsfu3eLcUA1ASOmrGTTEBRzHkOpakiq+vg64Hi8?= =?us-ascii?q?S0s9xSmBaEhl3rDz/Q5TjPfaVvBXlrkDvSJktzV5G0ys99PbBtfGoBBuOO1XZt?= =?us-ascii?q?YlpVNO022csghVO5usIrprmlkEaEJ2pEio0A94Ts1Lls0yqHQl5AFpb6Sdy04H?= =?us-ascii?q?ej+Fmdj7PbjPMG7i1ByoYOjX0RfX25CL+eNH4/M+oEj5pgyvHVsK+Gpmld9Rlz?= =?us-ascii?q?OX4ZPEARAfV5n8SW488B1iuq3XeG86/YyQnXZ0MaLxuTjE1forBfAuzx+he5FW?= =?us-ascii?q?O+WZF0u6GNYyBsO1buItgUSpKB0eeKhe9bUoJcKsaueL1OuiPc5inSmtiG1G5M?= =?us-ascii?q?Z02QSR9G40Rurg05JDwOve2RGIE3/wiV6nv9zfi5heIywUHy+8ziXgAshda+k6?= =?us-ascii?q?cIIQD2qyZsm23clWipr2XXNEslm5CBdO1dWtcBydKkXg0BZM1EMRulSqgy+xyT?= =?us-ascii?q?MylCsm6uKSwiHI38zjclwbJytAQGB/lkvsKIzyg91eFEanKgEznzOh5F3m3O5G?= =?us-ascii?q?oqU6N2DfTF1CeDLwaW1vFuO+s/+LZchI9ZUjvCBaVvinSVSbUaLm5R0TyCqlEG?= =?us-ascii?q?xAgHg1cjChob34mQZ7gWaFIW01omCdMc933xLW4JnZSOJR2TYdbCJjzyXQHF+6?= =?us-ascii?q?I97v8NmJ09/Ntfq7XmbkU5BPcS7n1quLr22m+WpwBhujmLa4k5mvHw8g1Cb9/9?= =?us-ascii?q?BhUGPPthm4KofszaG7Ksprf1FtDUO69sx7Ao44k5d0zJ8I8XMBwJ6Q4DwKnXq3?= =?us-ascii?q?edpG3bq7ZX4JbS8Cw9nS7xLixVV4aHmOwsaxWW+c6spnad6gZ2oK2yF78sZLTb?= =?us-ascii?q?2T96BDligzrlf85QLWZb18mDka4f8v82IBxfoOpRAmwyuaGL8fW09VIWiklhqJ?= =?us-ascii?q?9/i/oqRPImG1N7GskAJ/mNysBZmJpgBEHnr4c9EsHGlt9sA5PUmImHz15pzvZN?= =?us-ascii?q?jOYPoXtwaIiBraka5ILph3nfNOzSthNX/2oXw7xqshgAVz0IqmlIyGMHl28bin?= =?us-ascii?q?RANePHv+bodb+TCojKBQttuQ3sWsGZ9lFzMZGpflCbqrChoRr7LgLQnKWD4mrn?= =?us-ascii?q?6RX7PTGA6ZwEhjpnPLVZusMjXfIHcS1pBjQgWQPkFEnCgYVy58k5J/Hwvs2c+l?= =?us-ascii?q?OEN47Ss5/FPjpxJWweIuPRT7ViLbrQ2zLDwzTdzXKBtQ4whYz0zOd9eC5+R9GD?= =?us-ascii?q?tUuJCtsUjFLmuUZg9gBnpPQVCNAV7kJLXo6NXdt6CcAeW/JNPLaKmO7/FYVrKC?= =?us-ascii?q?wpSplIdru36IMcqONTxmDuYn8kpOWWt4HcfY3TsOD2QSnj/BYouGvxqm4QV8tY?= =?us-ascii?q?ai8engHg/j+M/HDrpAOM8q9ResnKKrMu+CjTw/NClSkJ4A2DnQzPxX2kcOiyQr?= =?us-ascii?q?aiKgC68ovjWLUb7diqZMSRMXdmc7MtVU7uc43xJREcXEi5Xz0vowiOEtFxJEU1?= =?us-ascii?q?LmssWoftARZWC6PxXKCQLDM7mJLDzjws/sJ7+hVrxdiqNdvFu5pXLTFEqmNzKF?= =?us-ascii?q?kCTvXB2HNvlBiiSSIBwYv5uyNl5qD3TkSNXpezWxLdF5hDkxh7A4mzeCLWoVNz?= =?us-ascii?q?VgcFllrafW6jlXxr1nAWtOq35sK+aslyea8q/UKdJeqeFsACl/i6dR6XAx1r9Y?= =?us-ascii?q?6TxfbP58kyzYtZtzpVC4n/OUyyZ2FhZD7n5RiYaOvE55fKHx85JFUG3Y8QhL5m?= =?us-ascii?q?zUQw8HotJjFtzkpK1a4snGlKX0Jy1F7srPu8AbAoycM8OMK2Y8Kl/0AzPOFyMe?= =?us-ascii?q?TDWwc3rSwwRGkf6b7HaV6503r5LhgoEmTr5ASEc4DO1cA09gWtsYL9M/RTIrib?= =?us-ascii?q?eBl8NN4XulsDHVRd5GpdbOUP6IDOqpIzOEy7RIel9A2rL3NYAaMMjy3Upld19x?= =?us-ascii?q?kazOGlHMRt1XvGtoZQpyp19CtDBlT2Io0kegZBms7XkfDtawnwUqkQZkf6Ik/z?= =?us-ascii?q?Kq5E04YhLRpSQrmUx0nNjgiz2Laxb1LbysRoxMFWz9vE13NYn0B05uaAn3mU1/?= =?us-ascii?q?KB/PXPRaiqYmeGx2zEfHpZJBF9ZQR6RFJgMN2vCaYbMh2hJVtmHv3lNO6+XtB5?= =?us-ascii?q?x4jxo2fNiwsm1B1gQlZdVzLLCUbLFVx1ZerqGU+DO1yeE8xkkXLAAE7CfaZCcH?= =?us-ascii?q?kEcTcKQ6Kjqh5aph5RHG0ydDdW8WRr8jivZr7V8mNv6eiSTn37dAbE29KqjXM6?= =?us-ascii?q?OUvHLRk9KgRlIrylgFjVcD+7962MRlfkaJEwgz3aOcDDwCNNGENBlYacwU+XTO?= =?us-ascii?q?OW6TqujX2rpwOJe0DPytSv3Is7wbxgq5BwszBMEU9MMFGZaE30fFa8D9I/pN1x?= =?us-ascii?q?YsoQDqP0mtAPpKeVSHnXNPvMy1yZZswYRHDjgcGm87Nj+4oKvU4kc1jfCGVcwq?= =?us-ascii?q?b20yU4IYPWlwX9e132ZGvlxJDTe9lP8fyU2B5iX4vT7NDDS6Y9cnLOadfVZxE9?= =?us-ascii?q?ys4h078rOqkhjM9YjELGz0Ms5tt5nJ5P9e74SJDOlJSJF2tELYkoMeQGzsWmWJ?= =?us-ascii?q?DN3xb5z3ZIgnKMTuDXmgW1m6ijQ6Z8PwJ8q2aLCJigj0AIJdtobd2yosZuGnET?= =?us-ascii?q?RLFBh9o+8E4q5UeAsEZpM7aFjluxltZOSEPA6E34D2EC6WIjxMQqwDlbzrNYwS?= =?us-ascii?q?9DIla6qB8FVlS5g7y+et9ktUH8MXiBbbzPaqIYRSTHqqQyAPS0D0vSM80lNZGK?= =?us-ascii?q?Mq2O5mm0HVt14ZOjCCMuFldT4c5oxuNRapOXxzT1EAaRqcgI7EuF7+2qBK9W4F?= =?us-ascii?q?x4wIj7Ed6j7mpp/Yey6hVOqgrpCH6yc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DnAwBG6J9bh5OPo5RRCg4PAQEiAQYBg?= =?us-ascii?q?xEFgQ9wBAsoCoNog0cDhSqLTJhYFIFnChgNB4FLIYZIGQcBBDAYAQMBAQIBAQE?= =?us-ascii?q?BARMBAQEKCwkIKSMMgjUMgnkBBQEQCwYdAQEmBQIDCDQCJgICPQoVAhIIDQEMg?= =?us-ascii?q?jRLAYIBD5prAi6JVwEBAW2BLoJ1AQEFgQQBg3sHIIFcAwWBC4cegkQXggCBEka?= =?us-ascii?q?BKnKBcYFBGQQYgRQBBwQEAwEDgx0xgiaIJxKTSkMJhj2DA4Zsjw2LXYhLAgQCB?= =?us-ascii?q?AUCDQEBBYFCeSNxci2DDYYBaoQqhQQENQFvehyJaw8XgQgBgR0BAQ?= X-IPAS-Result: =?us-ascii?q?A0DnAwBG6J9bh5OPo5RRCg4PAQEiAQYBgxEFgQ9wBAsoCoN?= =?us-ascii?q?og0cDhSqLTJhYFIFnChgNB4FLIYZIGQcBBDAYAQMBAQIBAQEBARMBAQEKCwkIK?= =?us-ascii?q?SMMgjUMgnkBBQEQCwYdAQEmBQIDCDQCJgICPQoVAhIIDQEMgjRLAYIBD5prAi6?= =?us-ascii?q?JVwEBAW2BLoJ1AQEFgQQBg3sHIIFcAwWBC4cegkQXggCBEkaBKnKBcYFBGQQYg?= =?us-ascii?q?RQBBwQEAwEDgx0xgiaIJxKTSkMJhj2DA4Zsjw2LXYhLAgQCBAUCDQEBBYFCeSN?= =?us-ascii?q?xci2DDYYBaoQqhQQENQFvehyJaw8XgQgBgR0BAQ?= X-IronPort-AV: E=Sophos;i="5.53,386,1531778400"; d="scan'208";a="346738516" Received: from mx0b-00246402.pphosted.com ([148.163.143.147]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Sep 2018 19:51:30 +0200 Received: from pps.filterd (m0136270.ppops.net [127.0.0.1]) by mx0a-00246402.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w8HHbrxY005393; Mon, 17 Sep 2018 12:41:20 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unomaha.edu; h=subject : from : to : content-type : content-transfer-encoding : mime-version : date : message-id; s=pppod; bh=78+JZ7+yLlfQ+lYPj0K6OnL1lPiVVuVImD4HDx9vi9k=; b=ce05LPAdrvAfZe27FPQ9Diu6GHtmi9PshIHyVr6xEp5yhpZFn0RuU6cpWc/t0mCTqqAh INcDPzg88sbv6itxnyn5ntiI43T8huRDptEC5V68Xq6xDZt2kAzPei8Etkibyl/3srIf gnUhGWLxZCi4Rlp2BbuEMAfQmqYVLdWmzFVIkXiFHi0ZmDqNq6ZdwFBfHlPH/aht+RKn ug3rC+Fi8vGT6rooKLB0tuaVH/he9/il7d9Pzji2rbEknnwos5wNk8TFZZoPr4BnPGfl I2TR94HNQ8m0kuxMLPOJtBTqWRSIMJUmoNU2YNy3wm7DatbzkV9E7tJlZBUryU9G0HOx VQ== Received: from nam04-sn1-obe.outbound.protection.outlook.com (mail-sn1nam04lp0085.outbound.protection.outlook.com [216.32.180.85]) by mx0a-00246402.pphosted.com with ESMTP id 2mjfvwr7xu-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT); Mon, 17 Sep 2018 12:41:19 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unomaha.edu; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=78+JZ7+yLlfQ+lYPj0K6OnL1lPiVVuVImD4HDx9vi9k=; b=HJ9EC2OQsyhYBLh103nm5KvyIEzBRJB3oZ3t0i4HE99+etkuzzqfBUmvF6mjpPENuRsZxr8KJ78P1ERGGoAWiYgaDOtawwIUuziH9e09IxJCVpjGf0dl9P0bkBI243p+7ILBCmI6Qj1rKPYC+wTTl+vzfnLP6pcQ4rqQ40Ng+zg= Received: from Pascal.local (137.48.255.12) by BYAPR07MB5430.namprd07.prod.outlook.com (2603:10b6:a03:15::25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1122.18; Mon, 17 Sep 2018 17:41:00 +0000 From: ggelfond@unomaha.edu To: agents@cs.umbc.edu, algprog@comlab.ox.ac.uk, all@xsb.com, arw-committee@csc.liv.ac.uk, babel-group@babel.ls.fi.upm.es, cade@itu.dk, calendar@computer.org, caml-list@inria.fr, church-announce@cs.bu.edu, church-announce@types.bu.edu, cipher-cfp@ieee-security.org, clean-list@science.ru.nl, cogsci@cs.tcd.ie, colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk, comm-theory@ieee.org, comp-lang-ml@moderators.isc.org, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, concurrency@cwi.nl, conferences@computer.org, cphc-conf@jiscmail.ac.uk, cs@ics.forth.gr, distributed-ai@jiscmail.ac.uk, dl@dl.kr.org, dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov, fmics@inrialpes.fr, formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca, forman@acm.org, formis@dipmat.unipg.it, fp@cs.cmu.edu, gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de, hol-info@lists.sourceforge.net, ifip@ifip.or.at, imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca, inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de, kr@kr.org, krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@cs.stanford.edu, logic@math.uni-bonn.de, logic-list@helsinki.fi, maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at, om-announce@openmath.org, ontology@buffalo.edu, planetkr@kr.org, prog-lang@diku.dk, project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca, semanticweb@yahoogroups.com, sicstus-users@sics.se, sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at, tag@cs.utexas.edu, theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, users@mozart-oz.org, users-prolog@gnu.org, vki-list@dfki.de, webmaster@aisb.org.uk, webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Date: Mon, 17 Sep 2018 17:41:00 +0000 X-Originating-IP: [137.48.255.12] X-ClientProxiedBy: SN1PR12CA0114.namprd12.prod.outlook.com (2603:10b6:802:21::49) To BYAPR07MB5430.namprd07.prod.outlook.com (2603:10b6:a03:15::25) Message-ID: X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 28f3b5be-18ba-4d09-a1dc-08d61cc4bf01 X-Microsoft-Antispam: BCL:0;PCL:0;RULEID:(7020095)(4652040)(8989137)(4534165)(4627221)(201703031133081)(201702281549075)(8990107)(5600074)(711020)(2017052603328)(7153060)(7193020);SRVR:BYAPR07MB5430; X-Microsoft-Exchange-Diagnostics: 1;BYAPR07MB5430;3:eXBGKfyw5+/iJPo1hVwK8GK7vIeaeImyHIc6ges0JUA/GslnDOqu3t/NoaiUMnaonLzkTK+rlEtrRhfTobhM8WdhY+Wz71eILiQ7VyOZWOXNdiuAdOyXrIJBQr+hnAgOjG1wp6ks08FgsW9eWwMSgrL1IWix6V81aeUtbD+vYsYx6CCWTJC5J+gOTaMQzLeGIuRpGOZMHx0+jOP0gt0td0y5MYOlcLXAZT4YoQskDuXgPXf10458YLL2M+Rgzl6R;25:Zy/2LU7F3JfymV6x2QaYJRaRWlhXmi/zz1vOhvAWdpbYq2NVzCaBCP0BdPYcTT06akyDyLvvjyrPY90HACX4poWM8N8RvwM2VREZaoxZig3uVeoPcajts63Sv8jlLYWG7UCH/KltEmi6vmuieAooWXGqpoqI7RUKujhWZDYr28p5HF4vjOFUwRTBkZYZQU2DZvst2NH55AYdDHzTklFdhVmP/BOi/noaZ4Gh2Qcn/6pfV8WC9Z5ky/GT7W6P48jQzharhv7OC3CKJWL4UlHy4fqkkE5gZZy7zccpZDViKtPnwCXBCBVx5JMgwKvIohorq/BoClmNkAUIDVXdmjw6FQ==;31:6WM2OOpQUpmwFZLllJEOGNxb6jt0gxuzRHY//ElkTMJE7NWE261GmaUoafN3F0lu6i6iTAgMtDtYhQG2IxwWvLknQXabG+zfGt8S9DFC22z61pjWZkmjKvzbso6hKCzN27xwxtVz1GSHCvTnr3aUOlERN3R5oMI/K108ROa+e7Zb+U07c9XftlIF9yVrpRE1icB3pwEhGBjri+M3DGUYoDmZVXNHYOTVo87Bp02gkpM= X-MS-TrafficTypeDiagnostic: BYAPR07MB5430: X-Microsoft-Exchange-Diagnostics: 1;BYAPR07MB5430;20:zWtpHOvwvgE1jq83uXZ0LDBWA4WZYTNCp8HfMuCpiFQAGRfkd2jwjJYsrPuVj8XAU0A6+zP91qIYxsW7E08jYsARCxp7NZwyZJV26KE+650CvwHUR12VSpEdi941z3YOZBCbl/p3ThTr7Y/7atZbua/53fQ1kCACgLqj/sTRO8KHr/jEPu9BoTakgd9L8U1gqNp0mj0sy9+xT4MGarfeeW+dZok5avxKVPfkoJSZaHCWMybx0ihDnUAfClbyD7OakAvA4sXz+nWAux0UnE+nsg2hrbrt7O+gWhcNUNWhSiBmpcwZBc9pyrypM1iLevyVTjMwOwF/g6WMm+py+cF0AUAgr5L1JGdjDkpfiIAiA17pc1IeW3wP7z4fYTqhTdCrVTTOeIPkWAVqzrbEqoXdPkFclVy97ZCjVRG4OOaahAz9WKXjt7/Ch/mD5wJSj+BMKx8KakPFNushJYVDpjlGktgbWAYTHYIccjfAt6d9p0a44jBu23FtB2HnU/ivonb1;4:hS3c9g92h0E5VUrd/1acxKlj/QTPUllkmQsYV6eFKcrkSt+MxunQKAyQSO+e3aZ3w6rtgoO7GqowUY4Vqmw+ETSBv/yOrdAsENLlyM8FMrmxsuZmMATNxm235qsqoZs3ZrReQ5FSTIIF0sCmXH8zuxJzV6yy4KKYWzua6/JBlUW+Cl0IEF04uG64m80xEXe8UtP0V0xgjERkIxECZ3SEdyynEJrsRNjYV11svSyKipieFrwko7Cj1oUUB5fIf4teoeDMRKzavmDFr/XWcE9DVjvMPmnKaqyhI8SJ8wzvVe2HqmxIhzjYxI1BLpyFg3svlyRGmQR5LA5h31D3nfWwm3WpRwKctv3Uwsk1D13Xr10DoyhiWz0sCtFgo8XTPxmik+xWXbkbjn4k1m1vcZu4K70GKp6tpr2xmHAxDVBVxtY= X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(135901495187858)(278428928389397)(41656084186505)(231250463719595); X-MS-Exchange-SenderADCheck: 1 X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(8211001083)(6040522)(2401047)(8121501046)(5005006)(3002001)(10201501046)(93006095)(93001095)(3231355)(944501410)(52105095)(149027)(150027)(6041310)(20161123562045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123560045)(20161123558120)(20161123564045)(201708071742011)(7699050);SRVR:BYAPR07MB5430;BCL:0;PCL:0;RULEID:;SRVR:BYAPR07MB5430; X-Forefront-PRVS: 0798146F16 X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10009020)(346002)(376002)(366004)(136003)(396003)(39860400002)(252514010)(189003)(199004)(47776003)(25786009)(39060400002)(105586002)(106356001)(66066001)(478600001)(6506007)(6116002)(3846002)(26005)(75432002)(33656002)(186003)(57250400003)(88552002)(2906002)(386003)(97736004)(16526019)(68736007)(86362001)(7736002)(305945005)(33896004)(5660300001)(486006)(50466002)(316002)(786003)(966005)(7336002)(7406005)(7366002)(7416002)(74316002)(217873002)(476003)(1191002)(53936002)(6512007)(8936002)(9686003)(956004)(23676004)(2486003)(52116002)(6306002)(85782001)(8746002)(14444005)(2171002)(1250700005)(81156014)(81166006)(8676002)(6486002)(225293001)(921003)(1121003)(2292003)(85772001);DIR:OUT;SFP:1101;SCL:1;SRVR:BYAPR07MB5430;H:Pascal.local;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCWUFQUjA3TUI1NDMwOzIzOlZrbytGUy9jU3ZnVENGTlJZeVVtM3V5dHF3?= =?utf-8?B?Y0ZnMW5xbGI1bEYrSy9SU2h0L3l5cEduNElicTg3RVY5YW00RU9wamQvQmVp?= =?utf-8?B?dVFYZlhxZUJSLzZsa1BWQTlLaTBEc2VDOXRvS3Q4ZW9Jc3hNTFNqcnpVOXNH?= =?utf-8?B?VDR6b1NvMlZtQTVFaHdNSEFRVWgyL2FnWTlOU3g0QVAzY3A5WG1CNEJ6cjlu?= =?utf-8?B?cFFOU0NnazFsN2lDeFVxLytXVVd1OEVsUExiWnZmT1R2eVk1SE93Q1FSdUZl?= =?utf-8?B?Rmx5ejFmZElGU3BMT3FwR3dpQ3cvMGU1VzhjTlEreVg2ZGx1RVl4QVRLZUtQ?= =?utf-8?B?YkZaQnBZK1JLdnRrMUNrTWh0ZXZuUjF4WFJxYi9OeGlPRERJVWdNV0NmRk5S?= =?utf-8?B?K3JwbnhjT3dHT0VOYzJJV0lPSE54bStPbFByYlg0UmxObk9xQ2FuQ3BQd2Z3?= =?utf-8?B?di9FV2RGWmZzK0xlSERJZG9UTkJsRVZaVXU0cm9ta3pLZ2FKbUFKR2ZHcWdy?= =?utf-8?B?QWRZYkY3UGhwWFFsa2ZkVlhCWmxXTG5VZDR1Sk9rYm44UHdubys3KzhOK2p0?= =?utf-8?B?cXVISmJCVnU4VVd3cTBFV0Z4RXJHTVozbFRuYVlkWnJwTFA0WnRkQUhTMjA3?= =?utf-8?B?b09ZTkFoaHkraTEzdHFnRHJQamRHQm51T2VodlVvemp5a1BPMTlHbnNqZ0hk?= =?utf-8?B?Z0N5TUlJeGU3MGtHRngrUU5mN0ZIRzdaM1dVRUVyN2FUQ0VWNVpqckZkSWI5?= =?utf-8?B?bWpLQStXQytlaG1OME5OcGtXYWxnWDY1NTkrOEh4UUhtb2JRWCt6MXlMazF6?= =?utf-8?B?bktuUzltREpXZjBqL3ozZ016QzdkZ1M2ejU4RHB3OXVSZVN6S29UTDBDRmJ5?= =?utf-8?B?R3FTUDZzL2UrRTlTTXR1MTQwZDRMZHpxUmFBQkdEOU9tMjYyR05vR3FYZXAx?= =?utf-8?B?azluYmd2ZDhGQmRTM1V6YjZCcUV4UnFuN3JDVW54bWd3eWh5QTAyanJ5bE9C?= =?utf-8?B?Vm9jcytEREh6Kzlmbmo3UWZOeE8yUFRLWWtkd3JLeWVqcmhwODJYb0ZZRXVN?= =?utf-8?B?NmRCZkVzMXk4QWNTbWk3NjhZWHRiSzdGdVBySmwrZXAyMnhpdFFQQ3llL3Nl?= =?utf-8?B?SG1RZlk3T0ZuckRvWktSam9YNjJvUTlhdHMvS1RRZUlDbXJpeDZZUjNnQzUy?= =?utf-8?B?bXppOEJQUThyUGdCOVFWVjk2Ym4yMzYvSEtmemYrOXBPaGVqOXlNZ050N3lp?= =?utf-8?B?YXQ0MWptVG1xTitWTFQ5aGlKMEZRWExMMWIzUGxsc2VWaWRSN211bTVWUXd3?= =?utf-8?B?S0JHWXhMSnk1dXVWSVhOWUw3Yi9YWURQbnRtTjNGcCtHdlVTUVg4VE9nUVNt?= =?utf-8?B?TTM0akszbG5lOXpBYy95bTlPekREOXhKc1FVZjRDN0hiMklLU3l1L3JQcEQw?= =?utf-8?B?VE5XRTl5OVMvSUdvMTg2MjhVclNzNVk3aXZSZzJrb21ySTlVZXpGVHJ1U2No?= =?utf-8?B?NlpGajRNZTRvMVNUeUZQVzJ4dktWbVVvWmNHOFVSZnprV05mc00rRmhsY21F?= =?utf-8?B?blFRNEJnbDVQYVRhSDZKTllGWk51UjQwSE5ZTVdiMWIwazAvaXF1R0tFemp0?= =?utf-8?B?TXY4bTBoYkNGV3RpaTBreDdEMlJVYTV5OEhFWVV6SjlBTkdjOGpRcjZvbm9V?= =?utf-8?B?VzVxcFRTcmNsbzk5Q1BBSjZjTWZOQ1Z0OW8rcmo1M0dIYU5UWHUxb2k2NWpT?= =?utf-8?B?cno3ZEswTExqcGlFYjQwQ2U1L21wSHZKTXlZdEJDUjI3UlErcW5iTXVFUWF3?= =?utf-8?B?eERpaHVzT2k3VlU0MEQ2KzNtNFZoNUpBblc0WUQ2alVxVE9YUFdhMnRsZTZE?= =?utf-8?B?MVVVL1gwNUlrOG5ZaXc3Y3JqYVlaSVp6M2Z0ZWlOcXAyNnl1OXE1TTZOVGZV?= =?utf-8?B?a29KMmZCQmsreDBnUWxyTWE0cGN1ZkdjQ3d1TDVCT2l6aHVrQzZYNC9EckpL?= =?utf-8?B?VGNIS2JmRXFFVno0OHJTa2N2cWRsN0NCUHRMRmdUUzJwbmk1UmQzaStGSGRs?= =?utf-8?B?S2ZyTWJxZm5zaUFKSVFNanloei9ZcksvdWdQSGpHWFp4T2sxZ2dpZUUySDRP?= =?utf-8?B?a2c9PQ==?= X-Microsoft-Antispam-Message-Info: +QbrmKDcA78+Ijl365Jxxguyf4ni2tEPD+7G6feFjTeLy8OxTbk3B3sAegBNhvOhCA6GIkIcuAXfxQR5pdGNgTsUyLGUjE7VU840LlbA3cTsdsntXA0qJs1G7Zi1B6pWRE6Vondlwa14wjRexNc3yJJnLuE9b+9Blfg0EPeNJ11dMU2eeGcqoWNBjJRqZAwiXXy8QdNrgFHAvb4n87945uRjGjefTOrjtCahDR5+7FgtkDB581TnzG907/FKDx88hIyUK8BCd8SNdumsLDViC0Ry7CldnwTOIhbm+3QiF+djOmWRN1KRmAyausgFqOBMZJqsiT8lw72pCPLOo9+41E0p8s30aPzv+sb+0AfShqA= X-Microsoft-Exchange-Diagnostics: 1;BYAPR07MB5430;6:UQCfp4CX4dGw1Y0GBCGGPVsWsadMP77Gsgo3vbWkfxt2igHHER4XZ9t/VybEd03n32VmGgn0iutg75ysTLUQBQfFRtg0TVz6Hamh8n+xE6S7N12gHd7IQbSlllD7+sL0zpshOehkJMrgayAY/pPAC4gyd14XK2RPRa1HHBT/hVwbl6s+f8yH0ky65uOIo/U9gdbuDbPXUyF52Toc3n06FyF5CgrZbe8mlgie/JJG37OTV7spO++1cWqi3oIThE6/13iQaJhnd9MFwTPKN49UpYxsMq1ZiZjm/wphSDehFm57qqKq2GWUy3CzpvMl2OKs/P35sT3AjuTLkaIiNU3GSuJa7hghr2Bf/zVB4kiUXZnXmvBkaihY5ANPiDCucmH6uzD+8Tp2t0BVKTrQWhruFTbZD7AjPJxHBt11VEr8TrThvlrEa/+AE4nKbHvzwnn/2Q/LasjhH/rI0Ze29TNFFA==;5:CEVk5oX+bXKRPqXyLAjB2R01U1HHNkg8e2QzR7Wnmv4bTQs++3+AykjiClJQoCSianhpskFkdpL9dY07qbGKtIBqf2DaLqXjVvI+tl/Ap8RmPL+0V7Urk3fYnPJpGTvMPuTELJvjqmOW139VDlSeLO4xVPcvF8b6FFOcN7qK4tY=;7:xUwyKO+0WsqYTqWOKJF7t81yBnqWCDbTP/A0K7yHl5SWCJ90FIEgqViSL0BXt22QTN+VeGFS5gIm4dTGVU+9mDrNTLK9tg/C+eAAvkPoIPv5FZm0qigCJfdJLJvLssGtm64b6zM2u9HySBodBrYlqbGsQwdhBLbuemM+fDNYGapeotYus+g+8LdxBzgVY4iR5+c+IrrpVcCwTSmmmCQQt/ZtNmryOk2k9F+w5oQooXbtoc0ujHYr6dRvwnKtz9eI SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-OriginatorOrg: unomaha.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Sep 2018 17:41:00.2913 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 28f3b5be-18ba-4d09-a1dc-08d61cc4bf01 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: f1f4be86-d048-47e8-aa26-15b01dcdb13d X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR07MB5430 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=1 phishscore=0 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1807170000 definitions=main-1809170174 X-Validation-by: ggelfond@unomaha.edu Subject: [Caml-list] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED Reply-To: ggelfond@unomaha.edu X-Loop: caml-list@inria.fr X-Sequence: 17070 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: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appe= ar essential in enabling these emerging applications to=EF=BF=BDprovide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conf= erence-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=3Dlpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary materi= al). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS To be announced DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019@easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universit=C3=A4t Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universit=C3=A4t Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Polit=C3=A9cnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Sch=C3=BCller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universit=C3=A4t Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of S=C3=A3o Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=