Events
12-04
Behavioral Non-Portability in Scientific Numeric Computing
Computer Science Small Auditorium (Room 105)
11-30
Delegation of Computation, P-completeness of Linear Programming, and the many facets of the notion of a proof
Computer Science Small Auditorium (Room 105)
11-24
CITP Talk: “Like Zombies They Keep Coming Back” Improving the User Experience of Software Updates"
Sherrerd Hall 306
11-16
A Cognitive Architecture for Human-Robot Collaborations Based on Spatial, Temporal and Causal And-Or Graphs
Computer Science Small Auditorium (Room 105)
11-12
Structured Sum of Squares Polynomials in Optimization and Control
Computer Science Small Auditorium (Room 105)
11-11
Instruction Sets Want to Be Free: A Case for RISC-V
Friend Center Convocation Room
11-10
Mapping, Localization, and Self-Driving Vehicles
Computer Science Small Auditorium (Room 105)
10-27
On the Computational Complexity of some Consistency Properties in SDNs
Computer Science 302