Spectrum Sensing for Cognitive Radios Seminar Speaker: Sachin ChaudhariOrganisers: Rahul VazeTime: Friday, 11 January 2013, 11:00 to 12:00 Venue: A-212 (STCS Seminar Room) Webpage: http://signal.hut.fi/~sschaud/ Read more about Spectrum Sensing for Cognitive Radios
Designing High-Confidence Interactive Systems: Electronic Voting, Self-Driving Cars, and Beyond Colloquium Speaker: Sanjit A. SeshiaOrganisers: R K ShyamasundarTime: Wednesday, 9 January 2013, 16:00 to 17:00 Venue: AG-66 (Lecture Theatre) Webpage: http://www.eecs.berkeley.edu/~sseshia/ Read more about Designing High-Confidence Interactive Systems: Electronic Voting, Self-Driving Cars, and Beyond
Coordination over Networks: Simulation of Joint Distributions Seminar Speaker: Venkat AnanatharamOrganisers: Sandeep K JunejaTime: Tuesday, 8 January 2013, 14:30 to 15:30 Venue: A-212 (STCS Seminar Room) Webpage: http://www.eecs.berkeley.edu/Faculty/Homepages/anantharam.html Read more about Coordination over Networks: Simulation of Joint Distributions
Program Analysis Using Quantifier Elimination Heuristics Seminar Speaker: Deepak KapurOrganisers: Paritosh K PandyaTime: Tuesday, 8 January 2013, 11:00 to 12:00 Venue: AG-80 Webpage: http://www.cs.unm.edu/~kapur/ Read more about Program Analysis Using Quantifier Elimination Heuristics
What mathematics says about what computers can and cannot do Public Lecture Speaker: Stephen A. CookOrganisers: Jaikumar RadhakrishnanTime: Thursday, 3 January 2013, 17:00 to 18:00 Venue: Homi Bhabha Auditorium Stephen A. Cook Read more about What mathematics says about what computers can and cannot do
ICDCN 2013 Conference Time: Thursday, 3 January 2013 (All day) to Sunday, 6 January 2013 (All day) Webpage: http://icdcn.tcs.tifr.res.in/ 14th International Conference on Distributed Computing and Networking. Read more about ICDCN 2013
Epistemic Reasoning and Its Applications Tutorial Speaker: Rohit ParikhOrganisers: Paritosh K PandyaTime: Tuesday, 1 January 2013, 16:00 to 17:00 Venue: AG-80 Webpage: http://www.sci.brooklyn.cuny.edu/cis/parikh/ It is clear from examples from Shakespeare and others that knowledge and belief influence behavior. Read more about Epistemic Reasoning and Its Applications
Epistemic Reasoning and Its Applications Tutorial Speaker: Rohit ParikhOrganisers: Paritosh K PandyaTime: Monday, 31 December 2012, 11:00 to 12:00 Venue: AG-80 Webpage: http://www.sci.brooklyn.cuny.edu/cis/parikh/ It is clear from examples from Shakespeare and others that knowledge and belief influence behavior. Read more about Epistemic Reasoning and Its Applications
AdaBoost - New Boosting Algorithm Student Seminar Speaker: Tapan Shah, TIFR Organisers: Ankush AgarwalTime: Friday, 21 December 2012, 15:00 to 16:30 Venue: A-212 (STCS Seminar) Webpage: https://www.tcs.tifr.res.in/people/tapan-shah Read more about AdaBoost - New Boosting Algorithm
Convergent Sequences of Dense Graphs Student Seminar Speaker: Karthyek Rajhaa A M, TIFR Organisers: Ankush AgarwalTime: Friday, 7 December 2012, 15:00 to 16:30 Venue: A-212 (STCS Seminar Room) Webpage: https://www.tcs.tifr.res.in/people/karthyek-rajhaa-m Read more about Convergent Sequences of Dense Graphs
