Change in time & place for Connie Heitmeyer's talk on Friday, Oct. 3

["Thomas Reps" <reps@xxxxxxxxxxx>]

Connie Heitmeyer's talk has been rescheduled for 11:00 AM
in 2310 CS on Friday, Oct. 3.  Cookies will be served at
the beginning of the talk.

The talk will be about the following topics:

> I am planning to give an 
> overview of our tools, briefly discuss our current research in using 
> invariants to produce optimized code, and then describe how we are
using 
> formal specification and formal verification in demonstrating the 
> security of a separation kernel.  I will describe the issues that
surround the 
> "verification" of the separation kernel code (some C but mostly
assembly 
> language for the Power PC).

Tom