Events Archive
11-04
Proof Tools and Correct Program Development
Computer Science Small Auditorium (Room 105)
10-16
Partitioned Applications in Protium
Computer Science Small Auditorium (Room 105)
10-08
Recovery Oriented Computing (ROC)
Computer Science Small Auditorium (Room 105)
04-24
Towards More Error-Tolerant Internet Protocols
Computer Science Small Auditorium (Room 105)
04-23
Cryptography and Security, Theory and Practice
Computer Science Small Auditorium (Room 105)
04-17
Parallelizing Programs using Approximate Code
Computer Science Small Auditorium (Room 105)
04-10
Estimation Problems in Machine Learning
Computer Science Small Auditorium (Room 105)
04-03
Learning Theory and Problems of Statistics
Computer Science Small Auditorium (Room 105)
03-27
Automatic Tools for Building Secure Systems
Computer Science Small Auditorium (Room 105)
03-13
A Signal-Processing Framework for Forward and Inverse Rendering
Computer Science Small Auditorium (Room 105)
...