Events Archive
05-19
Programming and Proving in Homotopy Type Theory
Computer Science Small Auditorium (Room 105)
03-14
Universal and affordable Computational Integrity, or, succinctly, from C to PCP
Friend Center Convocation Room
03-13
A 2D + 3D Rich Data Approach to Scene Understanding
Computer Science Small Auditorium (Room 105)
03-12
Unraveling the heterogeneity and dynamics of regulatory elements in the human genome
Computer Science Small Auditorium (Room 105)
03-04
Procedural Instructions for People and Machines
Computer Science Small Auditorium (Room 105)
02-27
New Algorithms for Nonnegative Matrix Factorization and Beyond
Computer Science Small Auditorium (Room 105)
02-25
Bayesian Nonparametric Models and "Big Data"
Computer Science Small Auditorium (Room 105)
01-09
The Why and How of an All-Flash Enterprise Storage Array
Computer Science 402
12-10
What makes Big Visual Data hard?
Computer Science Small Auditorium (Room 105)
...
...