Past events

Group Knowledge, Signals and Behavior

Speaker:
Rohit Parikh (City University of New York Department of Computer Science 365 Fifth Avenue New York, NY 10016-4309 United States of America)
Organiser:
N Raja
Date:
Tuesday, 12 Jan 2016, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:

A Theory of Algorithmic Improvisation

Speaker:
Sanjit A. Seshia (University of California at Berkeley Department of Electrical Engineering and Computer Sciences 253 Cory Hall Berkeley, CA 94720-1770 United States of Anerica  )
Organiser:
Prahladh Harsha
Date:
Monday, 11 Jan 2016, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:

Distance Preserving Minors in Interval Graphs

Speaker:
Kshitij Gajjar
Date:
Saturday, 9 Jan 2016, 10:00 to 11:00
Venue:
A-212 (STCS Seminar Room)
Category:

Hardness of Approximate Coloring

Speaker:
Girish Varma (School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Navy Nagar Mumbai 400005)
Date:
Friday, 8 Jan 2016, 14:00 to 15:00
Venue:
AG-69
Category:

An Introduction to Epistemic Logics

Speaker:
Suhail Sherif
Date:
Friday, 8 Jan 2016, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:

Bombay Information Theory Seminar (BITS)

Organiser:
Vinod M. Prabhakaran, Jaikumar Radhakrishnan, Prahladh Harsha
Date:
Friday, 1 Jan 2016 10:00 to Sunday, 3 Jan 2016 18:00
Venue:
AG-66 (Lecture Theatre) (on 3/01/2016)
Category:

Interpolation Synthesis for Quadratic Polynomial Inequalities and Combination with Theory of Equality with Uninterpreted Function Symbols (EUF)

Speaker:
Deepak Kapur (University of New Mexico Department of Computer Science Albuquerque, NM 87131 United States of America)
Organiser:
N Raja
Date:
Tuesday, 22 Dec 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:

Approximation Algorithms for Geometric Covering and Packing Problems

Speaker:
Rajiv Raman (Indraprastha Institute of Information Technology Okhla Industrial Estate Phase III (Near Govind Puri Metro Station) New Delhi 110020)
Organiser:
Umang Bhaskar
Date:
Tuesday, 8 Dec 2015, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:

One-shot Bounds in Classical and Quantum Information Theory

Speaker:
Naqueeb Ahmad Warsi (School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Navy Nagar Mumbai 400005)
Date:
Monday, 7 Dec 2015, 14:00 to 15:00
Venue:
AG-80
Category:

Secret Key Agreement: General Capacity and Second-Order Asymptotics

Speaker:
Shun Watanabe (Tokyo University of Agriculture and Technology Department of Computer and Information Sciences 4-8-1 Harumicho Fuchu, Tokyo 183-0057 Japan  )
Organiser:
Vinod M. Prabhakaran
Date:
Friday, 4 Dec 2015, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category: