https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=MURI_Telecon_2005-07-27MURI Telecon 2005-07-27 - Revision history2026-07-29T16:12:35ZRevision history for this page on the wikiMediaWiki 1.44.2https://murray.cds.caltech.edu/index.php?title=MURI_Telecon_2005-07-27&diff=1724&oldid=prevMurray at 01:02, 28 July 20052005-07-28T01:02:42Z<p></p>
<p><b>New page</b></p><div>== Outline of Proposal ==<br />
<br />
== Partnerships ==<br />
<br />
JPL involvement<br />
* Mani will contact Gerard; Joshi is on board<br />
* SPIN<br />
<br />
SRI involvement<br />
* Richard will contact Pat Lincoln, cc'd to Mani. Mention Shankar<br />
* PVS experience with tactics; could incorporate this into SoS<br />
* Using PVS to carry out SoS proofs<br />
<br />
Honeywell<br />
* Sonja and Datta<br />
* More of a customer<br />
<br />
Boeing<br />
* Sean Callahan<br />
<br />
We expect to have several types of interactions, including working meetings.</div>Murray