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


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


  • Sonja and Datta
  • More of a customer


  • Sean Callahan

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