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


About Us Research News Resources Directory