Events Archive
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)
03-29
Computational Infrastructure Materials for the Networked & Interactive Built Environment
Computer Science Small Auditorium (Room 105)
03-28
Grounding Language by Seeing, Hearing, and Interacting
Computer Science Small Auditorium (Room 105)
03-22
Interactive AI Model Debugging and Correction
Computer Science Small Auditorium (Room 105)
03-21
Learning-Based Program Synthesis: Learning for Program Synthesis and Program Synthesis for Learning
Computer Science Small Auditorium (Room 105)