🚀 go-pugleaf

         --- Second Announcement and Call for Participation ---

                    Workshop on Automated Deduction
      --- Logic Programming and Parallel Computing Approaches ---
                              June 6, 1992
                     Shiba Park Hotel, Tokyo, Japan

                          in conjunction with
                      International Conference on
                 Fifth Generation Computer Systems 1992
                             June 1-5, 1992


Automated deduction can expand the expressiveness and deductive power of
logic programming.  At the same time, logic programming methods can be
employed in the implementation of efficient or easily prototyped automated
deduction systems.  Automated deduction is a demanding symbolic-computing
application that requires substantial computing resources as well as
efficient implementation.  Parallel processors are becoming the most
cost-effective method for providing fast computing.  This workshop is
devoted to exploring the mutual contributions and benefits of automated
deduction, logic programming, and parallel computing.

This workshop aims to bring together researchers working in theory,
algorithm design, implementation, and applications, and enable the
free exchange of ideas.  The workshop will be informal in character,
close interaction being the major aim.

PAPER SUBMISSIONS AND WORKSHOP ATTENDANCE: 

Please submit an EXTENDED ABSTRACT (maximum 5 double-spaced pages) to
Masayuki Fujita by March 31, 1992.  The author's e-mail address(es) must
appear on the front page of the submission.
        
We also welcome participants who will not make presentations.  However,
because of space limitations, the name(s), address(es), and e-mail
address(es) of such attendees should be received by Masayuki Fujita by
April 19, 1992.

Please note that the total of participants will be limited to about 40,
and participants without presentations may be declined because of this
limitation.

WORKSHOP ORGANIZER:
     Ryuzo Hasegawa (Institute for New Generation Computer Technology)
     Mark Stickel (SRI)
     Masayuki Fujita (Institute for New Generation Computer Technology)

Workshop Secretariat:
     Masayuki Fujita
     ICOT
     Mita-kokusai Bldg. 21F
     4-28, Mita 1-chome, Minato-ku
     Tokyo 108, Japan
     tel:    +81-3-3456-2514, fax:    +81-3-3456-1618
     telex:  ICOT J 32964,    e-mail: mfujita@icot.or.jp
--------