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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CC2F981792 for ; Thu, 27 Jun 2013 20:37:02 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logicprogramming-bounces@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="logicprogramming-bounces@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of logicprogramming-bounces@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="logicprogramming-bounces@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApgBAK6FzFHBiCcQl2dsb2JhbABbgzoBg0+3aIQXA4EYDgEBAQEBCBYHOwGCJQYBARoGDwETChgUAwECBgIkAiIEAgIDAV8BEQSICQipbpEvgSaMd0WDSQ6BCAOTc4lgE442gWc X-IPAS-Result: ApgBAK6FzFHBiCcQl2dsb2JhbABbgzoBg0+3aIQXA4EYDgEBAQEBCBYHOwGCJQYBARoGDwETChgUAwECBgIkAiIEAgIDAV8BEQSICQipbpEvgSaMd0WDSQ6BCAOTc4lgE442gWc X-IronPort-AV: E=Sophos;i="4.87,954,1363129200"; d="scan'208";a="23689930" Received: from mail.dcc.fc.up.pt (HELO smtp.dcc.fc.up.pt) ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Jun 2013 20:37:01 +0200 Received: from localhost (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 4B58A1C089E; Thu, 27 Jun 2013 19:36:47 +0100 (WEST) Received: from smtp.dcc.fc.up.pt ([127.0.0.1]) by localhost (servicos.dcc.fc.up.pt [127.0.0.1]) (amavisd-new, port 10025) with LMTP id 31978-02-5; Thu, 27 Jun 2013 19:36:46 +0100 (WEST) Received: from servicos.dcc.fc.up.pt (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 171841C02F8; Thu, 27 Jun 2013 19:36:42 +0100 (WEST) X-Original-To: logicprogramming@dcc.fc.up.pt Delivered-To: logicprogramming@dcc.fc.up.pt Received: from localhost (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 51A001C0850 for ; Thu, 27 Jun 2013 19:36:36 +0100 (WEST) Received: from smtp.dcc.fc.up.pt ([127.0.0.1]) by localhost (servicos.dcc.fc.up.pt [127.0.0.1]) (amavisd-new, port 10025) with LMTP id 31981-01 for ; Thu, 27 Jun 2013 19:36:33 +0100 (WEST) Received: from [10.0.2.15] (a89-154-178-202.cpe.netcabo.pt [89.154.178.202]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 02FAE1C0877 for ; Thu, 27 Jun 2013 19:36:32 +0100 (WEST) From: Ricardo Rocha Content-Type: text/plain; charset="UTF-8" Date: Thu, 27 Jun 2013 19:36:35 +0100 Message-ID: <1372358195.3493.40.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.32.3-2 Content-Transfer-Encoding: 8bit To: undisclosed-recipients: ; X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Spam-Score: 0.802 X-Spam-Level: X-BeenThere: logicprogramming@dcc.fc.up.pt X-Mailman-Version: 2.1.4 List-Id: logicprogramming.dcc.fc.up.pt List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: logicprogramming-bounces@dcc.fc.up.pt Errors-To: logicprogramming-bounces@dcc.fc.up.pt X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Validation-by: ricroc@dcc.fc.up.pt Subject: [Caml-list] INAP 2013 - Final Call for Papers ------------------------------------------------------------------------------ 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) colocated with 27th Workshop on Logic Programming (WLP 2013) part of the Kiel Declarative Programming Days 2013 Kiel, Germany, September 11-13, 2013 ------------------------------------------------------------------------------ Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This specification method attracted increased attention over the last decades, e.g., in the domains of databases and natural language processing, for the modeling and the processing of combinatorial problems, and for establishing systems for the Web. INAP 2013 ========= INAP is a communicative and dense conference for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. We invite high quality contributions on different aspects of declarative programming, constraint processing and knowledge management, as well as their use for distributed systems and the Web, including, but not limited to the following areas (the order does not reflect any priorities): * knowledge management, e.g., data mining, decision support, deductive databases; * distributed systems and the Web, e.g., agents and concurrent engineering, Semantic Web; * constraints, e.g., constraint systems, extensions of constraint (logic) programming; * theoretical foundations, e.g., deductive databases, nonmonotonic reasoning, knowledge representation; * systems and tools for academic and industrial use; * knowledge-based Web services - logic solvers and applications. This year, INAP consists of the following four tracks, covering relevant subareas of declarative methods: * non-monotonic reasoning; * applications and system implementations; * extensions of logic programming; * databases, deductive databases, and data mining. WLP 2013 ======== The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fuer Logische Programmierung e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous workshops have been held in Germany, Austria, Switzerland, and Egypt. The joint INAP and WLP event aims to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the event will include invited talks, presentations of refereed papers, and system demonstrations. Important Dates =============== * Submission of papers: July 07, 2013 * Notification of acceptance: July 28, 2013 * Camera-ready papers: August 18, 2013 * Conference and Workshop: September 11-13, 2013 Submissions =========== Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: * technical papers; * application papers; * system descriptions. Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All submissions must be in PDF format using LaTeX2e and the Springer llncs.cls class file. Paper submission is electronic via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=inap2013 All accepted papers will be published in a technical report. As for previous joint INAP/WLP events, it is planned to publish selected papers in a post-conference proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. Conference Chair (INAP) ======================= Ricardo Rocha (University of Porto, Portugal) Track Chairs (INAP) =================== Salvador Abreu (Universidade de Evora, Portugal): Extensions of Logic Programming Dietmar Seipel (University of Wuerzburg, Germany): Databases, Deductive Databases, and Data Mining Hans Tompits (Vienna University of Technology, Austria): Nonmonotonic Reasoning Masanobu Umeda (Kyushu Institute of Technology, Japan): Applications and System Implementations Program Committee (INAP) ======================== Salvador Abreu, University of Evora, Portugal Sergio Alvarez, Boston College, USA Christoph Beierle, FernUniversität in Hagen, Germany Philippe Codognet, JFLI/CNRS at University of Tokyo, Japan Daniel Diaz, University of Paris I, France Ulrich Geske, University of Potsdam, Germany Petra Hofstedt, Brandenburg University of Technology at Cottbus, Germany Katsumi Inoue, National Institute of Informatics, Japan Gabriele Kern-Isberner, University of Dortmund, Germany Ulrich Neumerkel, Vienna University of Technology, Austria Vitor Nogueira, Univesity of Evora, Portugal Enrico Pontelli, New Mexico State University, USA Ricardo Rocha, University of Porto, Portugal Irene Rodrigues, University of Evora, Portugal Carolina Ruiz, Worcester Polytechnic Institute, USA Vítor Santos Costa, University of Porto, Portugal Dietmar Seipel, University of Wuerzburg, Germany Terrance Swift, Universidade Nova de Lisboa, Portugal Hans Tompits, Technical University of Vienna, Austria Masanobu Umeda, Kyushu Institute of Technology, Japan Marina De Vos, University of Bath, United Kingdom Armin Wolf, Fraunhofer FIRST, Berlin, Germany Osamu Yoshie, Waseda University, Japan