DLS:Andrew Appel, Princeton University - Program Logics for Certified CompilersFriday, November 1, 2013 - 2:30pmCEWIT200
COL:Hanghang Tong, CUNYFriday, October 25, 2013 - 2:30pmCS2311
COL:Bryan Ford, YaleFriday, October 18, 2013 - 2:30pmCS2311
DLS:Michael Overton, NYU - Stability Optimization for Polynomials and Matrices Friday, October 11, 2013 - 2:30pmCEWIT200
COL:Johannes Gehrke, CornellFriday, October 11, 2013 - 1:00pmCS2311
COL:Thomas Hales, University of PittsburghThursday, October 10, 2013 - 4:00pmTBA
COL:Minh Hoai Nguyen, OxfordWednesday, October 9, 2013 - 2:30pmTBA

Pages