🚀 go-pugleaf

                             I C L P ' 9 5
           12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING

                           JUNE 13--18, 1995

                         Shonan Village Center
                  Hayama-machi, Kanagawa 240-01, Japan


GREETINGS -- Welcome to ICLP'95

The Twelfth International Conference on Logic Programming (ICLP'95) will
be held in Shonan Village Center from June 13 to 18, 1995, sponsored by
the Association for Logic Programming and Keio Institute of
Environmental Information, Keio University.

The field of logic programming has grown as a result of truly
international research activities conducted in the last two decades. 
Many researchers all over the world contributed to the growth of the
field.  It is our great pleasure to hold the conference in Japan, where
a lot of logic programming research has been done mainly through the
activities of the Fifth Generation Computer Systems (FGCS) project.  The
FGCS project started in 1982, when the first ICLP was held in
Marseilles, and continued for 13 years.  International research
activities on logic programming greatly supported the project and led it
to tremendous success.

The field of logic programming is now getting mature and we are
confronting a rather steady state where new breakthroughs are hoped for.
Fortunately, many interesting research directions are emerging where new
turns are expected.

Forty-eight technical papers will be presented in the first four days. 
In addition, there will be a poster session on June 14 as a forum of
discussion on interesting approaches and solutions in logic programming.
Five post-conference workshops will be held on June 17 and/or 18.

Eight distinguished researchers have been invited to ICLP'95: two for
invited lectures and six for advanced tutorials.  Shunichi Uchida will
give a talk on the summary of the FGCS project and the future of its
technology.  Kenneth Kahn will present a fascinating concurrent
constraint programming system that employs animated cartoons.

As for advanced tutorials, Ryuzo Hasegawa will present the
implementation and applications of a very fast bottom-up theorem prover
called MGTP, which runs on Parallel Inference Machines (PIM) developed
at ICOT.  Stephen Muggleton will introduce inductive logic programming,
which is a new, rapidly evolving subfield of both logic programming and
machine learning.  Lee Naish will talk about pruning operators, an
important issue in making logic programming more practical and efficient
while keeping its declarative nature.  Kazunori Ueda will talk about
strong mode systems in concurrent logic programming that play
fundamental roles both in programming and implementation as type systems
do.  Helmut Simonis will talk about various real-life applications of
constraint logic programming.  Gert Smolka will explain the concurrent
constraint logic programming language Oz.  These two talks will
demonstrate the importance and usefulness of constraint logic
programming.

Kazuhiro Fuchi, who used to lead the FGCS project for 11 years, kindly
accepted our invitation as a Banquet Speaker.

Shonan Village Center is a new conference site located at the top of a
hill overlooking the Pacific Ocean.  Its amenities and quiet atmosphere
will be best suited for an academic conference.  We hope many
researchers in the field of logic programming and related fields will
meet at the conference and discuss various aspects of logic programming
to further promote this attractive and important research field.
				
ICLP'95 will be held in cooperation with:

 - Prolog Management Group,
 - Information Processing Society of Japan,
 - Japan Society for Software Science and Technology,
 - Japanese Society for Artificial Intelligence,
 - Japanese Cognitive Science Society,
 - the Association for Natural Language Processing, and
 - Prolog Association of Japan.

ICLP'95 is supported by Inoue Foundation for Science and the following
companies (in alphabetical order): Fujitsu Ltd., Fuji Xerox Co., Ltd.,
Hitachi, Ltd., Matsushita Electric Industrial Co., Ltd., Mitsubishi
Electric Corp., NEC Corp., Oki Electric Industry Co., Ltd., Sharp Corp.,
and Toshiba Corp.  On behalf of the organizing committee, we would like
to express our deep thanks to all of these foundations and companies for
their support grant.

March 10, 1995
Conference Co-chairs
Koichi Furukawa, Keio University
Kazunori Ueda,   Waseda University
========================================================================
The latest information on ICLP'95 will be found in the newsgroup
comp.lang.prolog} and also in the WWW page
http://daigo.sfc.keio.ac.jp/iei/iclp95.html}.
========================================================================