arpa-bboard@ucbvax.ARPA (12/05/84)
From: Edmund.Clarke@CMU-CS-A.ARPA
CALL FOR PAPERS
Logics of Programs 1985
The Workshop on Logics of Programs 1985, sponsored by Brooklyn College
and IBM Corporation, will be held Monday, June 17 through Wednesday,
June 19, at Brooklyn College in Brooklyn, New York. Papers presenting
original research on logic of programs, program semantics, and program
verification are being sought.
Typical, but not exclusive, topics of interest include: syntatic and
semantic description of new formal systems relevant to computation,
proof theory, comparative studies of expressive power, programming
language semantics, specification languages, type theory, model theory,
complexity of decision procedures, techniques for probabilistic,
concurrent, or hardware verification. Demonstrations of working systems
are especially invited.
Authors are requested to submit 9 copies of a detailed abstract (not a
full paper) to the program chairman:
Professor Rohit Parikh
Logics of Programs '85
Department of Computer and Information Science
Brooklyn College
Brooklyn, New York 11210
Abstracts should be 6 to 10 pages double-spaced, and must be received no
later than January 14, 1985. Authors will be notified of acceptance or
rejection by February 18, 1985. A copy of each accepted paper, typed on
special forms for inclusion in the proceedings, will be due on March 24, 1985.