Secure Information Flow: Formal Modelling, Analysis and Practical Applications Seminar Speaker: N.V. NarendrakumarOrganisers: John BarrettoTime: Friday, 2 May 2014, 14:30 to 16:00 Venue: D-405 (D-Block Seminar Room) Read more about Secure Information Flow: Formal Modelling, Analysis and Practical Applications
Conflict-free Colouring and Art Gallery Problem Project Seminar Speaker: Suneel Sarswat, TIFR Organisers: Kavitha TelikepalliTime: Monday, 28 April 2014, 16:00 to 17:00 Venue: D-405 (D-Block Seminar Room) Webpage: https://www.tcs.tifr.res.in/people/suneel-sarswat Abstract: We present the weak and strong conflict-free colouring of guards problem in polygon. Read more about Conflict-free Colouring and Art Gallery Problem
Small Stretch Pairwise Spanners and D Spanners Project Seminar Speaker: Nithin M. Varma, TIFR Organisers: Kavitha TelikepalliTime: Friday, 25 April 2014, 14:30 to 16:30 Venue: D-405 (D-Block Seminar Room) Webpage: http://www.tcs.tifr.res.in/~nithvarma/ Read more about Small Stretch Pairwise Spanners and D Spanners
Social Algorithms and Internet Economics Seminar Speaker: Swaprava NathOrganisers: Sandeep K JunejaTime: Friday, 18 April 2014, 14:30 to 15:30 Venue: AG-80 Webpage: http://swaprava.byethost7.com/ Read more about Social Algorithms and Internet Economics
Beating Brute Force Search for QBF Satisfiability, and Implications for Formula Size Lower Bounds Seminar Speaker: Rahul SanthanamOrganisers: Arkadev ChattopadhyayTime: Thursday, 17 April 2014, 16:00 to 17:00 Venue: AG-80 Webpage: http://homepages.inf.ed.ac.uk/rsanthan/ Read more about Beating Brute Force Search for QBF Satisfiability, and Implications for Formula Size Lower Bounds
Computing - Post CMOS Era Special ASET Colloquium Speaker: Karthik SwaminathanTime: Monday, 7 April 2014, 16:00 to 17:00 Venue: AG-66 (Lecture Theatre) Webpage: http://www.cse.psu.edu/~kvs120/ Read more about Computing - Post CMOS Era
Safe Execution of (Untrusted) Applications Downloaded From the Internet Student Seminar Speaker: N.V. Narendra KumarOrganisers: Naqueeb Ahmad WarsiTime: Friday, 4 April 2014, 14:30 to 16:00 Venue: D-405 (D-Block Seminar Room) Read more about Safe Execution of (Untrusted) Applications Downloaded From the Internet
Hierarchical Coded Caching: Divide and Conquer Seminar Speaker: Nikhil KaramchandaniOrganisers: Vinod M. PrabhakaranTime: Friday, 4 April 2014, 11:00 to 12:00 Venue: D-405 (D-Block Seminar Room) Webpage: https://sites.google.com/site/nikhilkaram Read more about Hierarchical Coded Caching: Divide and Conquer
Central Limit Theorems for Some Random Simplicial Complexes Seminar Speaker: Yogeshwaran DhandapaniOrganisers: Rahul VazeTime: Monday, 31 March 2014, 14:30 to 15:30 Venue: AG-80 Webpage: http://sites.google.com/site/yogeshacademics Read more about Central Limit Theorems for Some Random Simplicial Complexes
Bernoulli Factory Student Seminar Speaker: Sarat Babu Moka, TIFR Organisers: Ankush AgarwalTime: Friday, 28 March 2014, 14:30 to 16:00 Venue: D-405 (D-Block Seminar Room) Webpage: http://www.tcs.tifr.res.in/~sarathmoka/ Read more about Bernoulli Factory