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, France
varghese@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.