|
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
|