|
5
|
6
|
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
|
8
|
9
4:15 p.m. - 5:45 p.m.
CS201: Hybrid Deformable Modeling Methods, DIMITRIS METAXAS, Rutgers University
|
10
|
11
|
