Hadas Kress-Gazit, Oct 2008

From Murray Wiki

Revision as of 01:49, 27 October 2008 by Wongpiromsarn (talk | contribs) (→‎Tuesday, 28 Oct)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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 - Open

Retrieved from "https://murray.cds.caltech.edu/index.php?title=Hadas_Kress-Gazit,_Oct_2008&oldid=8327"

Navigation menu