School of Technology and Computer Science

Events: Seminar

SHRUTI: An Industrial Strength Formally Certified SAT Solver
Speaker:
Ashish Darbari School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ Uni
Date:
Thursday, 10 Dec 2009 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

On the Quantum f-relative Entropy and Generalized Data Processing Inequalities
Speaker:
Naresh Sharma School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road
Date:
Tuesday, 8 Dec 2009 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

New Directions in Automated Speech Technologies
Speaker:
Richard Stern Department of Electrical and Comp. Engg. and Language Technologies Institute Carnegie Mellon Univers
Date:
Monday, 7 Dec 2009 (all day)
Venue:
AG-80
Category:
Seminar

Optimal Control and Filtering
Speaker:
Sameer Kamal School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road
Date:
Saturday, 31 Oct 2009 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Online Matchings and Online Advertising
Speaker:
Nitish Korula Department of Computer Science University of Illinois at Urbana-Champaign 3240, Siebel Center 2
Date:
Thursday, 29 Oct 2009 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar