May79AM Computer Science Thesis Proposal GORAN ZUZIC Distributed Optimization Beyond Worst-Case Topologies Reddy Conference Room 4405 Gates Hillman Centers
May712PM Computer Science Speaking Skills Talk EVAN CAVALLO Cubical Type Theory and Higher Inductive Types McWilliams Classroom 4303 Gates Hillman Centers
May712PM Annual PDL Consortium Speaker Series A One-afternoon Series of Special Talks by PDL Consortium Visitors Panther Hollow Conference Room 4101 Robert Mehrabian Collaborative Innovation Center