Hadas Kress-Gazit, Oct 2008: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
|||
| Line 8: | Line 8: | ||
* 3:30 pm - Ufuk | * 3:30 pm - Ufuk | ||
* 4:15 pm - Nok | * 4:15 pm - Nok | ||
* 5:00 pm - | * 5:00 pm - Andy Lamperski | ||
Latest revision as of 17:51, 27 October 2008
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
