NASA/Langley Research Center, Mail Stop 144, Industry Assistance Office, Hampton, VA 23681-0001

A -- FORMAL METHODS OF DEMONSTRATION AND INTEGRATION POC Elaine J. Powell, Contract Specialist, Phone (757) 864-2429, Fax (757) 864-6131, Email e.j.powell@larc.nasa.gov -- Mary Jane Yeager, Contracting Officer, Phone (757) 864-2473, Fax (757) 864-7709, Email M.J.YEAGER@larc.nasa.gov CNT NAS1-00079 AMT $882205 DTD 062000 TO SRI International 333 Ravenwood Avenue Menlo Park, California 94025 WEB: Langley Research Center Procurement Synopses of Contract, http://nais.msfc.nasa.gov/cgi-bin/EPS/bizops.cgi?gr=A&pin=23#NAS1-0007 9. Posted 07/03/00 (D-SN471110). (0185)

Loren Data Corp. http://www.ld.com (SYN# 0156 20000706\A-0003.AWD)