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/ Read more about Hardness of Approximate Coloring
Automatic Speech Recognition STCS Student Seminar Speaker: Shaikh Tauseef HussainOrganisers: Phani Raj LolakapuriTime: Thursday, 5 March 2015, 14:00 to 15:30 Venue: D-405 (D-Block Seminar Room) Read more about Automatic Speech Recognition
Blackwell's Approachability and Online Convex Optimization: Some New Relations STCS Seminar Speaker: Nahum ShimkinOrganisers: Sandeep K JunejaTime: Tuesday, 3 March 2015, 16:00 to 17:00 Venue: D-405 (D-Block Seminar Room) Webpage: http://webee.technion.ac.il/people/shimkin/ Read more about Blackwell's Approachability and Online Convex Optimization: Some New Relations
Greedy Recovery Algorithms in Compressive Sensing: A Review and Some New Results STCS Seminar Speaker: Mrityunjoy ChakrabortyOrganisers: Arkadev ChattopadhyayTime: Monday, 2 March 2015, 14:30 to 15:30 Venue: AG-69 Webpage: http://www.ecdept.iitkgp.ernet.in/faculty/MChakraborty/ Read more about Greedy Recovery Algorithms in Compressive Sensing: A Review and Some New Results
Statistical Inference Based on a Parametric Family of Divergences STCS Seminar Speaker: M. Ashok KumarOrganisers: Sandeep K JunejaTime: Monday, 2 March 2015, 11:30 to 12:30 Venue: D-405 (D-Block Seminar Room) Read more about Statistical Inference Based on a Parametric Family of Divergences
Workshop on "Learning and Related Probabilistic Applications" Workshop Organisers: Sandeep K JunejaSarat Babu MokaRahul VazeJohn BarrettoTime: Wednesday, 25 February 2015, 09:30 to Thursday, 26 February 2015, 18:00 Venue: AG-80 Webpage: http://problearning.tcs.tifr.res.in/ Read more about Workshop on "Learning and Related Probabilistic Applications"
The Challenges in Verification of Concurrent Programs! STCS Faculty Seminar Speaker: Ashutosh Gupta, TIFR Organisers: Rahul VazeTime: Tuesday, 24 February 2015, 16:00 to 17:00 Venue: D-405 (D-Block Seminar Room) Webpage: http://www.tcs.tifr.res.in/~agupta/ Read more about The Challenges in Verification of Concurrent Programs!
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 Read more about Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism
Studying Lower Bounds for Conflict-free Colouring of Guards in Polygons Master's Thesis Seminar Speaker: Suneel Sarswat, TIFR Time: Thursday, 19 February 2015, 16:00 to 17:00 Venue: AG-80 Read more about Studying Lower Bounds for Conflict-free Colouring of Guards in Polygons
Paths to Stable Allocations STCS Student Seminar Speaker: Agnes CsehOrganisers: Swagato SanyalTime: 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/ Read more about Paths to Stable Allocations