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 ESMTP id 3EA1B1E6 for ; Mon, 26 Mar 2018 23:06:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,365,1517871600"; d="scan'208";a="320064728" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Mar 2018 01:06:43 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 133D28242D; Tue, 27 Mar 2018 01:06:43 +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 0EFD58240C for ; Tue, 27 Mar 2018 00:58:40 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=roveri@fbk.eu; spf=Pass smtp.mailfrom=roveri@fbk.eu; spf=Pass smtp.helo=postmaster@grelay.fbk.eu IronPort-PHdr: =?us-ascii?q?9a23=3A+nv50xBDBmpa+wnAYoP9UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPrypsbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oIKzE2/m7XhMJukaxVrhGvqgdjw4PWboyZKOZycr/Dcd4cWGFPXtxRVytEAo6k?= =?us-ascii?q?aIUAFfABMvpfr4Lgu1UOqgW+Che2BOPu1zRFgWX23aok0+s/CwHG3RctH9wVv3?= =?us-ascii?q?TXttn6KroSXPmzwaLVwzvDaPZW1i386IjOah0uvfGNXapqccrM0kkgCwTFjlOe?= =?us-ascii?q?qYP7JTOayOINvHSF4Op7T+6vjHQnqw53rzOyxckskpHEipwIxl3G7yl0woQ4Kc?= =?us-ascii?q?e7RUJne9KoDp1dvDyAOYRsWMMtWWRotT46yrIYvZ67ezAHyJs9xxHBb/yIaYiJ?= =?us-ascii?q?7gjtVOmKIjd0nmxqeK+nixaz90iv1PH8W9Gq3FpXrCdJiNvBu3IX2xHQ9sSLUO?= =?us-ascii?q?Vx8l+k2TmV1gDT7u9EIVozlareM5Mh2LkwloQNvkTZHy/7g0v2g7SVdkk+5Oeo?= =?us-ascii?q?9vzrYq/6qZ+EK490lgb+P7wylcOlBOQ4NhECX2ya+eSnyL3u5lb5QbVPjv0uiK?= =?us-ascii?q?bVqpHaJcIBpq64GQBZyIgj6wzsRwuhhd8RmH1CKFNeZDqGiZLoMhfAOqPWF/C6?= =?us-ascii?q?1nGlijxsj8rBILD7A92ZNH/dna3gVbh36AhR1Vxgnphk+5tIB+RZc7rIUUjruY?= =?us-ascii?q?mAV05rA0mP2+/iTe5F+MYbUGOLDLWeNfOAv1WLoO8ycbDVON0l/Q3lIv1g3MbA?= =?us-ascii?q?yGcjkA9Pc6Oqm5YKOijhQ6ZWZn6BaH+pue8vVGcHug1nEb7lklCGWC8VaXyxGa?= =?us-ascii?q?8htGg2?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRAQBXerlalwJQTdldHQEBCwEFAYMSg?= =?us-ascii?q?RBwKJhugwWBZokBiXALI4FYgwYChAEaBgEENBQBAgEBAQEBAQEBARIBAQEBAQg?= =?us-ascii?q?WBleCOCKCbx0uBQNFEwIfYRQHhHcLrmmIQ4IXhT6CGoIUgQyESIFSAYE4g1iCJ?= =?us-ascii?q?AOHJ5AYCIVSiFSMQwGCHYR6gXyFEIFTgSUzgXMzGggeEoJ9CYIkAo4jPTCNNIJ?= =?us-ascii?q?GAQE?= X-IPAS-Result: =?us-ascii?q?A0BRAQBXerlalwJQTdldHQEBCwEFAYMSgRBwKJhugwWBZok?= =?us-ascii?q?BiXALI4FYgwYChAEaBgEENBQBAgEBAQEBAQEBARIBAQEBAQgWBleCOCKCbx0uB?= =?us-ascii?q?QNFEwIfYRQHhHcLrmmIQ4IXhT6CGoIUgQyESIFSAYE4g1iCJAOHJ5AYCIVSiFS?= =?us-ascii?q?MQwGCHYR6gXyFEIFTgSUzgXMzGggeEoJ9CYIkAo4jPTCNNIJGAQE?= X-IronPort-AV: E=Sophos;i="5.48,365,1517871600"; d="scan'208";a="259889280" Received: from grelay.fbk.eu ([217.77.80.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Mar 2018 00:58:39 +0200 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Marco Roveri To: caml-list@inria.fr Date: Tue, 27 Mar 2018 00:58:38 +0200 Message-Id: <20180326225838.E3743201D9@mitchell> X-Validation-by: roveri@fbk.eu Subject: [Caml-list] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Reply-To: Marco Roveri X-Loop: caml-list@inria.fr X-Sequence: 16752 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: [ Apologize for Multiple Copies ] Call for Papers 24th International Symposium on Methodologies for Intelligent Systems ISMIS 2018 Special Session - Formal Methods for Intelligent Systems - October 29 - 31, 2018, St. Raphael Resort, Limassol, Cyprus ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. Formal Methods for Intelligent Systems -------------------------------------- Traditionally, Formal Methods have been used as rigorous means to prove correctness and safety of software and hardware systems. They are rooted in logic and reasoning, and aim to provide guarantees that the system is behaving correctly, which is necessary in safety-critical contexts. Such guarantees can be provided automatically for conventional software/hardware systems using verification technologies such as model checking or theorem proving. However, in several (critical) application domains (e.g. planning and scheduling, machine learning, autonomous controllers synthesis, business processes) the underpinning reasoning techniques do not offer the needed guarantees, and reasoning capabilities necessary to justify safety of the application. The scope of this special session is intended to represent research results and discussions about the application and/or combination of Formal Methods (model checking, theorem proving, mathematical reasoning ...) to solve problems in different areas such as Planning and Scheduling, Machine Learning, Decision Support Systems, Robotics, Autonomy, Business Processes. The session addresses issues involving solutions to problems that will benefit from the adoption of Formal Methods. Examples are for instance guarantee robustness of a plan, or robustness of a (deep) neural, robustness/safety of a decision support system or of a robotic controller or of a business process. Topics. -------------------------------------- This special session aims at bringing together academic and industrial leaders who will present and discuss the results that combine Formal Methods to solve problems in different areas related to Intelligent Systems. The topics include, but not limited to: * Intelligent Information Systems * Autonomic and Evolutionary Computation * Logic for Artificial Intelligence * Knowledge Integration and Aggregation * Intelligent Agent Technology * Intelligent Data Processing and Analytics Paper Submission. -------------------------------------- Authors are invited to submit their manuscripts (maximum 10 pages) electronically in Springer's LNCS/LNAI style. For detailed instructions see the conference homepage (http://cyprusconferences.org/ismis2018/); any necessary information concerning typesetting can be obtained directly from Springer's webpage. All submissions will be subject to review by the ISMIS 2018 program committee in consultation with the special session organizers. Publication. -------------------------------------- The accepted papers will be published in ISMIS 2018 proceedings in Springer's LNAI series. Important Dates. -------------------------------------- * Paper submission: May 10, 2018 * Notification of accept/reject: July 10, 2018 * Camera-Ready: July 31, 2018 * Author Registration Deadline: July 31, 2018 Special Session Chairs. -------------------------------------- Marco Roveri Alberto Griggio Fondazione Bruno Kessler Fondazione Bruno Kessler Trento, Italy, Trento, Italy, roveri@fbk.eu griggio@fbk.eu -------------------------------------- ISMIS 2018: http://cyprusconferences.org/ismis2018/ -- 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