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