This is the SRI Computer Science Laboratory's (CSL) home page. Information is provided on CSL staff members, CSL history (multi-window displays, hypertext, and the mouse were invented at SRI, and the first Internet message was received here.) Links are also provided to programs and activities under the headings Database Interoperability, Dataflow and Intensional Programming, Formal Methods, GEM (Generalized Emulation of Microcircuits), Linear Logic and Proof Theory, Multimedia and Multicast Communications and the Rewriting Program. You can also learn about the seminars, technical reports, papers, books, software, conferences and calls for papers, and other parts of SRI.