Events Archive
12-05
ASPEN: Seamless Declarative Programming across Sensors, Streams, and the Cloud
Computer Science 302
11-30
CANCLED: Information Extraction from Music Audio
Computer Science Small Auditorium (Room 105)
11-29
Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations
Computer Science Small Auditorium (Room 105)
11-19
How to Design Simple Efficient Mechanisms that are also Composable
Computer Science Small Auditorium (Room 105)
11-13
What are the Right Roles for Formal Methods in High Assurance Cloud Computing?
Computer Science Small Auditorium (Room 105)
11-12
Broadband Internet Performance: A View From the Gateway
Computer Science 402
11-07
"To the first machine that can appreciate the gesture:" Nicholas Negroponte and the MIT Architecture Machine Group
Computer Science Small Auditorium (Room 105)
10-26
Making proof-based verified computation almost practical
Computer Science Small Auditorium (Room 105)
...
...