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 1E28980227 for ; Mon, 10 Jul 2017 16:51:39 +0200 (CEST) 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@mail-qt0-f226.google.com 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=209.85.216.226; 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 209.85.216.226 as permitted sender) identity=mailfrom; client-ip=209.85.216.226; 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@mail-qt0-f226.google.com) identity=helo; client-ip=209.85.216.226; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mail-qt0-f226.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AxbD/ZRzSRkmi0xXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OsRIJqq85mqBkHD//Il1AaPBtSEraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze6/9pnRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH1li?= =?us-ascii?q?kJMD03/m/XhMFrkK5XvA6tqwBlzoLIfI2YMud1cKPHfdMdQGpMRslRWDJGAoOy?= =?us-ascii?q?YYsCFPYOPf1Co4n4plsBtx6+BQi2COzx1zBIm3n71rA03eQmFAHJxg0gH9QWvX?= =?us-ascii?q?TVqtX1LqYSXvqvwKnG1zXPd/BW2S3n5IjPaBAhrveBVq9zf8rJ0UQjCR/Jg1GK?= =?us-ascii?q?pYHmPz6ZzPoBv3Wa4uZ6S+6jlW8qpxlsrjWr2MsgkIfEip8Pxl3H8Sh12ps5Kc?= =?us-ascii?q?O+RUVme9CrCoFQuDufN4ZuQsMtXWVouCEix70Do5G7fSwKxI0+xx7Dd/CLaoaI?= =?us-ascii?q?7gz9WOuQOzt4i3VleLWwhxa270es0PHzVs6x0FpSrypFlMfDtmwV2hDN9sSKTu?= =?us-ascii?q?Fx80Sh1DqVyQzf9+BJLVoqmabFKpMt2rswmYASsUTHEC/2gkL2jKqOe0Ur5Oeo?= =?us-ascii?q?7OrnYrv9q5CALI94kAT+MqU0lcy6AOQ0KBYBUHWG+eikzr3s4VX5QKlWjv0xiq?= =?us-ascii?q?TWrIrVJcEfpqKgBw9V050j6wqkAje90NUYmGEHI0hfdBKGiYjpIVDOL+riAfex?= =?us-ascii?q?mVT/2AtskqTNN7jlR5HMNWTrkbH7fL875VQKmyQpytUK6J9TBL8pK+m1X074sd?= =?us-ascii?q?2eAxMkYF/8+PruFNgojtBWYmmIGKLMaK4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BDAQCtk2NZf+LYVdFdHQEFAQsBGQYMh?= =?us-ascii?q?BOBFI58qC0DXAEriRZCFQEBAQEBAQEBAQEBEgEBCQsLCCYxgjMigmcjAQE4OzQ?= =?us-ascii?q?dCAEFASInihsQnh4/ix+DEYMHAQEFhHgHgzQBAQggCAkBCIMWiCGBbIMKBGyCd?= =?us-ascii?q?4IxiWCVQ4dIjDWCGYVLgz6HDYwjh1UzgRU1gSx3XIUEG4ITWgGGJgSCOwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BDAQCtk2NZf+LYVdFdHQEFAQsBGQYMhBOBFI58qC0DXAE?= =?us-ascii?q?riRZCFQEBAQEBAQEBAQEBEgEBCQsLCCYxgjMigmcjAQE4OzQdCAEFASInihsQn?= =?us-ascii?q?h4/ix+DEYMHAQEFhHgHgzQBAQggCAkBCIMWiCGBbIMKBGyCd4IxiWCVQ4dIjDW?= =?us-ascii?q?CGYVLgz6HDYwjh1UzgRU1gSx3XIUEG4ITWgGGJgSCOwEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,340,1496095200"; d="scan'208";a="231099475" Received: from mail-qt0-f226.google.com ([209.85.216.226]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jul 2017 16:51:38 +0200 Received: by mail-qt0-f226.google.com with SMTP id h15so9173206qte.3 for ; Mon, 10 Jul 2017 07:51:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=XBA1JsGmj7JGdfTpm17d7ssdYqdwi/77dIOPtKdjp/g=; b=EmvsA6UYpwRwPLQWSsENrp9j60QCUaOMAaXwSCaeHqk3UgwylRqTnowhr1lRO7K5ou XSgz/9AE7RKRrTqn1WA3oppMN6ZNOK/2njqHGghcYm+f3Ja4rf2C7aL+3QhPpg8HnEOI M1kSebwZ4yhB+HqVxvhUkQZHdTvD5aGBOvPpfW1ACqcWzXLVOKQCwifb9M/YAhsW/A0h CZN4aWO/EfRHrNY80tcLLkT91K62ya51FMWu0BZDWE2Zye/GrsF5SXPQI8kPwDrcMsZt fxIeR0Twcqay7GV8XMHRTlZFIN/smXdQazCJoXqtztD/cd/w7KFv58l+UHUqzB3gJdF+ n0hQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=XBA1JsGmj7JGdfTpm17d7ssdYqdwi/77dIOPtKdjp/g=; b=ZpZInnb7CH47/cuydv/krylrUCKF9OWFhCOdDqHN2IC1aCJkrkplJfNL0mcXIfQ4B7 55k+Tnq/MOk06hLyCRu1YGRlfUGDg9VT34Fx6rx6IBgDYzdX7StRKYXO8uqEc1l1cFNj OSWtMS8f2b4FxjFQP0eQ9toiBTq1G/nH5GaDSAwrfKXG4kFWPBvzQyN3tdNEP0F4D6mt LTxSaNK3QG46XUNF9N/wPceHdSU6G9uO68LxCWjIALwNQp8N/PEkyOvesXXXAEexJaHU xzuOKGs+blKf5UVffLN3uIQtOsvMjxgtDtFzWQoJ9BoS0p3VvZVuQFbx/Y/grQVsF9qG gAUA== X-Gm-Message-State: AIVw113uwA2+XQtAcG/oBNGAbc7M9oMVLlourD7dWV9NdGLFtWJ0JWyQ NuJvM7Pp9N+/tfZFtFx25HYfD7yTWCOz8Af3I2dM X-Received: by 10.31.129.2 with SMTP id c2mr8051566vkd.11.1499698296856; Mon, 10 Jul 2017 07:51:36 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id x1sm337969vkd.3.2017.07.10.07.51.36 for ; Mon, 10 Jul 2017 07:51:36 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 4A9E31700D80; Mon, 10 Jul 2017 10:51:27 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20170710145127.4A9E31700D80@cs.miami.edu> Date: Mon, 10 Jul 2017 10:51:27 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] DL 2017 - Call for Participation ------------------------------------------------------------------------------- CALL FOR PARTICIPATION 30th International Workshop on Description Logics, DL 2017 18 - 21 July 2017 - Montpellier, France http://dl.kr.org/dl2017/ ------------------------------------------------------------------------------- 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 18 to 21 July 2017. ** Registration is now open ** ============================== Registration website: http://dl.kr.org/dl2017/registration/ Invited Talks ============= * Markus Krötzsch, Technical University of Dresden: Ontologies for Knowledge Graphs? * Andreas Pieris, University of Edinburgh: Query Rewriting under Existential Rules * Uli Sattler, University of Manchester: From Reasoning Problems to Non-standard Reasoning Problems and One Step Further Programme Details ================= * 30 long presentations, 14 short presentations and 18 posters * The complete list of accepted papers is available at http://dl.kr.org/dl2017/accepted-papers/ 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) * Roman Kontchakov, Birkbeck, University of London (Programme co-Chair) * Meghyn Bienvenu, University of Montpellier (Workshop co-Chair) * Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair) Resources ========= * Information about 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/