Events

February 2015

Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
 
 
 
 
11:00 to 12:00
STCS Seminar
Computational Challenges in Network Biology: From Brain Tissues to Single Cells
Manikandan Narayanan
AG-66 (Lecture Theatre)
 
16:30 to 18:00
STCS Student Seminar
Optimality of Separation for Universal Communication With a Fidelity Criterion
Mukul Agarwal
D-405 (D-Block Seminar Room)
 
 
8
9
10
11
12
13
14
 
 
16:00 to 17:00
STCS Faculty Seminar
Partitioning Problems, Submodular Functions and Approximating the OFDMA Capacity
Rahul Vaze
D-405 (D-Block Seminar Room)
 
14:30 to 15:30
STCS Seminar
Minmax Representation of Viscosity Solutions to Hamilton-Jacobi Equations and Applications in Rare-event Simulation
Henrik Hult
AG-80
 
14:30 to 15:30
STCS Seminar
Approximating and Testing Equilibria
Siddharth Barman
AG-80
 
 
 
15
16
17
18
19
20
21
 
 
 
 
11:30 to 12:30
STCS Seminar
Fast and Efficient Algorithms for Sparse Recovery: A General Framework
Mayank Bakshi
D-405 (D-Block Seminar Room)
 
14:00 to 15:30
STCS Student Seminar
Paths to Stable Allocations
Agnes Cseh
D-405 (D-Block Seminar Room)
 
16:00 to 17:00
Master's Thesis Seminar
Studying Lower Bounds for Conflict-free Colouring of Guards in Polygons
Suneel Sarswat
AG-80
 
11:00 to 12:30
Project Seminar
Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism
Abhishek Singh
D-405 (D-Block Seminar Room)
 
 
22
23
24
25
26
27
28
 
 
16:00 to 17:00
STCS Faculty Seminar
The Challenges in Verification of Concurrent Programs!
Ashutosh Gupta
D-405 (D-Block Seminar Room)
 
9:30 to 18:00
 Workshop Workshop on "Learning and Related Probabilistic Applications" AG-80