taylor@hplabsc.UUCP (Dave Taylor) (09/09/86)
This article is from Moshe Vardi <vardi@navajo.stanford.edu>
and was received on Tue Sep 9 11:01:09 1986
CALL FOR PAPERS
SECOND ANNUAL SYMPOSIUM ON
LOGIC IN COMPUTER SCIENCE
22 - 25 June 1987
Cornell University, Ithaca, New York, USA
THE SYMPOSIUM will cover a wide range of theoretical and practical issues in
Computer Science that relate to logic in a broad sense, including algebraic
and topological approaches.
Suggested (but not exclusive) topics of interest include: abstract data types,
computer theorem proving, verification, concurrency, type theory and construct-
ive mathematics, data base theory, foundations of logic programming, program
logics and semantics, knowledge and belief, software specifications, logic-based
programming languages, logic in complexity theory.
Organizing Committee
K. Barwise E. Engeler A. Meyer
W. Bledsoe J. Goguen R. Parikh
A. Chandra (chair) D. Kozen G. Plotkin
E. Dijkstra Z. Manna D. Scott
Program Committee
S. Brookes D. Gries (chair) J.-P. Jouannaud A. Nerode
L. Cardelli J. Goguen R. Ladner G. Plotkin
R. Constable Y. Gurevich V. Lifschitz A. Pnueli
M. Fitting D. Harel G. Longo P. Scott
PAPER SUBMISSION. Authors should send 16 copies of a detailed abstract
(not a full paper) by 9 DECEMBER 1986 to the program chairman:
David Gries -- LICS (607) 255-9207
Department of Computer Science gries@gvax.cs.cornell.edu
Cornell University
Ithaca, New York 14853
Abstracts must be clearly written and provide sufficient detail to allow the
program committee to assess the merits of the paper. References and
comparisons with related work should be included where appropriate. Abstracts
must be no more than 2500 words. Late abstracts or abstracts departing
significantly from these guidelines run a high risk of not being considered.
If a copier is not available to the author, a single copy of the abstract
will be accepted.
Authors will be notified of acceptance or rejection by 30 JANUARY 1987.
Accepted papers, typed on special forms for inclusion in the symposium
proceedings, will be due 30 MARCH 1987.
The symposium is sponsored by the IEEE Computer Society, Technical Committee on
Mathematical Foundations of Computing and Cornell University, in cooperation wi
th
ACM SIGACT, ASL, and EATCS.
GENERAL CHAIRMAN LOCAL ARRANGEMENTS
Ashok K. Chandra Dexter C. Kozen
IBM Thomas J. Watson Research Center Department of Computer Science
P.O. Box 218 Cornell University
Yorktown Heights, New York 10598 Ithaca, New York 14853
(914) 945-1752 (607) 255-9209
ashok@ibm.com kozen@gvax.cs.cornell.edu