[bp-users]INAP 2005 CFP

Wed, 01 Jun 2005 00:47:53 -0700

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

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2900.2627" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV>
<DIV>&nbsp; Call&nbsp; For&nbsp; 
Papers &nbsp;&nbsp; 16th International Conference on Applications 
of &nbsp;&nbsp; Declarative Programming and Knowledge 
Management &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (INAP2005) &nbsp; October 
22-24, 2005 &nbsp; Waseda University, Fukuoka, 
Japan &nbsp;&nbsp;&nbsp; <A href="">http://inap.dialogengines.com</A> Declarative 
Programming is an advanced paradigm for the modeling and solving of complex 
problems.&nbsp; 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.&nbsp; 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: &nbsp;&nbsp;&nbsp; * Knowledge Management, e.g. Knowledge Modeling, 
Data Mining, &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Decision Support, Deductive 
Databases &nbsp;&nbsp;&nbsp; * Distributed Systems and the Web, e.g. Agents 
and Concurrent &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Engineering, Semantic 
Web &nbsp;&nbsp;&nbsp; * Constraints, e.g. Constraint Systems, Extensions of 
Constraint &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Logic) 
Programming &nbsp;&nbsp;&nbsp; * Theoretical Foundations, e.g. Deductive 
Databases, Nonmonotonic &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Reasoning &nbsp;&nbsp;&nbsp; * Systems and Tools for academic and industrial 
use &nbsp;&nbsp;&nbsp; * Knowledge-based Web Services - Logic Solvers and 
Applications Publications ------------ All accepted papers will be 
published in a technical report.&nbsp; Selected papers will be published in a 
post-conference proceedings volume in the Springer Lecture Notes in 
Artificial Intelligence (LNAI) series (<A href="">http://www.springer.de/comp/lncs/index.html</A>). Important Dates --------------- Deadline for 
Submission:&nbsp;&nbsp;&nbsp; August 1, 2005 Notification of 
Authors:&nbsp;&nbsp;&nbsp; August 24, 2005 Final Versions of 
Papers:&nbsp;&nbsp; September 12, 
2005 Conference:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
October 22 - 24, 2005 Planned 
Sessions ---------------- &nbsp;&nbsp;&nbsp; * Track 1: Constraints 
(chair: Ulrich Geske) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
o CP and IP/OR and Local 
Search &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; o CP 
systems &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; o Optimization 
and Simulation of Complex Problems 
in &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Industry, Medicine, and Offices &nbsp;&nbsp;&nbsp; * Track 2: Knowledge 
Management (chair: Dietmar 
Seipel) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; o Knowledge 
Modeling and Knowledge Base 
Management &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; o Answer 
Set Programming and its 
Applications &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; o Data 
Mining &nbsp;&nbsp;&nbsp; * Track 3: Applications (chair: Osamu 
Takata) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; o Web Agents 
and Industrial Web Applications &nbsp; o Information Systems for Industry, 
Commerce, Government 
and &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Societal Services &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 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.&nbsp; Please use the submission page (<A href="">http://inap.dialogengines.com/Submission/</A>) 
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 (<A href="">http://www.springer.de/comp/lncs/authors.html</A>). Submissions must be written in English and can be up to 10 
pages long. All submissions must be original work.&nbsp; Submissions must 
be unpublished and not submitted for publication elsewhere.&nbsp; 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: &nbsp;&nbsp; Oskar 
Bartenstein, IF Computer, Japan &nbsp;&nbsp; (<A href="">oskar@ifcomputer.co.jp</A>) Program 
Co-Chairs: &nbsp;&nbsp; Masanobu Umeda, Kyushu Institute of Technology, 
Japan &nbsp;&nbsp; (<A href="">umerin@ci.kyutech.ac.jp</A>) &nbsp;&nbsp; Armin 
Wolf, Fraunhofer FIRST, Germany &nbsp;&nbsp; (<A href="">Armin.Wolf@first.fraunhofer.de</A>) Constraints Track Chair: &nbsp;&nbsp; Ulrich Geske, 
Fraunhofer FIRST, Germany &nbsp;&nbsp; (<A href="">geske@first.fhg.de</A>) Knowledge Management 
Track Chair: &nbsp;&nbsp; Dietmar Seipel, University of Wurzburg, 
Germany &nbsp;&nbsp; (<A href="">seipel@informatik.uni-wuerzburg.de</A>) Applications Track Chair: &nbsp;&nbsp; Osamu Takata, Kyushu 
Institute of Technology, Japan &nbsp;&nbsp; (<A href="">takata@ci.kyutech.ac.jp</A>) Local Arrangement 
Chair: &nbsp;&nbsp; Osamu Yoshie, Waseda University, Japan &nbsp;&nbsp; 
(<A href="">yoshie@waseda.jp</A>)</DIV></DIV></BODY></HTML>

--Boundary_(ID_okxIqPxCFnke/6sQztJi+g)--