Past events

Induction, Invariants, and Abstraction

Speaker:
Deepak Kapur University of New Mexico Department of Computer Science Albuquerque, NM 87131 United States of A
Date:
Monday, 20 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Two Time Scale Algorithms for Variance-penalized Control and Risk-neutral Semi-Markov Control

Speaker:
Abhijit Gosavi Missouri Univ. of Science and Technology Dept. of Engg. Management & Systems Engg. 219 Engineering
Date:
Thursday, 16 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Compressed Sensing: A Layman View

Speaker:
Sibi Raj Indian Institute of Technology Dertment of Electrical Engineering Powai Mumbai 400076 http://www
Date:
Thursday, 16 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Boltzmann Sampling

Speaker:
Carine Pivoteau University Pierre et Matie Curie 4 place Jussieu 75005 Paris France http://www-igm.univ-m
Date:
Monday, 13 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Quantum Entanglement

Speaker:
Shishir Pandey School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road
Date:
Friday, 10 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Formal Proofs: From Principia Mathematica to Automated Reasoning

Speaker:
N. Raja School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Mum
Date:
Wednesday, 8 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Linear System Over Finite Abelian Groups

Speaker:
Arkadev Chattopadhyay University of Toronto Department of Computer Science 10 King’s College Road Toronto,
Date:
Tuesday, 7 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Polynomial Learning of Distribution Families

Speaker:
Kaushik Sinha Department of Computer Science and Engineering The Ohio State University Enarson Hall 154 W 12t
Date:
Friday, 3 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Breathe to Stay Cool: Adjusting Cell Sizes to Reduce Energy Consumption

Speaker:
Girija Narlikar Bell Labs, Room 2C-410 700 Mountain Avenue Murray Hill New Jersey 07974 United States
Date:
Friday, 3 Dec 2010 (all day)
Venue:
AG-69
Category:

Rationality of Galois to Irrationality of Nash

Speaker:
Ratnik Gandhi Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road
Date:
Friday, 3 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category: