Hadas Kress-Gazit, Oct 2008

From Murray Wiki
Revision as of 17:51, 27 October 2008 by Murray (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Hadas Kress-Gazit from Penn/Cornell will be visiting on 27-28 Oct. She will attend the MURI review on the 27th and we will have meetings and discussions on the 28th.

Tuesday, 28 Oct

  • 9 am - talk by Hadas (latest updates, reflections on review, etc)
  • 10 am - Discussion: V&V technologies (including proof by construction)
  • Noon - lunch with students and postdocs
  • 1:30 pm - Discussion: challenge problems
  • 3:30 pm - Ufuk
  • 4:15 pm - Nok
  • 5:00 pm - Andy Lamperski
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Hadas_Kress-Gazit,_Oct_2008&oldid=8332"