<mod-ki 0777> CFP: Journal of Symbolic Computation

[Hans-Werner Hein]

From: ste...@intellektik.informatik.th-darmstadt.de
To: mod...@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
************************************************************************