School of Technology and Computer Science

Past events

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

Partitioning Problems, Submodular Functions and Approximating the OFDMA Capacity
Speaker:
Rahul Vaze
Date:
Tuesday, 10 Feb 2015, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
Category:
STCS Faculty Seminar

Optimality of Separation for Universal Communication With a Fidelity Criterion
Speaker:
Mukul Agarwal (Visiting Fellow School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Mumbai 400005)
Organiser:
Swagato Sanyal
Date:
Friday, 6 Feb 2015, 16:30 to 18:00
Venue:
D-405 (D-Block Seminar Room)
Category:
STCS Student Seminar

Computational Challenges in Network Biology: From Brain Tissues to Single Cells
Speaker:
Manikandan Narayanan (National Institute of Health United States of America)
Organiser:
Vinod M. Prabhakaran
Date:
Thursday, 5 Feb 2015, 11:00 to 12:00
Venue:
AG-66 (Lecture Theatre)
Category:
STCS Seminar