D-405 (D-Block Seminar Room)

Automatic Speech Recognition

STCS Student Seminar

Speaker:

Shaikh Tauseef Hussain

Organisers:

Phani Raj Lolakapuri

Time:

Thursday, 5 March 2015, 14:00 to 15:30

Venue:

D-405 (D-Block Seminar Room)

Hardness of Approximate Coloring

Synopsis Seminar

Speaker:

Girish Varma, TIFR

Time:

Tuesday, 10 March 2015, 16:00 to 17:00

Venue:

D-405 (D-Block Seminar Room)

Webpage:

http://geevi.github.io/

The Challenges in Verification of Concurrent Programs!

STCS Faculty Seminar

Speaker:

Ashutosh Gupta, TIFR

Organisers:

Time:

Tuesday, 24 February 2015, 16:00 to 17:00

Venue:

D-405 (D-Block Seminar Room)

Webpage:

http://www.tcs.tifr.res.in/~agupta/

Blackwell's Approachability and Online Convex Optimization: Some New Relations

STCS Seminar

Speaker:

Nahum Shimkin

Organisers:

Sandeep K Juneja

Time:

Tuesday, 3 March 2015, 16:00 to 17:00

Venue:

D-405 (D-Block Seminar Room)

Webpage:

http://webee.technion.ac.il/people/shimkin/

Paths to Stable Allocations

STCS Student Seminar

Speaker:

Agnes Cseh

Organisers:

Time:

Thursday, 19 February 2015, 14:00 to 15:30

Venue:

D-405 (D-Block Seminar Room)

Webpage:

https://www.coga.tu-berlin.de/v-menue/mitarbeiter/agnes_cseh/agnes_cseh/

Fast and Efficient Algorithms for Sparse Recovery: A General Framework

STCS Seminar

Speaker:

Mayank Bakshi

Organisers:

Vinod M. Prabhakaran

Time:

Thursday, 19 February 2015, 11:30 to 12:30

Venue:

D-405 (D-Block Seminar Room)

Webpage:

http://personal.ie.cuhk.edu.hk/~mayank/resources/CV_Mayank_Bakshi.pdf

Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism

Project Seminar

Speaker:

Abhishek Singh, TIFR

Time:

Friday, 20 February 2015, 11:00 to 12:30

Venue:

D-405 (D-Block Seminar Room)

Webpage:

http://www.tcs.tifr.res.in/people/students

Optimality of Separation for Universal Communication With a Fidelity Criterion

STCS Student Seminar

Speaker:

Mukul Agarwal

Organisers:

Time:

Friday, 6 February 2015, 16:30 to 18:00

Venue:

D-405 (D-Block Seminar Room)

Abstract: Optimality of source-channel separation for universal communication with a fidelity criterion will be discussed. Universality is over the channel; that is, the channel can belong to a set.

Partitioning Problems, Submodular Functions and Approximating the OFDMA Capacity

STCS Faculty Seminar

Speaker:

Rahul Vaze, TIFR

Time:

Tuesday, 10 February 2015, 16:00 to 17:00

Venue:

D-405 (D-Block Seminar Room)

Webpage:

http://www.tcs.tifr.res.in/~vaze/Home.html

Statistical Inference Based on a Parametric Family of Divergences

STCS Seminar

Speaker:

M. Ashok Kumar

Organisers:

Sandeep K Juneja

Time:

Monday, 2 March 2015, 11:30 to 12:30

Venue:

D-405 (D-Block Seminar Room)

Pages