Past events

Software Verification: Trends and Challenges

Speaker:
R. Venkatesh (Chief Scientist Tata Consultancy Services)
Date:
Friday, 9 Dec 2016, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:

Towards Principled Design of Human Cyber-Physical Systems

Speaker:
Sanjith A. Seshia (University of California at Berkeley Department of Electrical Engineering and Computer Science Coray Hall #1770 Berkeley, CA 94720-1770 United States of America)
Date:
Wednesday, 7 Dec 2016, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:

Strong Fooling Sets for Multi-Player Communication with Applications to Deterministic Estimation of Stream Statistics

Speaker:
Sagar Kale (Dartmouth College Department of Computer Science 6211 Sudikoff Lab Hanover, NH-03755-3510 United States of America)
Organiser:
Arkadev Chattopadhyay
Date:
Tuesday, 6 Dec 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Elimination and Weak Regularity

Speaker:
Sagnik Mukhopadhyay
Organiser:
Anamay Tengse
Date:
Friday, 2 Dec 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)

Dual Capacity Upper Bounds for Runlength Constrained Channels

Speaker:
Andrew Thangaraj (Indian Institute of Technology Department of Electrical Engineering Chennai 600036)
Organiser:
Rahul Vaze
Date:
Tuesday, 29 Nov 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

On Isoperimetric Profiles and Computational Complexity

Speaker:
Tulasi mohan Molli
Organiser:
Nikhil S Mande
Date:
Friday, 25 Nov 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)

Impact of Community Structure on Cascades

Speaker:
Vijay G. Subramanian (University of Michigan Department of Electrical Engineering and Computer Science 1301 Beal Avenue Ann Arbor, MI 48109-2122 United States of America)
Organiser:
Vinod M. Prabhakaran
Date:
Thursday, 24 Nov 2016, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Randomized Rounding Revisited

Speaker:
Sandeep Sen (Indian Institute of Technology Department of Computer Science and Engineering Hauz Khas New Delhi 110016)
Organiser:
Arkadev Chattopadhyay
Date:
Tuesday, 22 Nov 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

The Birkhoff-Von Neumann Theorem

Speaker:
Gowtham Raghunath Kurri
Organiser:
Nikhil S Mande
Date:
Friday, 18 Nov 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)

Codes, Lower Bounds, and Phase Transitions in the Symmetric Rendezvous Problem

Speaker:
Tom Hayes (University of New Mexico Department of Computer Science Albuquerque, NM 87131 United States of America  )
Organiser:
Rahul Vaze
Date:
Tuesday, 15 Nov 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category: