From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 3F922BBC4 for ; Fri, 6 Mar 2009 15:49:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoBAKvGsEmBQwGhkWdsb2JhbACTUoE1AQEBAQkLCgcRBcIOhAgGhlk X-IronPort-AV: E=Sophos;i="4.38,315,1233529200"; d="scan'208";a="23962720" Received: from relay0.mail.ox.ac.uk ([129.67.1.161]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Mar 2009 15:49:43 +0100 Received: from mail.comlab.ox.ac.uk ([129.67.151.64]) by relay0.mail.ox.ac.uk with esmtp (Exim 4.69) (envelope-from ) id 1LfbJc-0003jp-2o; Fri, 06 Mar 2009 14:46:20 +0000 Received: from clpc295.comlab.ox.ac.uk ([129.67.149.125]:1635) by mail.comlab.ox.ac.uk with esmtp (Exim 4.50) id 1LfbJc-0007fZ-5V; Fri, 06 Mar 2009 14:46:20 +0000 Message-ID: <49B1373C.6090907@comlab.ox.ac.uk> Date: Fri, 06 Mar 2009 14:46:20 +0000 From: Bernardo Cuenca Grau User-Agent: Thunderbird 2.0.0.9 (Windows/20071031) MIME-Version: 1.0 To: acl@opus.cs.columbia.edu, acl@opus.cs.columbia.edu, agda@lists.chalmers.se, ai@cs.man.ac.uk, announce@aosd.net, announcements@oopsla.acm.org, boost@lists.boost.org, boost-interest@lists.boost.org, bull_i3@univ-tln.fr, caml-list@yquem.inria.fr, cfp@clip.dia.fi.upm.es, cgn-talk@yahoogroups.com, clean-list@cs.kun.nl, community@mlnet.org, compulog@doc.imperial.ac.uk, compunode@compulog.org, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cweb@inria.fr, daml-all@daml.org, diglib@infoserv.nlc-bnc.ca, dl@dl.kr.org, eapls@jiscmail.ac.uk, elsnet-list@cogsci.ed.ac.uk, fm-discussion@cs.man.ac.uk, forum@jsoftware.com, gnome-announce-list@gnome.org, gpce-news@cs.rice.edu, haskell@haskell.org, haskell-cafe@haskell.org, hol-info@lists.sourceforge.net Subject: CfP: 22nd International Workshop on Description Logics (DL 2009) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; logics:01 logics:01 decidability:01 inference:01 defaults:01 lncs:01 lncs:01 markus:01 karlsruhe:01 karlsruhe:01 ralf:01 universiteit:01 bernardo:98 bernardo:98 2009:98 Apologies for cross postings -------------------------------------------------------------------------- 22st International Workshop on Description Logics (DL 2009) CALL FOR PAPERS Oxford, United Kingdom 27-30 July 2009 http://dl.kr.org/dl2009/ The DL workshop is the major annual event of the description logic research community. The workshop is thought as a gathering forum to meet, discuss and exchange experiences among all those, both in the academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: 20 April 2009 (strict!) Notification of acceptance: 01 June 2009 Camera ready papers due: 22 June 2009 DL'07 Workshop: 27-30 July 2008 (3 1/2 days) ---------------------------------------------------------------------- WORKSHOP SCOPE We invite contributions on all aspects of description logics, such as * foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems; * extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages; * integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems; * use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing; * building systems based on description logics, with special emphasis on optimization and implementation techniques; and * tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than April 20, 2009. The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references. Papers must be submitted in PDF format via EasyChair; see http://www.easychair.org/conferences/?conf=dl2009 The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see http://www.CEUR-ws.org/ Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop proceedings: all accepted papers can be 11 pages long. ---------------------------------------------------------------------- INVITED SPEAKERS * TBD ---------------------------------------------------------------------- WORKSHOP CHAIRS * Ian Horrocks, Oxford, UK (Workshop chair) * Bernardo Cuenca Grau, Oxford, UK (PC Chair) * Boris Motik, Oxford, UK (PC Chair) ---------------------------------------------------------------------- PROGRAM COMMITTEE * Achille Fokoue, IBM Research, USA * Aditya Kalyanpur, IBM Research, USA * Alex Borgida, Rutgers University, USA * Anni-Yasmin Turhan, TU Dresden, Germany * Bijan Parsia, University of Manchester, UK * Birte Glimm, University of Oxford, UK * Carlos Areces, LORIA, France * Carsten Lutz, University of Bremen, Germany * Diego Calvanese, Free University of Bozen-Bolzano, Italy * Dirk Walther, University of Liverpool, UK * Evren Sirin, IBM Research, USA * Frank Wolter, University of Liverpool, UK * Giorgos Stamou, National Technical University of Athens, Greece * Grant Weddell, University of Waterloo, Canada * Jeff Z. Pan, University of Aberdeen, UK * Jos de Bruijn, Free University of Bolzano, Italy * Luciano Serafini, ITC-IRST, Italy * Magdalena Ortiz, TU Vienna, Austia * Maja Milicic, TU Dresden, Germany * Markus Krötzsch, University of Karlsruhe, Germany * Meghyn Bienvenu, University of Bremen, Germany * Oliver Kutz, University of Bremen, Germany * Pascal Hitzler, University of Karlsruhe, Germany * Peter Patel-Schneider, Bell Labs Research, USA * Rajeev Gore, Australian National University, Australia * Ralf Möller, Hamburg University of Technology, germanz * Riccardo Rosati, Sapienza Universita di Roma, Italy * Robert Stevens, University of Manchester, UK * Roman Kontchakov, Birkbeck College, UK * Sebastian Rudolph, University of Karlsruhe, Germany * Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands * Stijn Heymans, TU Vienna, Austia * Thomas Meyer, Meraka Institute, South Africa * Thomas Schneider, University of Manchester, UK * Umberto Straccia, ISTI-CNR, Italy * Viorica Sofronie-Stokkermans, Max-Planck-Institute, Germany * Volker Haarslev, Concordia University, Canada * Yevgeny Kazakov, University of Oxford, UK ---------------------------------------------------------------------- RESOURCES * Information about registration, travel information, accommodation, and so on will be made available on the DL 2009 homepage: http://dl.kr.org/dl2009/ * Enquiries about the DL 2009 workshop can be made by contacting the organizing committee: dl2009@easychair.org * The official Description Logic home page is at http://dl.kr.org/ ----------------------------------------------------------------------