bertram@Informatik.TU-Muenchen.DE (Bertram Fronhoefer) (06/07/91)
Call for Project Summaries
PARALLELIZATION IN INFERENCE SYSTEMS
We are currently busy in editing a book on Parallelization in
Inference Systems. It shall be published in the AI subseries of
Springer Lecture Notes in Computer Science.
Besides technical papers, the book shall contain a section of
abstracts on ongoing work in this field. A short summary is invited
from each project describing the project's goals and accomplishments.
Welcome are summaries of projects on parallelization in the following
fields (but the list is not exhaustive):
Automated Reasoning, Logic Programming, Deduction, Mathematical
Induction, Term Rewriting, Connectionist Reasoning, Non-Clasical
Reasoning, Parallel Unification, Architectures for Parallel Inference
Systems, ....
Each summary should fit on half a page. It should consist of:
PROJEKT TITLE
Contact Persons and exact addresses
Keywords
PROJECT SUMMARY (about 10 lines)
THE DEADLINE FOR SUBMISSION OF PROJECT SUMMARIES IS AUGUST 1, 1991.
(Electronic submission is preferred; since e-mail is rather unreliable
in Europe, we will acknowledge receipt of each project summary reveived)
PLEASE MAIL PROJECT SUMMARIES TO OUR SECRETARY Pia Heim
E-mail: heim@informatik.tu-muenchen.de
(snail mail address below)
Bertram Fronhoefer, Graham Wrightson
Institute of Informatics
Technical University Munich
Arcisstr. 21
Postfach 202420
D--8000 Munich 2
Tel.: +49-89-2105-2031
Fax: +49-89-526502
E-mail: fronhoef@informatik.tu-muenchen.de
--
=========================== MODERATOR ==============================
Steve Stevenson {steve,fpst}@hubcap.clemson.edu
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell