| ||||||
| ||||||
Seminars | ||||||
| ||||||
| Two Weeks starting on January 2, 2011 | ||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||
|
Thursday, January 6, 2011 |
|||
|
|
Jan 6 |
4:15 p.m. - 5:45 p.m. |
CS 201: Proving that Programs Eventually Do Something Good, BYRON COOK, Microsoft Research
|
|
|
|||
|
Tuesday, January 11, 2011 |
|||
|
|
Jan 11 |
4:15 p.m. - 5:45 p.m. |
CS 201: Image Registration with Uncertainty Analysis, KATHERINE SIMONSON, Sandia National Laboratories
|