School of Technology and Computer Science

Past events

The Complexity of Expansion Problems
Speaker:
Anand Louis (Princeton University Department of Computer Science Princeton, NJ 08544 United States of America)
Organiser:
Jaikumar Radhakrishnan
Date:
Tuesday, 19 Jan 2016, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

IoT – A Pervasive Technology for Innovation
Speaker:
Anura Jayasumana (Colorado State University Department of Electrical and Computer Engineering Fort Collins Colorado 80523-1373 United States of America)
Date:
Tuesday, 19 Jan 2016, 10:30 to 11:30
Venue:
D-406 (D-Block Conference Room)
Category:
ASET Colloquium

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:
STCS Colloquium

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:
STCS Seminar

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:
Project Seminar

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:
PhD Thesis Seminar

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:
Project Seminar

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:
Workshop

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:
STCS Colloquium

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:
STCS Colloquium