Hadas Kress-Gazit, Oct 2008: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
|||
| Line 6: | Line 6: | ||
* Noon - lunch with students and postdocs | * Noon - lunch with students and postdocs | ||
* 1:30 pm - Discussion: challenge problems | * 1:30 pm - Discussion: challenge problems | ||
* 3:30 pm - | * 3:30 pm - Ufuk | ||
* 4:15 pm - Open | * 4:15 pm - Open | ||
* 5:00 pm - Open | * 5:00 pm - Open | ||
Revision as of 01:26, 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 - Open
- 5:00 pm - Open
