STCS Colloquium

Name Title Time Venue
Deepak Kapur Interpolation Synthesis for Quadratic Polynomial Inequalities and Combination with Theory of Equality with Uninterpreted Function Symbols (EUF) 22/12/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Rajiv Raman Approximation Algorithms for Geometric Covering and Packing Problems 08/12/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Naveen Garg Primal-Dual Algorithms in Scheduling 17/11/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Rahul Vaze Optimal Offline and Competitive Online Strategies for Transmitter-Receiver Energy Harvesting 06/10/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Supratik Chakraborty Hashing Based Almost-uniform Generation and Model Counting 22/09/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Rahul Roy Drainage Networks and the Brownian Web 08/09/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 25/08/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)
Ragavendran Gopalakrishnan Routing and Staffing when Servers are Strategic 11/08/2015 - 16:00 to 17:00 A-212 (STCS Seminar Room)

Pages