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.