STCS Colloquium (2015 Monsoon Semester)

Name Title Time Venue
Ragavendran Gopalakrishnan Routing and Staffing when Servers are Strategic Tuesday, August 11, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Ankit Garg A Deterministic Polynomial Time Algorithm for Word Problem Over the Free Skew Field Tuesday, August 25, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Rahul Roy Drainage Networks and the Brownian Web Tuesday, September 8, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Supratik Chakraborty Hashing Based Almost-uniform Generation and Model Counting Tuesday, September 22, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Rahul Vaze Optimal Offline and Competitive Online Strategies for Transmitter-Receiver Energy Harvesting Tuesday, October 6, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Naveen Garg Primal-Dual Algorithms in Scheduling Tuesday, November 17, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Rajiv Raman Approximation Algorithms for Geometric Covering and Packing Problems Tuesday, December 8, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Deepak Kapur Interpolation Synthesis for Quadratic Polynomial Inequalities and Combination with Theory of Equality with Uninterpreted Function Symbols (EUF) Tuesday, December 22, 2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)