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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 69B6E7F60B for ; Fri, 24 Mar 2017 13:46:01 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ApkKiGxaAJzaiPFXWzyDGT43/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMu9bnLW6fgltlLVR4KTs6sC0LuK9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjAn7W/ZicJ+gqJArR69uxBz35LYbJ2JOPZieK7WYNMURXBGXsZUTyFBDZ2z?= =?us-ascii?q?b4wBD+oPJutXs5L9q0ELrRu/HwasAeLvxiVWiXDrwK0xzuAtHwDY0wwnEdIOvm?= =?us-ascii?q?nfosjoNKcOTe+1yKjIzTvNb/xI3Dvw7pXDfB4mofGJR71wcMzRxFEuFwPDlFWQ?= =?us-ascii?q?qJbqMymb1uQXq2SU8fBvVfmvimE7qwF+uDmvxt02honOnIIVxUjI9SZjwIovIt?= =?us-ascii?q?24UkF7bca4H5ROqiGaLZJ6Q805Q21yvyY60LIGtJimdyYJ0JQq3wPTZviZf4SS?= =?us-ascii?q?7B/vSfydLDR8iX5/eb+ygQu5/1K6xe3mTMa01U5HripbndnIsXAAzxnT5dSbRf?= =?us-ascii?q?t54Eih3TKP2BrV6u1ePU80jrDXK5sgwrEqk5oTsF7PETHrl0XrlKOWd0Mk9fa0?= =?us-ascii?q?6+n/f7nrooGQO5V6hw3jKKgjmciyDf45PwQWWmiU4+W81Lnt/U3jR7VKi+U7kq?= =?us-ascii?q?bHv5DdK8QbqLW0DBNO0oo57ha/Di2p0NEZnXUdMl1KZQ+Hg5DzO17SOPD4Eeu/?= =?us-ascii?q?g1O0nTh33f/GO7nhDozJLnjCi7fhYa1w61VcyQo21dBQ/YhYCrAHIPLpW0/+rs?= =?us-ascii?q?bUDhEjM1/8/+GyA9x40sYaWHmTKq6fKqLb91GStcw1JOzZa4IStjjVIONj4v/n?= =?us-ascii?q?iH5/lFMANemG0JwZZjiDA+htJ0SXb3et0YRJKnsDogdrFL+is1aFSzMGP3s=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1BgClFNVY/wZZH8BdHQEFAQsBGQYMh?= =?us-ascii?q?AqjLAGUdAEpgkKHHxQBAQEBAQEBAQEBAWoogjMggmYhKgVIMAQdWIlzDplZkiy?= =?us-ascii?q?IBAeCNjKLDYNHgRkBCYJmDFyCMQWJHpM7hnuLQ4IJhSqDV4YzixOIUjYhWCxbV?= =?us-ascii?q?IZ0JIdmAQMighcBAQE?= X-IPAS-Result: =?us-ascii?q?A0C1BgClFNVY/wZZH8BdHQEFAQsBGQYMhAqjLAGUdAEpgkK?= =?us-ascii?q?HHxQBAQEBAQEBAQEBAWoogjMggmYhKgVIMAQdWIlzDplZkiyIBAeCNjKLDYNHg?= =?us-ascii?q?RkBCYJmDFyCMQWJHpM7hnuLQ4IJhSqDV4YzixOIUjYhWCxbVIZ0JIdmAQMighc?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.36,214,1486422000"; d="scan'208";a="217917590" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 Mar 2017 13:45:39 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id B06C71214C2; Fri, 24 Mar 2017 08:45:38 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170324124538.B06C71214C2@mcclellan.cs.miami.edu> Date: Fri, 24 Mar 2017 08:45:38 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 30th International Workshop on Description Logics - Call for Papers ------------------------------------------------------------------------------- CALL FOR PAPERS 30th International Workshop on Description Logics, DL 2017 July 18th to July 21st, 2017 - Montpellier, France http://dl.kr.org/dl2017/ ------------------------------------------------------------------------------- Call for Papers ==================== DL 2017: the 30th International Workshop on Description Logics The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held in Montpellier, France from July 18th to July 21st, 2017. Important Dates (Firm Deadlines) ============ Paper registration deadline: April 28, 2017 Paper submission deadline: May 8, 2017 Notification of acceptance: June 12, 2017 Camera-ready copies: July 3, 2017 Workshop: July 18-21, 2017 Since we wanted the DL submission deadlines to be after the IJCAI notification date, the schedule is tight and NO DEADLINE EXTENSIONS will be possible. Invited Speakers ============= * Markus Krötzsch, Technical University of Dresden * Andreas Pieris, University of Edinburgh * Uli Sattler, University of Manchester Workshop Scope ============= We invite contributions on all aspects of description logics, including but not limited to: * Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, and modularity aspects * Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information * Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems * Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph structured data, linked data, document management, natural language, learning, planning, Semantic Web, cloud computing, conceptual modelling, web services, business processes * Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimisation, and data integration tools), implementation and optimisation techniques, benchmarking, evaluation, modelling Submissions ========== * Submissions may be of two types: (1) Papers accepted at some conference can be submitted as accepted elsewhere together with a 1-page abstract that also specifies where the paper has been accepted. (2) Other submissions consist of 11 pages LNCS plus references. There is no page limit on the list of references. If the paper should not appear in the proceedings, an additional 1-page abstract has to be submitted. * For submissions with an additional 1-page abstract, only the abstract is published in the proceedings. The abstracts might not be indexed in dblp. This option is designed for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior / concurrent publication policy. * All submissions may optionally include a clearly marked appendix (e.g., with additional proofs or evaluation data). The appendix will be read at the discretion of the reviewers and not included in the proceedings. The appendix does not need to be in LNCS format. * Submission page: https://easychair.org/conferences/?conf=dl2017 * Accepted papers and 1-page abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). * Accepted submissions, be they full papers or 1-page abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based upon their content, and the type of submission will have no bearing on the decision between oral and poster presentation. Distinguished Student Paper Award ========== As in recent years, the program committee may choose to award a Distinguished Student Paper Award to the authors of a student paper, i.e., a paper that was authored independently by researchers who have not received a doctoral degree yet. Student Grants ========== A limited number of student grants will be available for participation in DL 2017. Each grant will cover the student registration fee and may additionally include a contribution towards travel costs. For details please check https://project.inria.fr/dl2017/students/ Accommodation ========== There are many tourists visiting Montpellier in July, so please make sure to book your accommodation well in advance to ensure the best choice of options. Even if you are not sure to attend the workshop, you may nonetheless want to book a room in a hotel offering free cancellation. Organisation ========== * Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair) * Birte Glimm, University of Ulm (Programme co-Chair) * Meghyn Bienvenu, University of Montpellier (Workshop co-Chair) * Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair) Resources ======== * Information about submission, registration, travel information, etc., is available on the DL 2017 homepage: http://dl.kr.org/dl2017/ * The official description logic homepage is at http://dl.kr.org/