From nzhou@acm.org Wed Jun 1 08:47:53 2005 From: nzhou@acm.org (Neng-Fa Zhou) Date: Wed, 01 Jun 2005 00:47:53 -0700 Subject: [bp-users]INAP 2005 CFP Message-ID: <056601c5667e$37c9c650$57f313ac@toshibauser> This is a multi-part message in MIME format. --Boundary_(ID_okxIqPxCFnke/6sQztJi+g) Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: 7BIT Call For Papers 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP2005) October 22-24, 2005 Waseda University, Fukuoka, Japan http://inap.dialogengines.com Declarative Programming is an advanced paradigm for the modeling and solving of complex problems. This specification method has got more and more attraction over the last years, e.g. in the domains of databases and the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing systems for the Web. INAP2005 is a communicative and dense single-track conference for intensive discussion of applications of important technologies around Prolog, Logic Programming, Constraint Problem Solving and closely related advanced software. 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 the submission of papers on the described fields, especially, but not excluding, in different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web: * Knowledge Management, e.g. Knowledge Modeling, 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 * Systems and Tools for academic and industrial use * Knowledge-based Web Services - Logic Solvers and Applications Publications ------------ All accepted papers will be published in a technical report. Selected papers will be published in a post-conference proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series (http://www.springer.de/comp/lncs/index.html). Important Dates --------------- Deadline for Submission: August 1, 2005 Notification of Authors: August 24, 2005 Final Versions of Papers: September 12, 2005 Conference: October 22 - 24, 2005 Planned Sessions ---------------- * Track 1: Constraints (chair: Ulrich Geske) o CP and IP/OR and Local Search o CP systems o Optimization and Simulation of Complex Problems in Industry, Medicine, and Offices * Track 2: Knowledge Management (chair: Dietmar Seipel) o Knowledge Modeling and Knowledge Base Management o Answer Set Programming and its Applications o Data Mining * Track 3: Applications (chair: Osamu Takata) o Web Agents and Industrial Web Applications o Information Systems for Industry, Commerce, Government and Societal Services o Systems and Tools for Education and Research Invited Talks ------------- Ulrich Geske, Fraunhofer FIRST, Germany Railway Scheduling with Declarative Constraint Programming Virginia Dignum, Utrecht University, Netherlands Knowledge-Mediated Knowledge Management Riichiro Mizoguchi, Osaka University, Japan Ontology Engineering and its Application to Technical Knowledge Sharing Invited Tutorial ---------------- Naoyuki Tamura, Kobe University, Japan Calc/Cream: OpenOffice spreadsheet front-end for constraint programming Abstract: Calc/Cream is a constraint programming system with a spreadsheet front-end implemented on OpenOffice.org Calc and Java language. Constraint problems are described by users as cell expressions on a spreadsheet, and solutions are searched by the constraint solver and shown as cell values by the system. It is also possible to use Basic macros to customize the system. Submissions ----------- Authors are invited to submit an electronic soft-copy of their paper in either Adobe PDF or Postscript format by email. Please use the submission page (http://inap.dialogengines.com/Submission/) to establish the first contact. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at LNCS Authors and Editors page (http://www.springer.de/comp/lncs/authors.html). Submissions must be written in English and can be up to 10 pages long. All submissions must be original work. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Please, indicate clearly your preference for one of the tracks of the conference. Organizing Committee -------------------- Conference Chair: Oskar Bartenstein, IF Computer, Japan (oskar@ifcomputer.co.jp) Program Co-Chairs: Masanobu Umeda, Kyushu Institute of Technology, Japan (umerin@ci.kyutech.ac.jp) Armin Wolf, Fraunhofer FIRST, Germany (Armin.Wolf@first.fraunhofer.de) Constraints Track Chair: Ulrich Geske, Fraunhofer FIRST, Germany (geske@first.fhg.de) Knowledge Management Track Chair: Dietmar Seipel, University of Wurzburg, Germany (seipel@informatik.uni-wuerzburg.de) Applications Track Chair: Osamu Takata, Kyushu Institute of Technology, Japan (takata@ci.kyutech.ac.jp) Local Arrangement Chair: Osamu Yoshie, Waseda University, Japan (yoshie@waseda.jp) --Boundary_(ID_okxIqPxCFnke/6sQztJi+g) Content-type: text/html; charset=iso-8859-1 Content-transfer-encoding: 7BIT
  Call  For  Papers

   16th International Conference on Applications of
   Declarative Programming and Knowledge Management
      (INAP2005)

  October 22-24, 2005
  Waseda University, Fukuoka, Japan

    http://inap.dialogengines.com

