🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.lang.prolog
Article #139

[CFP] Industrial Applications of Prolog INAP'96

#139
From: Oskar Bartenstein
Date: Wed, 19 Jun 1996 00:00
339 lines
13944 bytes
��9��Prolog���ȱ��ѥ���ݥ����� INAP'96

	- ��ʸ�罸 
	- INAP'96 Program Framework   (TENTATIVE)
	- INAP'96 Information Request Sheet




INAP-96 
��9��Prolog���ȱ��ѥ���ݥ�����
Symposium & Exhibition on Industrial Applications
of Prolog

1996ǯ10��16 - 19��
�����Ω�ʳص������, ���������� 
=================================================


��ʸ�罸 
--------
��9��Prolog���ȱ��ѥ���ݥ����� (INAP'96)�ϡ�1996ǯ10��16-19��ˡ� �����Ω
�ʳص�����ؤdz��Ť���ޤ��� INAP�ϡ�Prolog�λ���ʬ��Ǥα��Ѥ˷Ȥ��
�Ƥ��븦��ԡ���̳�Ԥ� ���泫ȯ�Υ����ǥ���򴹤�����ȯ�ηи���ͭ����
����Υե������Ǥ��� ��Ĵ�ֱ顦���Թֱ顦���ֱ̹顦�ѥͥ�ǥ�������
����� Ÿ����������ӿ��Ӳ񤬹Ԥʤ��ޤ��� 

ȯɽ������ˡ 
------------
�����������ڴ�¤ޤǤˡ�ȯɽ�Ԥλ�̾(�դ꤬���դ�)���Żҥ᡼�륢�ɥ쥹
�� ���ꡦ��°�����á��ե������ߥ��ֹ桦��ʸ��̾(���ܸ���ʸ�ξ��ϡ���
̾�� ���ξ��)����������겼������ ��ʸ���Ƥ����ܸ�ޤ��ϱѸ��A4��
8�ڡ������⡢ ȯɽ�����ܸ�ޤ��ϱѸ��20-30ʬ����Ǥ��� 

        ������������             1996ǯ6��20��
        �ܺ�Ϣ��                 1996ǯ7��20��
        ��������                 1996ǯ9��20��

INAP���о�ʬ�� 
--------------
Prolog�ϡ����Ƥι��٤ʥץ?��ߥ󥰸���Ȥ��ơ��ޤ������͵��Ҹ��졦
�͹���ǽ�Ѹ��졦���ѥץ?��ߥ󥰸���Ȥ����Τ��Ƥ��ޤ��� 

Prolog���Ĵ�Ȥ��������ƥ�λ��ȱ��Ѥ�����Ū�ˤ�к�Ū�ˤ� ����������
�Ƥ����Τ�����ơ� ����ʬ��Υ桼���������̡�������ɬ����������������
���礦����ˡ� �ط��Ԥ˾�����󶡤�������򴹤�ޤ뤳�Ȥ�ɬ�פˤʤäƤ���
������ 

INAP�ϡ����ʡ�������������ӥ������եȥ��������ؤˤ����� Prolog��
���Ѥη�̤���Ӥ���ǽ�ϤˤĤ��ơ� �ޤ�������Ū���к�Ū���������������
��ɬ�פ��׷�ġ��롦�ץ?��ߥ󥰵��ѡ�ɸ��ˤĤ����ä��礦�ե�����
��Ǥ��� 

ȯɽ��˾�Ԥϡ� 

         - �����������                  - ���󥫥��ȡ����󥸥˥����
         - �ӥ��ͥ��ץ?��              - ���쥯�ȥ�˥å������ޡ���
         - �߷�                  - ʸ�����
         - �������󥸥˥����                  - ��Ŭ��
         - �ʼ�����              - �ޥ����ǥ���
         - �Ļ벽

��ʬ��뤤�Ϥ���ʳ���ʬ���Prolog�α��Ѥ˴ؤ���ȯɽ����礷�Ʋ�����
�� 

��ʸ�����褪����䤤��碌��: 
-----------------------------
INAP��̳�� 
��105 ����Թ����;�Į2-12-14 Ϣ����� 
Tel 03-3433-2543 Fax 03-5403-7216
ren.associates@jsn.justnet.or.jp
http://www.biz.isar.de/ifcomputer/inap96/ 

Ÿ������Ԥ�����դ��Ƥ��ޤ���Ʊ����ʸ������ޤ� ���䤤��碌�������� 

���: 
=====
INAP �¹԰Ѱ��� 
����Prolog���� 

�ץ?���Ѱ�Ĺ: 
ʡ�� ��졢��Ω�ʳص������ 

�ץ?���Ѱ�: 
��ã ͳ�Ρ�������� 
Oskar Bartenstein, IF Computer, Japan 
Key-Sun Choi, KAIST, Center for Artificial Intelligence Research, Korea 
Hon Wai Chun, City University, Hong Kong
Andrew Davison, University of Melbourne, Australia 
Robin Drogemuller, James Cook Univ of North Queensland, Australia 
Alexander Herold, ECRC, Germany 
�渶 Ʃ�������� 
�� ���������� 
Geun Sik Jo, Inha University, Korea
Uk Kim, Hong-Ik University, Korea
�� ��ˮ���������å�
�� ��������� 
Ĺ߷ �����彣������� 
���� ���ݻҡ��뼯���Ųʳص������ 
��� δ�硢���� 
David Pearce, German Research Center for Artificial Intelligence, Germany 
Alli Roth, Prolog Management Group, UK 
Roger Scowen, National Physical Laboratory, UK 
Gert Smolka, German Research Center for Artificial Intelligence, Germany 
��¼ ľǷ��������� 
���� ��Ϻ��������� 
���� ��ˡ�ʡ��������� 
���� δͺ��������� 
���� �������彣������� 
�ȹ� ������������� 
���� �졢�����ر���� 
Matthew Yuen, Univ. of Science and Technology, Hong Kong

����: 
���� ��Ƿ���Żҵ�����縦��� 
���� ���ס��Żҵ�����縦��� 

����: 
Association of Logic Programming 
bit ����ԥ塼���������󥹻�
Compulog Net
EU-Japan Centre for Industrial Cooperation
European Computer Industry Research Centre
German Research Center for Artificial Intelligence 
����ɥ��ľ�����Ľ� 
German National Research Center for Computer Science 
International Society for Applied Intelligence 
International Society for Productivity Enhancement 
����ǧ�βʳز� 
�͹���ǽ�ز� 
Korean Advanced Institute of Science and Technology 
Practical Application of Prolog 
Prolog Management Group 
���ܥ�ܥåȳز� 

��̳��: 
Ϣ��� 




INAP'96 Program Framework   (TENTATIVE)        update 96/06/17
==============================================================

Overview of Special Focus Sessions, Invited Keynotes,
Tutorials, and  early bird paper submissions.


Advanced Languages
------------------

1 (tutorial)
  Norbert Fuchs, Rolf Schwitter  (PENDING)
  University of Zurich, Switzerland
  ACE/Controlled English for executable specifications

2 (tutorial)
  Joe Armstrong
  Ericsson, Sweden
  Erlang - a survey of the language and its industrial applications

3 (tutorial)
  Fergus Henderson
  The University of Melbourne, Australia
  Mercury - a declarative programming language for
  industrial-strength applications

4 (tutorial)
  Francis G. McCabe
  Fujitsu Laboratories Ltd., Japan
  April - An Agent Programming Language for the Internet


Internet Technologies
---------------------
5 (invited keynote)
  Paul Tarau
  University of Moncton, Canada
  Logic Programming and Virtual Worlds

6 (tutorial)
  Mary Kroening et al (PENDING)
  Amzi! inc., USA
  The Amzi Web Logic Server for HTML/CGI applications

7 (paper)
  Stephane Bressan
  ECRC, Germany
  Philippe Bonnet
  Bull, France
  The ECLiPSe HTTP-Library

8 (tutorial)
  Andrew Davison
  Prince of Songkla University, Thailand
  LogicWeb: Enhancing the Web with Logic Programming
  

Software Engineering and Quality Management
-------------------------------------------
9 (invited keynote)
  Karl Reed
  La Trobe University, Australia
  Towards an Engineering Discipline ...The Nature of Software Engineering,
  Problems, Futures and Directions

10 (tutorial)
  Gerl Venzl et al
  Siemens AG Corporate R&D, Germany
  Boosting the quality and maintainability of 
  Prolog applications by new static analysis techniques.

11 (tutorial)
  David Sedlock (PENDING)
  STEP GmbH, Germany
  The Task Manager - Software Project Management with WWW

Traffic Systems & Decision Support
----------------------------------

12 (paper)
  Cristina Baboescu
  The University of Electro-Communications
  (Railway Technical Research Institute), Japan
  Constraint Logic Implementation of a Decision Support System
  for Transportation Planning

13 (paper)
  Virginia Dignum, Jan van der Vorst
  NedCar BV., Netherlands
  Frank Dignum
  Eindhoven University of Technology, Netherlands
  Datamining in a vehicle configuration system using Prolog

14 (paper)
  Leo Obrst, Krishna Nanda Jha, Gary Coen
  Boeing Helicopters, USA
  Mass Change of On-line Textual Databases using
  Natural Language Processing
 
Agents and Cooperative Systems
------------------------------
15 (tutorial)
  Hiroki "Hammer" Ohama
  NTT Data Corporation, Japan
  Application of SRI Open Agent Architecture to Information Retrieval

Other Sessions
--------------
16 (paper)
  Helen Lowe
  Napier University, Scotland
  Proof Planning & Configuration 

17 (paper)
  Masayoshi Takada
  Mitsubishi Chemical, Japan
  Production Scheduling System introducing CSP of operator's skill
  ���Ŀ����ʤ��������ޤ��褷��
  ��ɩ���س������ �������� �ù������ѥ��󥿡�
  ��ȼԥ�������������Ƴ�������������塼��󥰥����ƥ�

18 (paper)
  Takanori Imaki, Yoshihiro Adachi, Kensei Tsuchida, Takeo Yaku
  Toyo University, Japan
  Tree Drawing by Constraints Logic Programming
  ���ڹ�ů ��ãͳ�� ���ĸ��� �������
  ������ع��������󹩳ز�
  ��������ץ?��ߥ󥰤ˤ���ڤ�����ġ���

19 (paper)
  Gabriella Kokai
  University of Erlangen-Nurnberg, Germany
  Zoltan Alexin
  Jozsef Attila University, Hungary
  Tibor Gymothy
  Hungarian Academy of Sciences
  Learning Biomedical Patterns




INAP'96 Information Request Sheet    Fax +81-3-5403-7216
========================================================

TO:    INAP
       ��105 ����Թ����;�Į2-12-14��2��ӥ�
       �������Ϣ��踦���̳��
       Ȭ�ڶ�  ��  
       Tel +81-3-3433-2543
       Fax +81-3-5403-7216
       ren.associates@jsn.justnet.or.jp


���INAP'96�˶�̣������ޤ�:

    o  ��ʸȯɽ�������Ȼפ��ޤ���������̾��
       ________________________________________________

    o  �ȿ�����ɽ�Ȥ��ơ����ä������ȹͤ��Ƥ��ޤ���
       ��������äƲ�������

    o  INAP�˻��ä������ȹͤ��Ƥ��ޤ�����������äƲ�������

    o  ��β�Ҥ�INAP�Υ��ݥ󥵡��ˤʤ뤳�Ȥ�Ƥ���Ƥ��ޤ���
       ���ݥ󥵡���Ϣ�ξ�����Τ餻��������

    o  Ÿ����Ƥ���Ƥ��ޤ���Ÿ���˴ؤ��������Τ餻��������

    o  �ʲ��Υơ��ޤǤΥ������åפ򳫤����Ȥ�ͤ��Ƥ��ޤ���
       ________________________________________________

    o  �ʲ��Υơ��ޤΥ��å����ε�Ĺ�򤹤뤳�Ȥ��Ǥ��ޤ���
       ________________________________________________

    o  ��ν�°�ȿ��ϡ�INAP�ζ����ȿ��ˤʤ뤳�Ȥ�Ƥ���Ƥ��ޤ���
       Ϣ����Ԥ����Ƥ��ޤ���

    o  �䤢�뤤�ϰʲ��οͤ�INAP�Υץ?��ॳ�ߥåƥ����Ȥ���
       �������ޤ���
       ________________________________________________

������:
            ����: ��___________________________________
       ���/�ع�: _____________________________________
        ��°����: _____________________________________
            ̾��: _____________________________________
             Tel: _____________________________________
             Fax: _____________________________________
           email: _____________________________________
             WWW: _____________________________________
 ������/������: 

____________________________________________________________________
Dr. Oskar Bartenstein                            Tel +81-3-5814-3352
IF Computer Japan Limited                        Fax +81-3-5814-3357
5-28-2 Sendagi, Bunkyo-ku                       oskar@IFComputer.com
Tokyo 113 Japan                    http://www.biz.isar.de/ifcomputer
Technical Details
Message-ID: <31C7B4D0.211CC5FC@IFComputer.co.jp>
Path: arc1-ca.pugleaf.net!unknown!not-for-mail

Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,EUC-JP
X-Google-Thread: 1217ff,a7002244d77e048,start
X-Google-Attributes: gid1217ff,public
From: Oskar Bartenstein <oskar@IFComputer.co.jp>
Subject: [CFP] Industrial Applications of Prolog INAP'96
Date: 1996/06/19
Message-ID: <31C7B4D0.211CC5FC@IFComputer.co.jp>
X-Deja-AN: 161007458
content-type: text/plain; charset=iso-8859-1
organization: IF Computer Japan Limited
mime-version: 1.0
newsgroups: fj.lang.prolog
content-disposition: inline; filename="netCFP9606_jp.txt"
x-mailer: Mozilla 2.0 (X11; I; Linux 1.2.8 i586)