Events Archive
04-14
Improving the privacy, scalability, and ecological impact of blockchains
Computer Science Small Auditorium (Room 105)
04-12
A flexible framework for machine learning
Computer Science Small Auditorium (Room 105)
04-11
From Haptic Illusions in Virtual Reality to Beyond-Real Interactions
Computer Science Small Auditorium (Room 105)
04-05
Foundations of Cryptographic Proof Systems
Computer Science Small Auditorium (Room 105)
04-04
Formal verification of a concurrent file system
Computer Science Small Auditorium (Room 105)
03-31
Scalable Structure Learning and Inference via Probabilistic Programming
Computer Science Small Auditorium (Room 105)
...
...