School of Technology and Computer Science

Past events

Greedy Recovery Algorithms in Compressive Sensing: A Review and Some New Results
Speaker:
Mrityunjoy Chakraborty (Indian Institute of Technology Department of Electronics & Electrtical Communication Engineering Kharagpur 721302)
Organiser:
Arkadev Chattopadhyay
Date:
Monday, 2 Mar 2015, 14:30 to 15:30
Venue:
AG-69
Category:
STCS Seminar

Statistical Inference Based on a Parametric Family of Divergences
Speaker:
M. Ashok Kumar (Indian Statistical Institute Theorectical Statistics and Mathematics Unit 8th Mile, Mysore Road RVCD Post Bangalore 560059)
Organiser:
Sandeep K Juneja
Date:
Monday, 2 Mar 2015, 11:30 to 12:30
Venue:
D-405 (D-Block Seminar Room)
Category:
STCS Seminar

Workshop on "Learning and Related Probabilistic Applications"
Organiser:
Sandeep K Juneja, Sarat Babu Moka, Rahul Vaze, John Barretto
Date:
Wednesday, 25 Feb 2015 09:30 to Thursday, 26 Feb 2015 18:00
Venue:
AG-80
Category:
Workshop

The Challenges in Verification of Concurrent Programs!
Speaker:
Ashutosh Gupta
Organiser:
Rahul Vaze
Date:
Tuesday, 24 Feb 2015, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
Category:
STCS Faculty Seminar

Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism
Speaker:
Abhishek Singh
Date:
Friday, 20 Feb 2015, 11:00 to 12:30
Venue:
D-405 (D-Block Seminar Room)
Category:
Project Seminar

Studying Lower Bounds for Conflict-free Colouring of Guards in Polygons
Speaker:
Suneel Sarswat
Date:
Thursday, 19 Feb 2015, 16:00 to 17:00
Venue:
AG-80
Category:
Master's Thesis Seminar

Paths to Stable Allocations
Speaker:
Agnes Cseh (Technische Universitat Berlin StraBe des 17. Juni 136 10623 Berlin Germany)
Organiser:
Swagato Sanyal
Date:
Thursday, 19 Feb 2015, 14:00 to 15:30
Venue:
D-405 (D-Block Seminar Room)
Category:
STCS Student Seminar

Fast and Efficient Algorithms for Sparse Recovery: A General Framework
Speaker:
Mayank Bakshi (The Chinese University of Hong Kong Institute of Network Coding Shatin, NT Hong Kong SAR China)
Organiser:
Vinod M. Prabhakaran
Date:
Thursday, 19 Feb 2015, 11:30 to 12:30
Venue:
D-405 (D-Block Seminar Room)
Category:
STCS Seminar

Approximating and Testing Equilibria
Speaker:
Siddharth Barman (California Institute of Technology 1200 E. California Boulevard Pasadena, CA 91125 United States of America)
Organiser:
Arkadev Chattopadhyay
Date:
Thursday, 12 Feb 2015, 14:30 to 15:30
Venue:
AG-80
Category:
STCS Seminar

Minmax Representation of Viscosity Solutions to Hamilton-Jacobi Equations and Applications in Rare-event Simulation
Speaker:
Henrik Hult (Royal Institute of Technology Department of Mathematics SE-100 44 Stockholm Sweden)
Organiser:
Sandeep K Juneja
Date:
Wednesday, 11 Feb 2015, 14:30 to 15:30
Venue:
AG-80
Category:
STCS Seminar