CSAIL Event Calendar: Previous Series

CS Special Seminar Series 2010/2011

Isil Dillig , Stanford Universtiy
Precise and Fully-Automatic Verification of Container-Manipulating Programs
Date: February 28 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Thomas Dillig , Stanford Universtiy
Program Paths Simplified: Scalable Path-Sensitive Analysis without Heuristics
Date: March 3 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Percy Liang , UC Berkeley
Deep Semantics from Shallow Supervision
Date: March 7 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Jelani Nelson , M.I.T.
Sketching and Streaming Algorithms
Date: March 10 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Adam Chlipala , Harvard University
Formal Verification of Software Infrastructure: From Science to Engineering
Date: March 14 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Ruslan Salakhutdinov , M.I.T.
Learning Hierarchical Generative Models
Date: March 31 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Le Song , Carnegie Mellon University
Modeling Rich Structured Data via Kernel Distribution Embeddings
Date: April 4 2011
Time: 4:00PM to 5:00PM
Location: 32-G449

Guest Speaker Olivier Gossner , Associate Chair, Paris School of Economics
The Robustness of Incomplete Penal Codes in Repeated Interactions
Date: April 7 2011
Time: 4:30PM to 6:00PM
Location: 32-G882

Back to Previous Series List

Back to Event Calendar