School of Technology and Computer Science

Past events

Spectrum Sensing for Cognitive Radios
Speaker:
Sachin Chaudhari (Aalto University Department of Signal Processing and Acoustics School of Electrical Engineering P.O. Box 11000 Finland  )
Organiser:
Rahul Vaze
Date:
Friday, 11 Jan 2013, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Designing High-Confidence Interactive Systems: Electronic Voting, Self-Driving Cars, and Beyond
Speaker:
Sanjit A. Seshia (University of California, Berkeley Department of Electrical Engineering and Computer Science 253 Coray Hall #1770 Berkeley, CA 94720-1770 United States of America)
Organiser:
R K Shyamasundar
Date:
Wednesday, 9 Jan 2013, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:
Colloquium

Coordination over Networks: Simulation of Joint Distributions
Speaker:
Venkat Ananatharam (University of California, Berkeley Electrical Engineering and Computer Sciences 271 Coray Hall California, USA)
Organiser:
Sandeep K Juneja
Date:
Tuesday, 8 Jan 2013, 14:30 to 15:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Program Analysis Using Quantifier Elimination Heuristics
Speaker:
Deepak Kapur (The University of New Mexico Department of Computer Science Albuquerque, NM 87131 United States of America)
Organiser:
Paritosh K Pandya
Date:
Tuesday, 8 Jan 2013, 11:00 to 12:00
Venue:
AG-80
Category:
Seminar

What mathematics says about what computers can and cannot do
Speaker:
Stephen A. Cook (Department of Computer Science University of Toronto)
Organiser:
Jaikumar Radhakrishnan
Date:
Thursday, 3 Jan 2013, 17:00 to 18:00
Venue:
Homi Bhabha Auditorium
Category:
Public Lecture

ICDCN 2013
Date:
Thursday, 3 Jan 2013 to Sunday, 6 Jan 2013 (all day)
Category:
Conference

Epistemic Reasoning and Its Applications
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:
Paritosh K Pandya
Date:
Tuesday, 1 Jan 2013, 16:00 to 17:00
Venue:
AG-80
Category:
Tutorial

Epistemic Reasoning and Its Applications
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:
Paritosh K Pandya
Date:
Monday, 31 Dec 2012, 11:00 to 12:00
Venue:
AG-80
Category:
Tutorial

AdaBoost - New Boosting Algorithm
Speaker:
Tapan Shah
Organiser:
Ankush Agarwal
Date:
Friday, 21 Dec 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar)
Category:
Student Seminar

Convergent Sequences of Dense Graphs
Speaker:
Karthyek Rajhaa A M
Organiser:
Ankush Agarwal
Date:
Friday, 7 Dec 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Student Seminar