|
Tuesday, February 7, 2006 |
|||
|
Feb 7 |
4:15 p.m. - 5:45 p.m. |
CS201: Jon Postel Distinguished Lecture - What are we Trying to Prove? Prospects for Certified Code" , PETE LEE, Carnegie Mellon University
|
|
|||
Thursday, February 9, 2006 |
|||
|
Feb 9 |
4:15 p.m. - 5:45 p.m. |
CS201: Hybrid Deformable Modeling Methods, DIMITRIS METAXAS, Rutgers University
|