🚀 go-pugleaf

From: steffen@intellektik.informatik.th-darmstadt.de
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Thu, 17 Oct 91 12:48:22 +0100
Subject: <mod-ki 0777> CFP: Journal of Symbolic Computation
Keywords: Publications, Automatic Programming

mod-ki message 0777
************************************************************************
                     JOURNAL OF SYMBOLIC COMPUTATION

                            CALL FOR PAPERS
                                  on
                         AUTOMATIC PROGRAMMING

TOPICS INCLUDE: Logics for  program  construction,  formal  derivational
systems, deductive techniques,  tableau  methods,  automated  debugging,
program generators, algorithm implementation,  methods  for  programming
in the large, induction  from  examples  or  traces,  theory  formation,
schema guided sythesis, transormational  methods,  efficiency  improving
techniques, tactics, tacticals,  synthesis  from  recurrence  relations,
problem acquisition, requirements acquisition, specification generation,
synthesis of special program classes, programming plans or cliches, meta
theoretical issues.

SEND FIVE COPIES OF YOUR PAPER TO:
   Dr. Wolfgang Bibel           OR        Dr. Alan W. Biermann
   FB Informatik                          Department of Computer Science
   Alexanderstr. 10                       Duke University
   D-6100 Darmstadt                       Durham, North Carolina 27706
   Germany                                U.S.A.

Papers should conform to the format specified in the december 1990 issue
of the Journal (Volume 10, Number 6).

Paper due date: ....................................... 15 April    1992
Reviews will be completed by: .........................  1 December 1992

                   JOURNAL OF SYMBOLIC COMPUTATION
                           ACADEMIC PRESS
************************************************************************