Declarative Programming is an advanced paradigm for the modeling and
solving of complex problems.  This specification method has got more
and more attraction over the last years, e.g. in the domains of
databases and the processing of natural language, for the modeling and
processing of combinatorial problems, and for establishing systems for
the Web.

INAP2005 is a communicative and dense single-track conference for
intensive discussion of applications of important technologies around
Prolog, Logic Programming, Constraint Problem Solving and closely
related advanced software.  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 the submission of papers on the described fields,
especially, but not excluding, in different aspects of Declarative
Programming, Constraint Processing and Knowledge Management as well as
their use for Distributed Systems and the Web:

    * Knowledge Management, e.g. Knowledge Modeling, 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
    * Systems and Tools for academic and industrial use
    * Knowledge-based Web Services - Logic Solvers and Applications

Publications
------------
All accepted papers will be published in a technical report.  Selected
papers will be published in a post-conference proceedings volume in
the Springer Lecture Notes in Artificial Intelligence (LNAI) series
(http://www.springer.de/comp/lncs/index.html).

Important Dates
---------------
Deadline for Submission:    August 1, 2005
Notification of Authors:    August 24, 2005
Final Versions of Papers:   September 12, 2005
Conference:                 October 22 - 24, 2005

Planned Sessions
----------------
    * Track 1: Constraints (chair: Ulrich Geske)
          o CP and IP/OR and Local Search
          o CP systems
          o Optimization and Simulation of Complex Problems in
            Industry, Medicine, and Offices
    * Track 2: Knowledge Management (chair: Dietmar Seipel)
          o Knowledge Modeling and Knowledge Base Management
          o Answer Set Programming and its Applications
          o Data Mining
    * Track 3: Applications (chair: Osamu Takata)
          o Web Agents and Industrial Web Applications
  o Information Systems for Industry, Commerce, Government and
            Societal Services
          o Systems and Tools for Education and Research

Invited Talks
-------------
Ulrich Geske, Fraunhofer FIRST, Germany
Railway Scheduling with Declarative Constraint Programming

Virginia Dignum, Utrecht University, Netherlands
Knowledge-Mediated Knowledge Management

Riichiro Mizoguchi, Osaka University, Japan
Ontology Engineering and its Application to Technical Knowledge Sharing

Invited Tutorial
----------------
Naoyuki Tamura, Kobe University, Japan
Calc/Cream: OpenOffice spreadsheet front-end for constraint programming

Abstract: Calc/Cream is a constraint programming system with a
spreadsheet front-end implemented on OpenOffice.org Calc and Java
language. Constraint problems are described by users as cell
expressions on a spreadsheet, and solutions are searched by the
constraint solver and shown as cell values by the system. It is also
possible to use Basic macros to customize the system.

Submissions
-----------
Authors are invited to submit an electronic soft-copy of their paper
in either Adobe PDF or Postscript format by email.  Please use the
submission page (http://inap.dialogengines.com/Submission/) to
establish the first contact.

Authors are strongly encouraged to use LaTeX2e and the Springer llncs
class file, available at LNCS Authors and Editors page
(http://www.springer.de/comp/lncs/authors.html).

Submissions must be written in English and can be up to 10 pages long.
All submissions must be original work.  Submissions must be
unpublished and not submitted for publication elsewhere.  Work that
already appeared in unpublished or informally published workshops
proceedings may be submitted.

Please, indicate clearly your preference for one of the tracks of the
conference.

Organizing Committee
--------------------
Conference Chair:
   Oskar Bartenstein, IF Computer, Japan
   (oskar@ifcomputer.co.jp)

Program Co-Chairs:
   Masanobu Umeda, Kyushu Institute of Technology, Japan
   (umerin@ci.kyutech.ac.jp)
   Armin Wolf, Fraunhofer FIRST, Germany
   (Armin.Wolf@first.fraunhofer.de)

Constraints Track Chair:
   Ulrich Geske, Fraunhofer FIRST, Germany
   (geske@first.fhg.de)

Knowledge Management Track Chair:
   Dietmar Seipel, University of Wurzburg, Germany
   (seipel@informatik.uni-wuerzburg.de)

Applications Track Chair:
   Osamu Takata, Kyushu Institute of Technology, Japan
   (takata@ci.kyutech.ac.jp)

Local Arrangement Chair:
   Osamu Yoshie, Waseda University, Japan
   (yoshie@waseda.jp)
--Boundary_(ID_okxIqPxCFnke/6sQztJi+g)--