gullen@utcsri.UUCP (Andrew Gullen) (12/13/85)
COLLOQUIUM:
Tuesday, December 17, 4pm
Room 1105, Sandford Fleming Building (10 Kings College Rd.)
University of Toronto
Professor David Parnas
University of Victoria
"Computers and the Strategic Defense Initiative"
ABSTRACT: There are serious questions about the extent to which we can rely on
computers for the command and control of weapon systems. There are reasons why
software is always untrustworthy when first deployed, and why this is particul-
arly citical for SDI applications. The talk outlines general rules for when we
can trust software, and shows that SDI does not allow such trust.
Prof. Parnas recently resigned from an advisory capacity to the SDI organiza-
ation, citing technical criticisms and doubts abouts the advisory committee's
freedom to come to negative conclusions about SDI.