PROLOG-REQUEST@SUSHI.STANFORD.EDU (Chuck Restivo, The Moderator) (09/14/87)
PROLOG Digest Monday, 14 Sep 1987 Volume 5 : Issue 58
Today's Topics:
Announcements - CADE9 & FGCS '88
----------------------------------------------------------------------
Date: Sun 13 Sep 87 20:22:07-PDT
From: Chuck Restivo <Restivo@Sushi.Stanford.EDU>
Subject: CADE-9
CADE-9
9th International Conference on Automated Deduction
May 23-26, 1988
Preliminary Announcement and Call for Papers
CADE-9 will be held at Argonne National Laboratory in celebration of
the 25th anniversary of the discovery of the resolution principle at
Argonne in the summer of 1963. Papers are invited in the following or
related fields:
Theorem Proving Logic Programming
Unification Deductive Databases
Term Rewriting Theorem Proving for Non-Standard Logics
Program Verification Inference Systems
Program Synthesis Applications
{/it Long papers} (up to 5000 words) are for established results.
{/it Short papers} (up to 2500 words) are for succinct results of
ongoing research. Also solicited are system summaries describing
working reasoning systems (up to 500 words) and problem sets providing
realistic yet interesting challenges for automated reasoning systems.
Six copies should be sent to arrive before November 23rd, 1987 to
Ewing Lusk and Ross Overbeek, chairmen
CADE-9
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, IL 60439_
------------------------------
Date: Sun 13 Sep 87 20:51:03-PDT
From: Chuck Restivo <Restivo@Sushi.Stanford.EDU>
Subject: FGCS '88
FGCS '88
Call For Papers
International Conference on Fifth Generation Computer Systems 1988
Tokyo, Japan
28 November - 2 December 1988
FGCS '88 is an international conference following on from the last
conference, FGCS'84. The conference will last for five days. The
first two will be primarily devoted to reporting FGCS project's
results while the last three will involve technical sessions for
presentation of papers and related discussions.
The scope of technical sessions includes the technical aspects of
new generation computer systems which are particularly within the
framework of knowledge information processing, logic programming and
parallel architectures. This conference is intended to promote
interaction among researchers in all disciplines related to fifth
generation computer technology. Of special interest are papers
discussing future directions or prospects of new generation computing.
The topics of interest include the following:
Software Architecture
Logic/functional/object-oriented Inference machines
Parallel programming languages Knowledge base machines
and methodologies Parallel
Programming verification/debugging VLSI
Program analysis/transformation Human-machine
Applications Foundations
Knowledge based systems Automated Reasoning
NL understanding Theory of parallel computation
Real-time systems Formal Semantics
Paralle systems Foundations of AI
Games and simulation New Generation prospects
Social Impact of FGCS
Authors should send six copies of manuscripts to:
Prof. Hidehiko Tanaka
FGCS'88 Program Chairman
ICOT
MITA Kolusai Bldg.21F
1-4-28 Mita, Minato-ku
Tokyo 108, Japan
Papers must be received by 10 May, 1988
Papers are restricted to 20 double-spaced (about 5000 words) including
figures. Each paper must contain a 200-250 word abstract. Papers
must be written and presented in English.
Papers will be reviewed by international referees. Authors will be
notified of acceptance by 15 July 1988 and will be given instructions
for final preparation of their papers at that time. Camera ready
papers for the proceedings should be sent to the program Chairman
prior to 15 September 1988.
General Information
Venue: Tokyo Prince Hotel, Tokyo, Japan
General sessions
Keynote speeches
Report on progress of Japan's 5th Generation project
Panel discussions
Technical sessions (parallel sessions)
Presentation by invited speakers
Presentation of submitted papers
Special events
Some of the research results including parallel software and
hardware systems, natural language understanding systems and expert
systems will be demonstrated at the conference site.
For further information contact the Secretariat:
FGCS'88 Secretariat
ICOT
Mita Kokusai Bldg.21F
1-4-28 Mita, Minato-ku
Tokyo 108, Japan
tel. 03.456.3195 telex. 3264 ICOT
------------------------------
End of PROLOG Digest
********************