MURI Telecon 2005-07-27

From Murray Wiki
Revision as of 01:02, 28 July 2005 by Murray (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Outline of Proposal

Partnerships

JPL involvement

  • Mani will contact Gerard; Joshi is on board
  • SPIN

SRI involvement

  • Richard will contact Pat Lincoln, cc'd to Mani. Mention Shankar
  • PVS experience with tactics; could incorporate this into SoS
  • Using PVS to carry out SoS proofs

Honeywell

  • Sonja and Datta
  • More of a customer

Boeing

  • Sean Callahan

We expect to have several types of interactions, including working meetings.

Retrieved from "https://murray.cds.caltech.edu/index.php?title=MURI_Telecon_2005-07-27&oldid=1724"