Preliminary Call for Papers: Fourth IEEE Symposium on High Assurance Systems Engineering, Nov. 17-19, 1999, Washington, DC Metropolitan Area. The HASE Sympoisum is a forum for discussion of systems engineering issues specifically for high-assurance systems. The focus this year is on embedded systems, although submissions will be welcomed in all areas related to high assurance issues. Submissions are due April 7, 1999, to Catherine Meadows, Program Chair, meadows@itd.nrl.navy.mil. More information may be found at http://www.eng.umd.edu/hase99.