Distance Preserving Minors in Interval Graphs Project Seminar Speaker: Kshitij Gajjar, TIFR Time: Saturday, 9 January 2016, 10:00 to 11:00 Venue: A-212 (STCS Seminar Room) Read more about Distance Preserving Minors in Interval Graphs
Hardness of Approximate Coloring PhD Thesis Seminar Speaker: Girish VarmaTime: Friday, 8 January 2016, 14:00 to 15:00 Venue: AG-69 Webpage: http://www.weizmann.ac.il/pages/search/people?language=english&single=1&person_i... Read more about Hardness of Approximate Coloring
An Introduction to Epistemic Logics Project Seminar Speaker: Suhail Sherif, TIFR Time: Friday, 8 January 2016, 11:00 to 12:00 Venue: A-212 (STCS Seminar Room) Abstract: Epistemic logics are logics that attempt to model knowledge. In this talk, I will give an introduction to epistemic logic and focus on the logic S5, adding common knowledge and dynamic modalities. Read more about An Introduction to Epistemic Logics
Bombay Information Theory Seminar (BITS) Workshop Organisers: Vinod M. PrabhakaranJaikumar RadhakrishnanPrahladh HarshaTime: Friday, 1 January 2016, 10:00 to Sunday, 3 January 2016, 18:00 Venue: AG-66 (Lecture Theatre) (on 3/01/2016) Webpage: http://www.ee.iitb.ac.in/bits Read more about Bombay Information Theory Seminar (BITS)
Interpolation Synthesis for Quadratic Polynomial Inequalities and Combination with Theory of Equality with Uninterpreted Function Symbols (EUF) STCS Colloquium Speaker: Deepak KapurOrganisers: N RajaTime: Tuesday, 22 December 2015, 16:00 to 17:00 Venue: A-212 (STCS Seminar Room) Webpage: https://www.cs.unm.edu/~kapur/ Read more about Interpolation Synthesis for Quadratic Polynomial Inequalities and Combination with Theory of Equality with Uninterpreted Function Symbols (EUF)
Approximation Algorithms for Geometric Covering and Packing Problems STCS Colloquium Speaker: Rajiv RamanOrganisers: Umang BhaskarTime: Tuesday, 8 December 2015, 16:00 to 17:00 Venue: A-212 (STCS Seminar Room) Webpage: https://www.iiitd.ac.in/rajiv Read more about Approximation Algorithms for Geometric Covering and Packing Problems
One-shot Bounds in Classical and Quantum Information Theory PhD Thesis Seminar Speaker: Naqueeb Ahmad WarsiTime: Monday, 7 December 2015, 14:00 to 15:00 Venue: AG-80 Read more about One-shot Bounds in Classical and Quantum Information Theory
Secret Key Agreement: General Capacity and Second-Order Asymptotics STCS Seminar Speaker: Shun WatanabeOrganisers: Vinod M. PrabhakaranTime: Friday, 4 December 2015, 11:00 to 12:00 Venue: A-212 (STCS Seminar Room) Webpage: https://sites.google.com/site/shunwatanabeshomepage/ Read more about Secret Key Agreement: General Capacity and Second-Order Asymptotics
How Well Can Graphs Represent Wireless Interference? STCS Seminar Speaker: Magnus M. HalldorssonOrganisers: Jaikumar RadhakrishnanTime: Thursday, 3 December 2015, 11:30 to 12:30 Venue: A-212 (STCS Seminar Room) Webpage: http://www.ru.is/~mmh/ Read more about How Well Can Graphs Represent Wireless Interference?
Dimension Reduction for Efficient Algorithms and Visualization PhD Synopsis Seminar Speaker: Shishir Pandey, TIFR Organisers: Kavitha TelikepalliTime: Monday, 30 November 2015, 16:00 to 17:00 Venue: A-212 (STCS Seminar Room) Webpage: http://www.tcs.tifr.res.in/~shishir/ Read more about Dimension Reduction for Efficient Algorithms and Visualization