Pereira@SRI-AI@sri-unix.UUCP (08/09/83)
Hardware for Logic Programming
Architecture models Memories
Architecture assessment Networks
Buses Processors
Circuits (V)LSI design methods
Foundations of Logic Programs
Computability Semantics
Program analysis and complexity
Implications of Logic Programming
Economical International
Educational Professional
Industrial Social
Logic Programming Languages
Algorithms and methods Implementations
Constructs and principles
Logic Programming Methodology
Formal development of programs Program transformation
(synthesis) Verification
Control of program computations Metalevel inference
PAPER SUBMISSION
The conference will consider all aspects of Logic Programming.
Authors should submit for complete copies of their papers
concerning (but not limited to) the listed topics. The papers
should arrive no later than January 15, 1984 to the Program Chairman:
Professor Sten-Ake Tarnlund
c/o Professor J. A. Robinson
School of Computer and Information Science
313 Link Hall, Syracuse University
Syracuse, New York 13210, USA
Author notification: March 15, 1984. Camera-ready copy: April 15, 1984
Papers will be reviewed for their clarity, originality and
significance by three members of the program committee.
Papers must be written and presented in English and be typed double
spaced on one syde only of each sheet. they must not be longer than
7 proceedings pages, about 5000 words.
Approvals for presentations and publications must be obtained from
the authors when they submit their papers. A paper should contain
the following items: name, country, affiliation, mailing address
and telephone number; one program area; the following signed
statement: "The paper will be presented at the conference by one
of the authors."
PROGRAM COMMITTEE
K. A. Bowen, Syracuse University, USA
M. Bruynooghe, Leuven University, Belgium
K. Fuchi, ICOT, Japan
H. Gallaire, Laboratories de Marcoussis, France
K. M. Kahn, Uppsala University, Sweden
P. Koves, SZKI, Hungary
F. G. McCabe, Imperial College, UK
F. Pereira, SRI, USA
L. M. Pereira, Universidade Nova de Lisboa, Portugal
J. A. Robinson, Syracuse University, USA
E. Shapiro, Weizmann Institute, Israel
S.-A. Tarnlund, Uppsala University, Sweden
M. van Caneghem, University of Marseille, Francevarghese@csu-cs.UUCP (08/11/83)
Where is this Second ILPC going to be held? I tried replying to Pereira directly but could not get through.