Events Archive
04-05
Precise and Fully-Automatic Verification of Container-Manipulating Programs
Computer Science Small Auditorium (Room 105)
04-05
The US and China: Great Nations, Evolving Technology, and Challenging Policy
Friend Center Convocation Room
04-04
Program Paths Simplified: Scalable Path-Sensitive Analysis without Heuristics
Computer Science Small Auditorium (Room 105)
03-30
Differential Privacy: Recent Developments and Future Challenges
Computer Science Small Auditorium (Room 105)
03-29
Let the Market Drive Deployment: A Strategy for Transitioning to BGP Security
Computer Science 402
03-28
Towards a Highly Available Internet
Computer Science Small Auditorium (Room 105)
03-24
Learning Hierarchical Generative Models
Computer Science Small Auditorium (Room 105)
03-23
Beyond Naming: Image Understanding via Physical, Functional and Causal Relationships
Computer Science Small Auditorium (Room 105)
03-22
Next generation sequence characterization of complex genome structural variation
Computer Science Small Auditorium (Room 105)
03-22
Determinantal Point Processes: Representation, Inference and Learning
Computer Science 402
03-09
Search and the Social Web: Organizing the World's People and Making them Accessible and Useful
Computer Science Small Auditorium (Room 105)
...
...