Schedule
Tuesday, October 15
18:00-20:00 Registration (Hotel)
WELCOME DRINK
Wednesday, October 16
9:00 Registration (Conference Site)
Session: Decision Support
9:55-10:25 Tutorial:
Philippe Codognet,
INRIA - Rocquencourt, France,
* Finite Domain Constraint Solving in Constraint Logic Programming
10:25-10:50 Paper:
Nelson Donovon, David Gilbert,
City University, United Kingdom,
* Economic Modelling using Constraint Logic Programming
10:50-11:15 Paper:
Cristina Baboescu,
The University of Electro-Communications,
(Railway Technical Research Institute), Japan,
* Constraint Logic Implementation of a Decision Support System
for Transportation Planning
COFFEE
11:30-12:15 Tutorial:
Niall Murtagh
Mitsubishi Electric, Japan
* Constraint-Based Reasoning Applied to Engineering Design
Session: Internet Technologies
12:15-13:00 Tutorial:
Andrew Davison
Prince of Songkla University, Thailand
* LogicWeb: Enhancing the Web with Logic Programming
LUNCH
14:00-14:30 Tutorial:
Francis G. McCabe
Fujitsu Laboratories Ltd., Japan
* April - An Agent Programming Language for the Internet
14:30-14:55 Paper:
Stephane Bressan
MIT, USA
Philippe Bonnet
Bull, France
* The ECLiPSe HTTP-Library
COFFEE
Session: Tools & Implementations
15:25-15:50 Paper:
Archana Shankar, David Gilbert and Michael Jampel
City University, United Kingdom
* Transient Analysis and Synthesis of Linear Circuits
using Constraint Logic Programming
15:50-16:15 Paper:
Takanori Imaki, Yoshihiro Adachi, Kensei Tsuchida, Takeo Yaku
Toyo University, Japan
* Tree Drawing by Constraints Logic Programming
16:15-16:40 Paper:
Naoyuki Tamura, Yukio Kaneda
Kobe University, Japan
* A WAM Model for a Linear Logic Programming Language
COFFEE
Keynote Speech
16:55-17:55 Keynote Speech:
Paul Tarau
University of Moncton, Canada
* Logic Programming and Virtual Worlds
RECEPTION PARTY
Thurday, October 17
Session: Practical Applications I
9:55-10:25 Paper:
Maria Kambi, David Gilbert
City University, United Kingdom
* Timetabling in Constraint Logic Programming
10:25-10:50 Paper:
Helen Lowe
Napier University, Scotland
Michal Pechoucek, & Alan Bundy
University of Edinburgh, Scotland
* Proof Planning & Configuration
10:50-11:15 Paper:
Masayoshi Takada
Mitsubishi Chemical, Japan
* Production Scheduling System introducing CSP of operator's skill
COFFEE
11:30-12:15 Tutorial:
Hiroki "Hammer" Ohama
NTT Data Corporation, Japan
* Application of SRI Open Agent Architecture to Information Retrieval
12:15-13:00 Tutorial:
Joe Armstrong
Ericsson, Sweden
* Erlang - a survey of the language and its industrial applications
LUNCH
Poster Session: Practical Applications II
14:00-15:25
Poster:
Robin Drogemuller
James Cook University, Australia
Oskar Bartenstein
IF Computer, Japan
* Distributed Support for Integrated Building Design and Construction
Poster:
Norbert Fuchs, Rolf Schwitter
University of Zurich, Switzerland
* ACE/Controlled English for executable specifications
Poster:
Leo Obrst, Krishna Nanda Jha, Gary Coen
Boeing Helicopters, USA
* Mass Change of On-line Textual Databases using
Natural Language Processing
Poster:
Harold Trannois, Jean-Luc Deleage, Thierry Capitaine, Andre Lebrun
CURASI, LITP-IBP
* How to Distribute Prolog Knowledge for Car Traffic Simulation
Poster:
Takushi Tanaka
Fukuoka Institute of Technology, Japan
* Logic Grammar for Electronic Circuits
Poster:
Frederic Benhamou
Universite d'Orleans
* Presentation of Prolog IV
Exhibition:
Logic Programming Associates
Exhibition:
The Practical Application Company
Exhibition:
IF Computer Japan
Exhibition:
Prolog Association of Japan
COFFEE
Session: Data-Mining & Learning
15:25-15:50 Paper:
Tomonobu Ozaki, Koichi Furukawa
Keio University, Japan
* Prolog Implementation of PROGOL based on Bottom-up Computation
15:50-16:15 Paper:
Gabriella Kokai
University of Erlangen-Nurnberg, Germany
Zoltan Alexin
Jozsef Attila University, Hungary
Tibor Gymothy
Hungarian Academy of Sciences
* Learning Biomedical Patterns
16:15-16:40 Paper:
Virginia Dignum, Origin BV
Jan van der Vorst NedCar BV.
Frank Dignum, Eindhoven University of Technology, Netherlands
* Datamining in a vehicle configuration system using Prolog
COFFEE
Invited Talk
16:55-17:55 Invited Talk:
Karl Reed
La Trobe University, Australia
* Towards an Engineering Discipline ...The Nature of Software Engineering,
Problems, Futures and Directions
DINNER
Friday, October 18
Session: Advanced Methods & Beyond Prolog
9:55-10:25 Paper:
Ryuichi Hoshi, Osamu Yoshie
Science University of Tokyo, Japan
* View update by Query Analysis
10:25-10:50 Paper:
Kohji Itoh
Science University of Tokyo
* A system to support learning Prolog with templates and examples
10:50-11:15 Paper:
Yoshihiro Adachi, Takanori Imaki, Suguru Kobayashi
Toyo University, Japan
* Prolog Visualization Based on Attribute Graph Grammer
COFFEE
11:30-12:15 Tutorial:
Gerd Venzl et al
Siemens AG Corporate R&D, Germany
* Boosting the quality and maintainability of
Prolog applications by new static analysis techniques.
12:15-13:00 Tutorial:
Fergus Henderson
The University of Melbourne, Australia
* Mercury - a declarative programming language for
industrial-strength applications
LUNCH - CLOSING
Up
read on...
