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 836375D4 for ; Wed, 11 Jul 2018 21:36:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,339,1526335200"; d="scan'208";a="338481466" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jul 2018 23:36:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3C6BA824B8; Wed, 11 Jul 2018 23:36:04 +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 335A482416 for ; Wed, 11 Jul 2018 20:15:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=marcello.balduccini@gmail.com; spf=Pass smtp.mailfrom=marcello.balduccini@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f45.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Aq1JzTRO+ClbRcRvOv4ol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvT6rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRrAxWDSi9LxrSB7uiC?= =?us-ascii?q?cIKjU37njZgdF+jKJavh2howFwyJPQbIybKPZye6XQct0ARWpFQ81fSSpPDI2h?= =?us-ascii?q?ZIcLEuYNIeNUoo/grFUMsBS+HxGhCuPyxDJTmnP6wbE23/g9HQ3awAAtGc8Fvn?= =?us-ascii?q?TOrNXyMacfSe65wq7SwjXZc/xZxzP96IzPchs8vPyDR7ZwftfMyUYzCwzFj1OQ?= =?us-ascii?q?qY3rMziI0ekNtnKU7/B8Wu2xj24nrwZxriK0ycg2jonGm58VxUzY+iV4xoY1JM?= =?us-ascii?q?a1SEF+YdG+EZtQszuWOJdxQsMnWmxlvjsxxLMBuZ6+ZicKyZInygbca/ydbYSE?= =?us-ascii?q?/g/vWeWLLTd/nnJld6qzhxWo8US6ze38TMa03VBXpSRGitnBrm4B2wDX58SdSf?= =?us-ascii?q?Zw/l2t1SiS2w3Q8O1JLkA5mbLfJpMg2LI8iIQfvEbZEiL0hUn6lrKae0o69uWu?= =?us-ascii?q?9u/peK/ppoWGOI9xkgz+Mrohmsi4AekgNwgBRWmb+eCl2L3k/E31XKxGjvM5n6?= =?us-ascii?q?TZqpzaKsMbpqm2Aw9RzIkv8QqwDzCj0NgAnHkHKkxKeA6fgoT3J13DJOr0APS/?= =?us-ascii?q?jli2jjtn2vPLMqfuD5jNNnTDla3ufbd5605S0gozytVf6opRCr4bOvL8RlH+tN?= =?us-ascii?q?jcDh8+KQC72PzoCNFg2YMDRW2AHq6ZMKXTsVKT6eIvJvODZI4RuDrnN/cl4Pvu?= =?us-ascii?q?gWcjmVABZampwYcXaHegE/t6OUqZZH7sjs4FEWcLpQo+UPfniEaCUD5Wf3a9Rb?= =?us-ascii?q?gw5jA9CIK8DIfMXJqhgLKb3HTzMIdRYzUML1mWGnrsc4LMcf4IZD+ZKc5nk3ZM?= =?us-ascii?q?Ab2oUYQs0RWp8gXzz7Z6JeHV/Cwwupfq1dwz7OrWw0JhvQdoBtiQhjneB1p/mX?= =?us-ascii?q?kFEmNuhfEtkQlG0l6GlJNArbldHN1X6elOV15jZ5HZxu1+Tdv1X1CYJ4vbeBOd?= =?us-ascii?q?WtyjRAoJYJcp2dZXOhRyHtyjilbI2C/4W+ZIxYzOP4Q99+fn51a0J8t5zCybhq?= =?us-ascii?q?wojl1jRcoXcGP62+hw8A/cA4OPmEKcxf6n?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DGBwBVSEZbhi3aVdFcHQEBCwEFAYQsg?= =?us-ascii?q?RgIB4xdi1mBVQSJWAKJKoJgFIFmCwUeCYQ7AQIBJoIaGQcBBDIWAQIBAQIBAQE?= =?us-ascii?q?BARMBAQEICwsIGw4aCQyCNQyCbSwPFAEbAgoFDQMSJjQUEQEFAYERgkQBgWYBA?= =?us-ascii?q?xUIB5s9gx48jBoFARceglQFg1IKGSYNV4IIAgYJAQgBiFwPgVc/En6EUoFYBBi?= =?us-ascii?q?BEwEPAwGDNIJBAodkBIoHh2gHAgKBcoQWiR2BQ0ODTII4hECBF4o4gSSGDwIEA?= =?us-ascii?q?gkCBQ8hgScDgQ9xcFCBHQqBQgmBdTMCg06FFIVaU3yJfYI5AQ?= X-IPAS-Result: =?us-ascii?q?A0DGBwBVSEZbhi3aVdFcHQEBCwEFAYQsgRgIB4xdi1mBVQS?= =?us-ascii?q?JWAKJKoJgFIFmCwUeCYQ7AQIBJoIaGQcBBDIWAQIBAQIBAQEBARMBAQEICwsIG?= =?us-ascii?q?w4aCQyCNQyCbSwPFAEbAgoFDQMSJjQUEQEFAYERgkQBgWYBAxUIB5s9gx48jBo?= =?us-ascii?q?FARceglQFg1IKGSYNV4IIAgYJAQgBiFwPgVc/En6EUoFYBBiBEwEPAwGDNIJBA?= =?us-ascii?q?odkBIoHh2gHAgKBcoQWiR2BQ0ODTII4hECBF4o4gSSGDwIEAgkCBQ8hgScDgQ9?= =?us-ascii?q?xcFCBHQqBQgmBdTMCg06FFIVaU3yJfYI5AQ?= X-IronPort-AV: E=Sophos;i="5.51,338,1526335200"; d="scan'208";a="272654219" Received: from mail-oi0-f45.google.com ([209.85.218.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jul 2018 20:15:50 +0200 Received: by mail-oi0-f45.google.com with SMTP id v8-v6so50983279oie.5 for ; Wed, 11 Jul 2018 11:15:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:message-id:from:subject; bh=gdV1BTEz2FB+fAozfLxdTjIfUiEyp6unjI0qijADfO8=; b=Q8BdZiJ4QskbsjnI/HKr3zYI1EQmOnSlqiFHqdDhnvLFJjXv2j9vlQtQ6Hc6UB/vYs WKjqY80DLppiUdWUv7cFN9fqOIiRjlgV0FXZgTJftiSCHnSlKofpcvOlemdC7aWs9Px1 Bb11sfFbDo/gpU/703I9K0S1Y+gdgZ2orkhvObqPPEKeOlRVVnNKa+sUz/uMXDcC3riM ILNQ/URTDY2tWWNGqzevEiypYYKq+a+BF3eCmAMxN26zamFyQh31rZ2EhQcVIGxvAVkf tvqZUdW/LMTd445Z0T+JbKZRESe+XBEVJAhkDdoPwWqZHhyVgLDbbqBgo6JVP7cIar7k FOuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:message-id:from:subject; bh=gdV1BTEz2FB+fAozfLxdTjIfUiEyp6unjI0qijADfO8=; b=p1ewj4kGg+XzkmAP6Q+awDYACs2J8FKKubOs4pvEPAClg6VlJb8UXnHq7UaeP0oO3n 2GNz3mZ69/Jc6ea9PWUxbvSHrrDtbftR98kDgtoAzuTY311rZgcklWU37iEmSOzwA2Py oKIOZevtuQ4ybFHuoRNQh8VZWKS/j0TxiO7hj5xCOzlsH6rBBddzZIUQolN5wCwPQifC l6RwYORO43GXgm98MBfudqSCOEj4yQCUlVJOc3bWNPaEnSGOem/WT16ixnRwCBYq21dk e/LXuBnIoHc70IrYrw7fTvw20NK4B9jA9amsB+fe2bVzN3EWbxZWGn1Ft7hwk9jTEjHD mVjQ== X-Gm-Message-State: AOUpUlED8TZRkj3Lui0RfOwdGse4vmMgy27cd5vhs5JUXjzKKx+AOny8 +GOjrKBc+J5aFapmre4kXVYS4A== X-Google-Smtp-Source: AAOMgpeMjgZLdJdp4z87xbp/ivp1e1kh9YUjQppisba2y1BHo+xSFBn5KHN3gQx46Y4mzFWqQ3wULQ== X-Received: by 2002:aca:6287:: with SMTP id w129-v6mr430697oib.122.1531332949354; Wed, 11 Jul 2018 11:15:49 -0700 (PDT) Received: from coSAT.marcy-sara.tk (pool-96-227-71-142.phlapa.fios.verizon.net. [96.227.71.142]) by smtp.gmail.com with ESMTPSA id 5-v6sm8129012oix.58.2018.07.11.11.15.48 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 11 Jul 2018 11:15:49 -0700 (PDT) Received: from ruth.marcy-sara.cjb.net (coSAT.marcy-sara.tk [172.16.210.7]) by coSAT.marcy-sara.tk (8.15.2/8.15.2) with ESMTP id w6BIFkwb097328 for ; Wed, 11 Jul 2018 14:15:46 -0400 Received: from localhost ([127.0.0.1]) by ruth.marcy-sara.cjb.net (Kerio Connect 9.2.5 patch 3) with ESMTPS (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256 bits)) for caml-list@inria.fr; Wed, 11 Jul 2018 14:15:45 -0400 Received: (from marcy@localhost) by coSAT.marcy-sara.tk (8.15.2/8.15.2/Submit) id w6BIFjmk097323 for caml-list@inria.fr; Wed, 11 Jul 2018 14:15:45 -0400 Date: Wed, 11 Jul 2018 14:15:45 -0400 Message-Id: <201807111815.w6BIFjmk097323@coSAT.marcy-sara.tk> X-Authentication-Warning: coSAT.marcy-sara.tk: marcy set sender to "Marcello Balduccini" using -f From: "Marcello Balduccini" X-Validation-by: marcello.balduccini@gmail.com Subject: [Caml-list] KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Reply-To: "Marcello Balduccini" X-Loop: caml-list@inria.fr X-Sequence: 16984 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: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 WORKSHOPS *** *** WORKSHOP DEADLINES EXTENDED *** 16th International Conference on Principles of Knowledge Representation and Reasoning --- WORKSHOPS --- Tempe, Arizona (USA) October 30-November 2, 2018 http://kr2018.org/ Co-located with DL 2018 [http://dl.kr.org/] and NMR 2018 [http://www.kr.org/NMR] Many KR 2018 Workshops have extended their deadlines, with new deadlines ranging from 21 July to 4th August. Please visit http://kr2018.org/?p=workshops_tutorials for more information. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will feature prominent invited speakers and a number of exciting workshop and tutorial. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. The list of KR 2018 invited talks, workshops and tutorials can be found below. Please check the KR 2018 website for further information. WORKSHOPS (more details at http://kr2018.org/?p=workshops_tutorials) --------- W1: Knowledge Representation in Natural Languages W2: Reasoning about Actions and Processes: Planning, Verification and Synthesis W3: First Workshop on Induce and Deduce: Integrating learning of representations and models with deductive, explainable reasoning that leverages knowledge W4: Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine W5: Hybrid Reasoning and Learning W6: Third International Workshop on Ontology Modularity, Contextuality, and Evolution W7: Cognitive Robotics Workshop INVITED SPEAKERS ---------------- Michael Beetz (University of Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) TUTORIALS (more details at http://kr2018.org/?p=workshops_tutorials) --------- T1: Belief Revision: 30 Years T2: Implementing KR Approaches with Tweety T3: An overview of ranking-based argumentation semantics T4: Knowledge, Strategy, and Know-How T5: Stream Reasoning - Incremental Reasoning Upon Rapidly Changing Information T6: Rulelog: Highly Expressive, Yet Scalable, Semantic Rules T7: From Game Description Language to Game Description Logics T8: Inconsistency-Tolerant Ontology-Mediated Query Answering CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universitat Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT University, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) -- 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