vardi@NAVAJO.STANFORD.EDU (Moshe Vardi) (09/09/86)
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 constructive 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 with 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