From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 891067FC41 for ; Tue, 29 Sep 2015 05:12:18 +0200 (CEST) IronPort-PHdr: 9a23:CmmmTh15XEoYCouOsmDT+DRfVm0co7zxezQtwd8Zse4WIvad9pjvdHbS+e9qxAeQG96Lt7QZ1aGI7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6OyZnpnL7ss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Loc8dVdW/D6Y7ggH/sfCDU9L3tz/MzgvAWGSQKJ6T0bSGpRlxNJBw3M6lb9RovwtS3h8e561yiReNXsSr8uUDGn7qFkGyLukzoNYjsw8WXLjZ50i61aq1e5vRtw2YfRZYCTO79kc7rAcMgGbW5ARdpKETRACYqgKo8GCeVHOvxX+JLgrVkDpgfrGA+3Gen0wSVJjHKl4apv1+MuEAqDxBYnEMgHtXHVqtrdMKYJTfvz1KjDxCmGa/pQ1nH68oebXAompKShW6hxes2Z8U4pCw7BilTY/YH9ODWJ2+AJm2OAqexlTv/phmI6/VIi6gOzz9sh39GazrkezUrJoH10 Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=logic-programming-bounces@lists.picat-lang.org; spf=None smtp.mailfrom=logic-programming-bounces@lists.picat-lang.org; spf=None smtp.helo=postmaster@mailman01.siteprotect.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=pra; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=mailfrom; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailman01.siteprotect.com) identity=helo; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="postmaster@mailman01.siteprotect.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C0AABkAApWnO9+KUBegniBAGm9QwENgXEKhheBLjgUAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIJAQUBAQ8REQwBBQMHGAUBDAIBAgECBgIFHwIeAQMEAgICAQEjAQwBBQEMKQUEGYd3AxIBBAipEYEwPjGLR4RlilUNR4RCAQEIAQEBAQEBARUBBQ6BFIVRgg+HGA4DAQIGgn4MLxIdgRQFjH91h36FFYUXhHqGYIsFCoVxNYE2AQGDBYFdUgGHVwgXgSgBAQE X-IPAS-Result: A0C0AABkAApWnO9+KUBegniBAGm9QwENgXEKhheBLjgUAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIJAQUBAQ8REQwBBQMHGAUBDAIBAgECBgIFHwIeAQMEAgICAQEjAQwBBQEMKQUEGYd3AxIBBAipEYEwPjGLR4RlilUNR4RCAQEIAQEBAQEBARUBBQ6BFIVRgg+HGA4DAQIGgn4MLxIdgRQFjH91h36FFYUXhHqGYIsFCoVxNYE2AQGDBYFdUgGHVwgXgSgBAQE X-IronPort-AV: E=Sophos;i="5.17,605,1437429600"; d="scan'208";a="179853404" Received: from mailman01.siteprotect.com ([64.41.126.239]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Sep 2015 05:12:17 +0200 Received: from mailman01.siteprotect.com (localhost.localdomain [127.0.0.1]) by mailman01.siteprotect.com (Postfix) with ESMTP id 59B6F2708088; Mon, 28 Sep 2015 22:11:35 -0500 (CDT) X-Original-To: logic-programming@lists.picat-lang.org Delivered-To: logic-programming@lists.picat-lang.org Received: from mail-io0-f179.google.com (mail-io0-f179.google.com [209.85.223.179]) by mailman01.siteprotect.com (Postfix) with ESMTP id 2DCE72708097 for ; Tue, 22 Sep 2015 21:52:04 -0500 (CDT) Received: by ioiz6 with SMTP id z6so32714828ioi.2 for ; Tue, 22 Sep 2015 19:52:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:content-type:content-transfer-encoding:subject :message-id:date:to:mime-version; bh=Y/yOoDP7aJ3OanxcZ1cCUoLjchsHKNgCu2D54FE3b6M=; b=YuHF5wL4pOKZqvIfT0d4lSJxrhF/9tqHxf8y3VUaMogTEY2AkUizxUEdTsPwg5057m V3Pbc0hdLmiioUNngwKVp4nGrlpOFFiagoonpwJPfx+dsOGFFGZzZjj4bs/2hHmhy1mX m/NmOMaZkSrHvLIbXqoltcEslJX+BY7qsD47hF5ax7dJylxSqy0ngtjNQoUH6GUwuAkF vXfA+FGKiU8knyM7uLW3mWZ1lzqHr7DEhhIIHelVAlhDpLfkaIpFu9B47WJi88N3tDiJ dbUNXBB7pfLGIjuNOQfip2AAKEMtltt1Y1mo0Y4CtgNvdOGIG1ZWq2YB0WvtBa+kJpKg eLqQ== X-Received: by 10.107.37.132 with SMTP id l126mr34905390iol.92.1442976723854; Tue, 22 Sep 2015 19:52:03 -0700 (PDT) Received: from ?IPv6:2601::482:b8e0:d91:7241:64fd:6227? ([2601:0:482:b8e0:d91:7241:64fd:6227]) by smtp.gmail.com with ESMTPSA id pi6sm2424191igb.21.2015.09.22.19.52.02 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 22 Sep 2015 19:52:02 -0700 (PDT) From: Enrico Pontelli Message-Id: <03BA34CB-56E9-48CA-AF52-0B818C6C420F@cs.nmsu.edu> Date: Tue, 22 Sep 2015 20:52:02 -0600 To: logic-programming@lists.picat-lang.org Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) X-Mailer: Apple Mail (2.2104) X-Mailman-Approved-At: Mon, 28 Sep 2015 22:11:34 -0500 X-BeenThere: logic-programming@lists.picat-lang.org X-Mailman-Version: 2.1.18-1 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: logic-programming-bounces@lists.picat-lang.org Sender: "logic-programming" X-Validation-by: epontell@cs.nmsu.edu Subject: [Caml-list] [logic-programming] CFP: First AAAI International Workshop on Artificial Intelligence for Smart Grids and Smart Buildings Rmlyc3QgSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBBcnRpZmljaWFsIElu dGVsbGlnZW5jZQoJZm9yIFNtYXJ0IEdyaWRzIGFuZCBTbWFydCBCdWlsZGlu Z3MKRmVicnVhcnkgMTIgb3IgMTMsIDIwMTYKUGhvZW5peCwgQXJpem9uYQpD by1Mb2NhdGVkIHdpdGggQUFBSS0yMDE2CgoKV09SS1NIT1AgREVTQ1JJUFRJ T04gClRoZSBwcm9saWZlcmF0aW9uIG9mIGludGVsbGlnZW50IGRldmljZXMg YW5kIHRoZSBhdmFpbGFiaWxpdHkgb2YgZWxlY3RyaWMgbW9uaXRvcmluZyBm YWNpbGl0aWVzLCBicm9hZGJhbmQgY29tbXVuaWNhdGlvbiBuZXR3b3Jrcywg Y29tcHV0YXRpb25hbCBpbnRlbGxpZ2VuY2UsIGFuZCBjdXN0b21lci1kcml2 ZW4gZWxlY3RyaWNpdHkgc3RvcmFnZSBhbmQgZ2VuZXJhdGlvbiBjYXBhYmls aXRpZXMsIGhhdmUgcG9zZWQgdGhlIGZvdW5kYXRpb25zIGZvciB0aGUgbmV4 dCBnZW5lcmF0aW9uIHBvd2VyIGdyaWRzIGFuZCBidWlsZGluZ3M6IHNtYXJ0 IGdyaWRzIGFuZCBzbWFydCBidWlsZGluZ3MuCgpBSSBwbGF5cyBhIGtleSBy b2xlIGluIHNtYXJ0IGdyaWRzIGFuZCBpbiBzbWFydCBidWlsZGluZ3M7IHRo ZSBpbmZyYXN0cnVjdHVyZSBwcm92aWRlcyBpbmZvcm1hdGlvbiB0byBzdXBw b3J0IGF1dG9tYXRlZCBkZWNpc2lvbiBtYWtpbmcgb24gaG93IHRvIGF1dG9u b21vdXNseSBhZGFwdCBwcm9kdWN0aW9uIGFuZCBjb25zdW1wdGlvbiBvZiBl bmVyZ3ksIG9wdGltaXplIGNvc3RzLCB3YXN0ZSwgYW5kIGVudmlyb25tZW50 YWwgaW1wYWN0LCBhbmQgZW5zdXJlIHNhZmUsIHNlY3VyZSwgYW5kIGVmZmlj aWVudCBvcGVyYXRpb24uIFRoZSBnb2FsIG9mIHRoaXMgd29ya3Nob3AgaXMg dG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgZnJvbSBkaXZlcnNlIGFy ZWFzIG9mIEFJIHRvIGV4cGxvcmUgYm90aCBlc3RhYmxpc2hlZCBhbmQgbm92 ZWwgYXBwbGljYXRpb25zIG9mIEFJIHRlY2huaXF1ZXMgdG8gYWRkcmVzcyB0 aGUgZGVzaWduLCBpbXBsZW1lbnRhdGlvbiwgYW5kIGRlcGxveW1lbnQgb2Yg c21hcnQgZ3JpZHMgYW5kIHNtYXJ0IGJ1aWxkaW5ncy4gIAoKClRPUElDUwri gKIgIE11bHRpLWFnZW50IHN5c3RlbXMgaW4gc21hcnQgZ3JpZHMgYW5kIHNt YXJ0IGJ1aWxkaW5ncwrigKIgIE9wdGltaXphdGlvbiBtZXRob2RzIGZvciBz bWFydCBncmlkcyBhbmQgc21hcnQgYnVpbGRpbmdzCuKAoiAgTWFjaGluZSBs ZWFybmluZyBtZWNoYW5pc21zIGZvciBzbWFydCBncmlkcyBhbmQgc21hcnQg YnVpbGRpbmdzCuKAoiAgS25vd2xlZGdlLWJhc2VkIG1ldGhvZHMgaW4gZGVz aWduIG9mIHNtYXJ0IGdyaWRzIGFuZCBzbWFydCBidWlsZGluZ3MK4oCiICBD b29yZGluYXRpb24gb2YgaW50ZWxsaWdlbnQgYWdlbnRzIGluIHNtYXJ0IGdy aWRzIGFuZCBzbWFyTm90IGJ1aWxkaW5ncwrigKIgIEh1bWFuLWNvbXB1dGVy IGludGVyYWN0aW9ucyB3aXRoaW4gc21hcnQgZ3JpZHMgYW5kIHNtYXJ0IGJ1 aWxkaW5ncwrigKIgIE5lZ290aWF0aW9uIGFuZCB0cmFkaW5nIHN0cmF0ZWdp ZXMgaW4gZW5lcmd5IG1hcmtldHMgCuKAoiAgU2ltdWxhdGlvbnMgb2YgZW5l cmd5IG1hcmtldHMsIHNtYXJ0IGdyaWRzLCBhbmQgc21hcnQgYnVpbGRpbmdz CgoKV09SS1NIT1AgRk9STUFUClRoZSB3b3Jrc2hvcCB3aWxsIGluY2x1ZGUg dGhyZWUgY29tcG9uZW50czogYW4gaW52aXRlZCBrZXlub3RlIHNwZWFrZXI7 IGEgY29sbGVjdGlvbiBvZiBwcmVzZW50YXRpb25zIHNlbGVjdGVkIGZyb20g cGVlci1yZXZpZXdlZCBzdWJtaXNzaW9uczsgYW5kIGEgY2xvc2luZyBwYW5l bCB0byBkaXNjdXNzIGZ1dHVyZSBkaXJlY3Rpb25zIG9mIHJlc2VhcmNoIGlu IHRoaXMgZmllbGQuCgoKU1VCTUlTU0lPTlMKUGFydGljaXBhbnRzIHNob3Vs ZCBzdWJtaXQgYSBwYXBlciAobWF4aW11bSA2IHBhZ2VzICsgMSBwYWdlIG9m IHJlZmVyZW5jZXMpLCBkZXNjcmliaW5nIHRoZWlyIHdvcmsgb24gb25lIG9y IG1vcmUgb2YgdGhlIHRvcGljcyByZWxldmFudCB0byB0aGUgd29ya3Nob3As IHVzaW5nIHRoZSBBQUFJIHN0eWxlIGZpbGVzLiBBY2NlcHRlZCBwYXBlcnMg d2lsbCBiZSBwcmVzZW50ZWQgZHVyaW5nIHRoZSB3b3Jrc2hvcCBhbmQgd2ls bCBiZSBwdWJsaXNoZWQgYXMgQUFBSSB0ZWNobmljYWwgcmVwb3J0cywgd2hp Y2ggd2lsbCBiZSBtYWRlIGZyZWVseSBhdmFpbGFibGUgaW4gQUFBSSdzIGRp Z2l0YWwgbGlicmFyeS4gIAoKQWxsIHN1Ym1pc3Npb25zIGFyZSBjb25kdWN0 ZWQgdmlhIEVhc3lDaGFpcjogaHR0cDovL3d3dy5lYXN5Y2hhaXIub3JnL2Nv bmZlcmVuY2VzLz9jb25mPWFpc2dzYjIwMTYuIFN1Ym1pc3Npb25zIHNob3Vs ZCBpbmNsdWRlIHRoZSBuYW1lKHMpLCBhZmZpbGlhdGlvbnMsIGFuZCBlbWFp bCBhZGRyZXNzZXMgb2YgYWxsIGF1dGhvcnMuIAoKCklNUE9SVEFOVCBEQVRF UwoqIE9jdG9iZXIgMjNyZDogU3VibWlzc2lvbiBEZWFkbGluZQoqIE5vdmVt YmVyIDIzcmQ6IEFjY2VwdGFuY2UgTm90aWZpY2F0aW9uCiogRGVjZW1iZXIg N3RoOiBDYW1lcmEtUmVhZHkgRGVhZGxpbmUKKiBGZWJydWFyeSAxMnRoIG9y IDEzdGg6IFdvcmtzaG9wCgoKT1JHQU5JWkFUSU9OCkVucmljbyBQb250ZWxs aSAoQ2hhaXIpLCBOZXcgTWV4aWNvIFN0YXRlIFVuaXZlcnNpdHksIGVwb250 ZWxsQGNzLm5tc3UuZWR1CkFsZXggUm9nZXJzLCBVbml2ZXJzaXR5IG9mIFNv dXRoYW1wdG9uLCBhY3JAZWNzLnNvdG9uLmFjLnVrClN5bHZpZSBUaGllYmF1 eCwgQXVzdHJhbGlhbiBOYXRpb25hbCBVbml2ZXJzaXR5IGFuZCBOSUNUQSwg c3lsdmllLnRoaWViYXV4QG5pY3RhLmNvbS5hdQpTb24gQ2FvIFRyYW4sIE5l dyBNZXhpY28gU3RhdGUgVW5pdmVyc2l0eSwgdHNvbkBjcy5ubXN1LmVkdQoK UFJPR1JBTSBDT01NSVRURUUKTWFyaW8gQmVyZ2VzLCBDYXJuZWdpZSBNZWxs b24gVW5pdmVyc2l0eSAoVVNBKQpBcmNoaWUgQ2hhcG1hbiwgVW5pdmVyc2l0 eSBvZiBTeWRuZXkgKEF1c3RyYWxpYSkKTWF0aGlqcyBkZSBXZWVyZHQsIERl bGZ0IFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neSAoVGhlIE5ldGhlcmxhbmRz KQpBbGVzc2FuZHJvIEZhcmluZWxsaSwgVW5pdmVyc2l0eSBvZiBWZXJvbmEg KEl0YWx5KQpNYXJpYSBGb3gsIEtpbmfigJlzIENvbGxlZ2UgTG9uZG9uIChV SykKQ2hyaXMgS2lla2ludHZlbGQsIFVuaXZlcnNpdHkgb2YgVGV4YXMgRWwg UGFzbyAoVVNBKQpBa3NoYXQgS3VtYXIsIFNpbmdhcG9yZSBNYW5hZ2VtZW50 IFVuaXZlcnNpdHkgKFNpbmdhcG9yZSkKQW1ub24gTWVpc2VscywgQmVuLUd1 cmlvbiBVbml2ZXJzaXR5IChJc3JhZWwpCkNoaWFyYSBQaWFjZW50aW5pLCBL aW5n4oCZcyBDb2xsZWdlIChVSykKU2FydmFwYWxpIFJhbWNodXJuLCBVbml2 ZXJzaXR5IG9mIFNvdXRoYW1wdG9uIChVSykKUGF1bCBTY290dCwgQXVzdHJh bGlhbiBOYXRpb25hbCBVbml2ZXJzaXR5IGFuZCBOSUNUQSAoQXVzdHJhbGlh KQpTdmVuIFNldWtlbiwgVW5pdmVyc2l0eSBvZiBadXJpY2ggKFN3aXR6ZXJs YW5kKQpQcmFkZWVwIFZhcmFrYW50aGFtLCBTaW5nYXBvcmUgTWFuYWdlbWVu dCBVbml2ZXJzaXR5IChTaW5nYXBvcmUpCk1lcml0eGVsbCBWaW55YWxzIFNh bGdhZG8sIENFQSAoRnJhbmNlKQpXaWxsaWFtIFllb2gsIE5ldyBNZXhpY28g U3RhdGUgVW5pdmVyc2l0eSAoVVNBKQoKCkNPTlRBQ1QKRS1tYWlsOiBhaXNn c2IyMDE2QGVhc3ljaGFpci5vcmcKVVJMOiB3d3cuY3Mubm1zdS5lZHUvYWlz Z3NiMTYKCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KbG9naWMtcHJvZ3JhbW1pbmcgbWFpbGluZyBsaXN0Cmxv Z2ljLXByb2dyYW1taW5nQGxpc3RzLnBpY2F0LWxhbmcub3JnCmh0dHA6Ly9s aXN0cy5waWNhdC1sYW5nLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xvZ2ljLXBy b2dyYW1taW5nCg==