Return-Path: jq Received: from [193.49.104.48] ([193.49.104.48]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id MAA27736; Tue, 1 Aug 1995 12:16:57 +0200 Date: Tue, 1 Aug 1995 12:16:57 +0200 X-Sender: jq@lirmm.lirmm.fr Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Mailer: Eudora F1.5.1 To: gascuel, hr, reitz, js, Engelbert.Mephu-nguifo@lifl.fr, pierre, pompidor, vignal, cdlh, gracy@EMBL-Heidelberg.DE, jappy, vismara From: IF Computer Japan Limited (transmis par jq@lirmm.fr (yes, it's me...)) Subject: INAP 95 Program Preview and CFP I forward to you the PROGRAM PREVIEW and 2nd Call for Papers for the 8th Symposium and Exhibition on Industrial Applications of Prolog (INAP'95) to be held at the Tokyo Metropolitan Institute of Technology in Hino, Tokyo Japan, on Oct 19-20, 1995. which I just received from T. Yagihashi of Ren Associates. Please let me know if you want a postscript or faxed version. Hope you like it and find the topics interesting! Oskar Bartenstein oskar@IFComputer.co.jp Tel +81-3-3818-5826 IF Computer Japan Limited Fax +81-3-3818-5829 =========================================================================== INAP-95 The 8th Symposium and Exhibition on Industrial Applications of Prolog 19, 20 October 1995 Hino, Tokyo Japan Program Preview & 2nd Call for Papers ====================================== The Eighth Symposium and Exhibition on Industrial Applications of Prolog will be held in Tokyo Japan on 19-20 October 1995. The conference provides a forum for researchers and practitioners working on industrial Prolog applications to exchange research ideas and to share development experiences. INAP consists of technical presentations, keynote address, panel discussion, reception party and the simultaneous exhibition. Program Preview =============== Invited Talks ------------- Dr. Byoung-Youn Choi, Korea Power Corporation The KEPCO Power Distribution Expert System Mr. Al Roth, Prolog Management Group The International Prolog Market Keynote Addresses ----------------- Dr. Robin Drogemuller, James Cook University Prolog, Parsing and Product Modelling Implementing the ISO STEP Standards for Product Data Exchange Mr. David Pearce, Compulog Net Compulog Net: The Network of Excellence in Computational Logic Panel Discussion ---------------- "Design - The Intellectual Challenge: Can Prolog Assist?" Distinguished panelists address the potential of Prolog technology in industrial, commercial and societal design. Mr. Masanobu Umeda, Kyushu Institute of Technology, Mechanical Design Mr. Kazuyoshi Honda, Tokyo Gas, Architecture Design Mr. Jiro Naganuma, NTT, VLSI Design Dr. Keiji Hirata, NTT, Music Design Mr. Ryuto Fujie, Paris Miki, Fashion Design Technical Sessions ------------------ Applications, paradigms, techniques, requirements Applied Prolog Tutorials ------------------------ organized by the Prolog Association of Japan Paper Submissions Details ========================= Papers should not be more than 8 pages A4. Apply by August 18 1995 with the authors' names, mailing addresses, e-mail addresses, telephone and facsimile numbers, paper title and abstract. Authors of accepted papers are expected to present their papers at the conference. Important Dates ---------------- 18 August 1995 Deadline for application 1 September 1995 Notification of acceptance 29 September 1995 Deadline for camera-ready copies INAP Target Focus and Audience ============================== Prolog is famous as the first very high level programming language and for its unique potential as a specification, artificial intelligence and general purpose programming language. Due to the growing number and economic importance of industrial applications of Prolog based systems there is increasing need for specialized information exchange catering to a discerning and critical audience in order to discuss achievements, trends, needs and problems of commercial users. INAP is a forum to discuss results and potential of the application of Prolog in products, production, management, services and software engineering, together with requirements, tools, programming techniques and standards necessary to satisfy technological and economic constraints. Authors are invited to submit full manuscripts (max 8 pages A4) or extended abstracts in English or Japanese on applications of Prolog and related topics including but not limited to: - Prolog in services - Prolog as R&D tool - software engineering - programming techniques - programming paradigms - standardization - industrial requirements Chairman: --------- Prof. Shuichi Fukuda, Tokyo Metropolitan Institute of Technology Program Committee: ------------------ Dr. Oskar Bartenstein, IF Computer Japan, Japan Prof. Hon Wai Chun, City University, Hong Kong Dr. Alexander Herold, ECRC, Germany Prof. Tohru Ihara, Chuo University, Japan Prof. Geun Sik Jo, Inha University, Korea Prof. Uk Kim, Hong-Ik University, Korea Mr. Nobukuni Kino, Prolog Association of Japan, Japan Prof. Yoshiki Kishi, Ibaragi University, Japan Prof. Isao Nagasawa, Kyushu Institute of Technology, Japan Prof. Mihoko Okada, Suzuka Medical School, Japan Mr. Takao Ozaki, Keizo, Japan Prof. Naoyuki Tamura, Kobe University, Japan Prof. Hajime Yoshino, Meiji Gakuin University, Japan Prof. Matthew Yuen, Univ. of Science and Technology, Hong Kong Special Advisors: ----------------- Dr. Hideyuki Nakashima, Electrotechnical Laboratory, Japan Dr. Toshio Yokoi, Electronic Dictionary, Japan Sponsors: --------- IF Computer Japan Keizo REN Associates Prolog Association of Japan Support: -------- European Computer Industry Research Centre Practical Application of Prolog Association of Logic Programming Organizer: --------- REN Associates, Inc. ========================================================= INAP'95 Application Form Symposium & Exhibition on Industrial Applications of Prolog Please fill in this form and send it to the INAP Organizer: Mr. Toshiaki Yagihashi REN Associates, Inc., INAP Organizer's Office 2nd Nichika Bldg, 2-12-14 Hamamatsucho, Minato-ku, Tokyo 105 Japan Tel +81-3-3433-2543 Fax +81-3-3433-3904 Email: pfe00252@niftyserve.or.jp INAP'95: Paper Submission Application ------------------------------------- [ ] I want to present a paper at INAP'95. Title of the Paper: wish to use [ ] OHP, [ ]VTR(VHS), [ ] other equipments............ (On-line demonstration using a large screen is possible.) INAP'95: Application for Participation -------------------------------------- [ ] I want to participate as a delegate at INAP'95. [ ] Normal Delegate 10,000yen Proceedings and reception party fee included. [ ] University-related 6,000yen Proceedings and reception party fee included. [ ] Students free Proceedings and reception party fee NOT included. [ ] Member of PAJ free Reception party fee NOT included. *PAJ: Prolog Association of Japan [ ] additionally: Proceedings.....copies, (3,000yen/copy) [ ] additionally: Reception party........persons (3,000yen/person) total ................yen Hotel Request [ ] October 18 [ ] October 19 [ ] October 20 (Hotels are located within walking distance and cost 5,000 - 8,000yen per night. We will send you details if you wish a reservation.) INAP'95: Application for Exhibition Space ----------------------------------------- [ ] We want to exhibit at INAP'95. [ ] Commercial 90,000yen/unit Fees for one participant included. .........Units [ ] University 6,000yen/unit Fees for one participant .........Units WITHOUT Proceedings and reception party included. Equipment: Electricity(100V): ampere total ...........yen Name: Organization: Department: Address: Tel: Fax: E-mail: Comments: Return-Path: jq Received: from [193.49.104.48] ([193.49.104.48]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id IAA22569; Fri, 29 Sep 1995 08:24:44 +0100 X-Sender: jq@lirmm.lirmm.fr Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Mailer: Eudora F1.5.3 Date: Fri, 29 Sep 1995 08:26:36 +0100 To: gascuel, hr, reitz, js, Engelbert.Mephu-nguifo@lifl.fr, pierre, pompidor, vignal, cdlh, gracy@EMBL-Heidelberg.DE, jappy, vismara From: IF Computer Japan Limited (transmis par jq@lirmm.fr (yes, it's me...)) Subject: INAP 95 Program Preview I forward to you the Program and Application Form for the 8th Symposium and Exhibition on Industrial Applications of Prolog (INAP'95) to be held at the Tokyo Metropolitan Institute of Technology in Hino, Tokyo Japan, on Oct 19-20, 1995 which I just received from T. Yagihashi of Ren Associates. Please let me know if you want a postscript or faxed version. Hope you like it and find the topics interesting! Oskar Bartenstein oskar@IFComputer.co.jp Tel +81-3-3818-5826 IF Computer Japan Limited Fax +81-3-3818-5829 =========================================================================== INAP-95 The 8th Exhibition and Symposium on Industrial Applications of Prolog 19, 20 October 1995 Hino, Tokyo Japan Program Preview =============== Keynote Addresses ----------------- Mr. Robin Drogemuller, James Cook University Using Prolog to Implement the ISO STEP Standards Dr. David Pearce, Compulog Net Compulog Net: The Network of Excellence in Computational Logic Invited Talks ------------- Dr. Byoung-Youn Choi, Korea Power Corporation The KEPCO Power Distribution Expert System Mr. Al Roth, Prolog Management Group The International Prolog Market Panel Discussion ---------------- "Design - The Intellectual Challenge: Can Prolog Assist?" Distinguished panelists address the potential of Prolog technology in industrial, commercial and societal design. Mr. Masanobu Umeda, Kyushu Institute of Technology, Mechanical Design Mr. Kazuyoshi Honda, Tokyo Gas, Architecture Design Mr. Jiro Naganuma, NTT LSI Laboratories Dr. Keiji Hirata, NTT, Music Design Mr. Ryuto Fujie, Paris Miki, Fashion Design Technical Sessions ------------------ NEFELI: An intelligent control system for renewable energy sources Mr. M. Katzouraki et al, Institute of Informatics and Telecommunications Logic Programming with the World-Wide Web Mr. Seng Wai Loke et al, the University of Melbourne A Tabulation Method for Constraint Logic Programs Mr. Philippe Codognet Qualitative Computational Geometry for Spatial Reasoning Mr. Tamotsu Murakami, The University of Tokyo Mr. Naomasa Nakajima, The University of Tokyo A Pascal-Hichart Translator Specified in Attribute Graph Grammar and Its Implementation in Prolog Mr. Yuichi Oi, et all, Toyo University Logical Design Knowledge Capturing by Monitoring The Design Process Mr. Ken-ichi Shima, NTT Software laboratory Prolog-oriented Support of Engineering Calculations Mr. Otakar Babka et al, the University of the Orange Free State Logical Programming and Error Recovery Mr. Thierry Despeyroux Prolog in feedability analysis of castings Ms. Katalin Prasser, University of Technology Dresden Using Prolog to implement a CASE shell for Object-Oriented Development Mr. Esteban Zimanyi, Universite Libre de Bruxelles Towards a logic programming based on linear logic Mr. Mutsunori Banbara, Kobe University Mr. Eiji Sugiyama, Kobe University Mr. Kyoung Sun Kang, Kobe University Mr. Naoyuki Tamura, Kobe University High-Level VLSI Design Specification Validation Using Algorithm Debugging Mr. Jiro Naganuma, NTT LSI Laboratories A Lightweight Localizeable Document Generation System Mr. Bill Gogesch, Sun Microsystems Prototyping A Jazz Piano Knowledge Base System With A Deductive Object-Oriented Approach Dr. Keiji Hirata, NTT Basic Research Laboratories Applied Prolog Tutorials ======================== organized by the Prolog Association of Japan. INAP Target Focus and Audience ============================== Prolog is famous as the first very high level programming language and for its unique potential as a specification, artificial intelligence and general purpose programming language. Due to the growing number and economic importance of industrial applications of Prolog based systems there is increasing need for specialized information exchange catering to a discerning and critical audience in order to discuss achievements, trends, needs and problems of commercial users. INAP is a forum to discuss results and potential of the application of Prolog in products, production, management, services and software engineering, together with requirements, tools, programming techniques and standards necessary to satisfy techno- logical and economic constraints. The presented papers address: - Prolog in services - Prolog as R&D tool - software engineering - programming techniques - programming paradigms - standardization - industrial requirements Organization: ============= Chairman: -------- Prof. Shuichi Fukuda, Tokyo Metropolitan Institute of Technology Program Committee: ----------------- Dr. Oskar Bartenstein, IF Computer Japan, Japan Prof. Hon Wai Chun, City University, Hong Kong Dr. Alexander Herold, ECRC, Germany Prof. Tohru Ihara, Chuo University, Japan Prof. Geun Sik Jo, Inha University, Korea Prof. Uk Kim, Hong-Ik University, Korea Mr. Nobukuni Kino, Prolog Association of Japan, Japan Prof. Yoshiki Kishi, Ibaragi University, Japan Prof. Isao Nagasawa, Kyushu Institute of Technology, Japan Prof. Mihoko Okada, Suzuka Medical School, Japan Mr. Takao Ozaki, Keizo, Japan Prof. Naoyuki Tamura, Kobe University, Japan Prof. Hajime Yoshino, Meiji Gakuin University, Japan Prof. Matthew Yuen, Univ. of Science and Technology, Hong Kong Special Advisors: ----------------- Dr. Hideyuki Nakashima, Electrotechnical Laboratory, Japan Dr. Toshio Yokoi, Electronic Dictionary, Japan Sponsors: --------- IF Computer Japan Keizo REN Associates Prolog Association of Japan Support: -------- European Computer Industry Research Centre Practical Application of Prolog Association of Logic Programming Japanese Society for Artificial Intelligence Organizer: --------- REN Associates, Inc. The organizer reserved the right to change the program. :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: INAP'95 Application Form ======================== FAX +81-3-3433-3904 Please fill in this form and send it to the INAP Organizer: Mr. Toshiaki Yagihashi REN Associates, Inc., INAP Organizer's Office 2nd Nichika Bldg, 2-12-14 Hamamatsucho, Minato-ku, Tokyo 105 Japan Tel +81-3-3433-2543 Fax +81-3-3433-3904 Email: pfe00252@niftyserve.or.jp INAP'95: Application for Participation -------------------------------------- I want to participate as a delegate at INAP'95. Normal Delegate 10,000yen Proceedings and reception party fee included. University-related 6,000yen Proceedings and reception party fee included. Students free Proceedings and reception party fee NOT included. Member of Prolog free Reception party fee NOT included. Association of Japan additionally: Proceedings.....copies, (3,000yen/copy) additionally: Reception party........persons (3,000yen/person) total ................yen Hotel Request October 18 October 19 October 20 (Hotels are located within walking distance and cost 5,000 - 8,000yen per night. We will send you details if you wish a reservation. ) INAP'95: Application for Exhibition Space ----------------------------------------- We want to exhibit at INAP'95. Commercial 90,000yen/unit Fees for one participant included. ........Units University 6,000yen/unit Fees for one participant WITHOUT Proceedings \\ ........Units and reception party included. Equipment: Electricity(100V): ampere total ...........yen Name: Organization: Department: Address: Tel: Fax: E-mail: Comments: IF Computer Japan Limited (ifcj@IFComputer.co.jp) Fri, 29 Sep 95 10:55:13 JST INAP-95 The 8th Exhibition and Symposium on Industrial Applications of Prolog 19, 20 October 1995 Hino, Tokyo Japan Program Preview =============== Keynote Addresses _____- Mr. Robin Drogemuller, James Cook University Using Prolog to Implement the ISO STEP Standards Dr. David Pearce, Compulog Net Compulog Net: The Network of Excellence in Computational Logic Invited Talks ____- Dr. Byoung-Youn Choi, Korea Power Corporation The KEPCO Power Distribution Expert System Mr. Al Roth, Prolog Management Group The International Prolog Market Panel Discussion _____- "Design - The Intellectual Challenge: Can Prolog Assist?" Distinguished panelists address the potential of Prolog technology in indus- trial, commercial and societal design. Mr. Masanobu Umeda, Kyushu Institute of Technology, Mechanical Design Mr. Kazuyoshi Honda, Tokyo Gas, Architecture Design Mr. Jiro Naganuma, NTT LSI Laboratories Dr. Keiji Hirata, NTT, Music Design Mr. Ryuto Fujie, Paris Miki, Fashion Design Technical Sessions ______ NEFELI: An intelligent control system for renewable energy sources Mr. M. Katzouraki et al, Institute of Informatics and Telecommunications Logic Programming with the World-Wide Web Mr. Seng Wai Loke et al, the University of Melbourne A Tabulation Method for Constraint Logic Programs Mr. Philippe Codognet Qualitative Computational Geometry for Spatial Reasoning Mr. Tamotsu Murakami, The University of Tokyo Mr. Naomasa Nakajima, The University of Tokyo A Pascal-Hichart Translator Specified in Attribute Graph Grammar and Its Implementation in Prolog Mr. Yuichi Oi, et all, Toyo University Logical Design Knowledge Capturing by Monitoring The Design Process Mr. Ken-ichi Shima, NTT Software laboratory Prolog-oriented Support of Engineering Calculations Mr. Otakar Babka et al, the University of the Orange Free State Logical Programming and Error Recovery Mr. Thierry Despeyroux Prolog in feedability analysis of castings Ms. Katalin Prasser, University of Technology Dresden Using Prolog to implement a CASE shell for Object-Oriented Development Mr. Esteban Zimanyi, Universite Libre de Bruxelles Towards a logic programming based on linear logic Mr. Mutsunori Banbara, Kobe University Mr. Eiji Sugiyama, Kobe University Mr. Kyoung Sun Kang, Kobe University Mr. Naoyuki Tamura, Kobe University High-Level VLSI Design Specification Validation Using Algorithm Debug- ging Mr. Jiro Naganuma, NTT LSI Laboratories A Lightweight Localizeable Document Generation System Mr. Bill Gogesch, Sun Microsystems Prototyping A Jazz Piano Knowledge Base System With A Deductive Object-Oriented Approach Dr. Keiji Hirata, NTT Basic Research Laboratories Applied Prolog Tutorials ======================== organized by the Prolog Association of Japan. INAP Target Focus and Audience ============================== Prolog is famous as the first very high level programming language and for its unique potential as a specification, artificial intelligence and general purpose programming language. Due to the growing number and economic importance of industrial appli- cations of Prolog based systems there is increasing need for specialized in- formation exchange catering to a discerning and critical audience in order to discuss achievements, trends, needs and problems of commercial users. INAP is a forum to discuss results and potential of the application of Pro- log in products, production, management, services and software engineering, together with requirements, tools, programming techniques and standards necessary to satisfy techno- logical and economic constraints. The presented papers address: - Prolog in services - Prolog as R&D tool - software engineering - programming techniques - programming paradigms - standardization - industrial requirements Organization: ============= Chairman: __- Prof. Shuichi Fukuda, Tokyo Metropolitan Institute of Technology Program Committee: _____- Dr. Oskar Bartenstein, IF Computer Japan, Japan Prof. Hon Wai Chun, City University, Hong Kong Dr. Alexander Herold, ECRC, Germany Prof. Tohru Ihara, Chuo University, Japan Prof. Geun Sik Jo, Inha University, Korea Prof. Uk Kim, Hong-Ik University, Korea Mr. Nobukuni Kino, Prolog Association of Japan, Japan Prof. Yoshiki Kishi, Ibaragi University, Japan Prof. Isao Nagasawa, Kyushu Institute of Technology, Japan Prof. Mihoko Okada, Suzuka Medical School, Japan Mr. Takao Ozaki, Keizo, Japan Prof. Naoyuki Tamura, Kobe University, Japan Prof. Hajime Yoshino, Meiji Gakuin University, Japan Prof. Matthew Yuen, Univ. of Science and Technology, Hong Kong Special Advisors: _____- Dr. Hideyuki Nakashima, Electrotechnical Laboratory, Japan Dr. Toshio Yokoi, Electronic Dictionary, Japan Sponsors: ___ IF Computer Japan Keizo REN Associates Prolog Association of Japan Support: __- European Computer Industry Research Centre Practical Application of Prolog Association of Logic Programming Japanese Society for Artificial Intelligence Organizer: ___ REN Associates, Inc. The organizer reserved the right to change the program. :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: INAP'95 Application Form ======================== FAX +81-3-3433-3904 Please fill in this form and send it to the INAP Organizer: Mr. Toshiaki Yagihashi REN Associates, Inc., INAP Organizer's Office 2nd Nichika Bldg, 2-12-14 Hamamatsucho, Minato-ku, Tokyo 105 Japan Tel +81-3-3433-2543 Fax +81-3-3433-3904 Email: pfe00252@niftyserve.or.jp INAP'95: Application for Participation ____________- I want to participate as a delegate at INAP'95. Normal Delegate 10,000yen Proceedings and reception party fee included. University-related 6,000yen Proceedings and reception party fee included. Students free Proceedings and reception party fee NOT included. Member of Prolog free Reception party fee NOT included. Association of Japan additionally: Proceedings.....copies, (3,000yen/copy) additionally: Reception party........persons (3,000yen/person) total ................yen Hotel Request October 18 October 19 October 20 (Hotels are located within walking distance and cost 5,000 - 8,000yen per night. We will send you details if you wish a reservation. ) INAP'95: Application for Exhibition Space _____________- We want to exhibit at INAP'95. Commercial 90,000yen/unit Fees for one participant included. .........Units University 6,000yen/unit Fees for one participant WITHOUT Proceedings .........Units and reception party included. Equipment: Electricity(100V): ampere total ...........yen Name: Organization: Department: Address: Tel: Fax: E-mail: Comments: