## Speaker:

## Time:

## Venue:

## Webpage:

Smart grids have been heralded as the key enabler of cleaner, cheaper and more reliable energy. They incorporate diverse energy sources, advanced monitoring, demand-side management and the ability to “self heal”.

Krithi Ramamritham

Friday, 17 May 2013, 16:00 to 17:00

Smart grids have been heralded as the key enabler of cleaner, cheaper and more reliable energy. They incorporate diverse energy sources, advanced monitoring, demand-side management and the ability to “self heal”.

Speaker:

Nithin M. Varma, TIFR

Friday, 17 May 2013, 14:30 to 16:00

Consider a finite set $V$ and a function $d: V \times V \rightarrow \mathbb{R}$ such that $(V,d)$ forms a metric space.

D. Yogeshwaran

Tuesday, 14 May 2013, 11:00 to 12:00

The field of topological data analysis has received attention in the recent years and a key object of study are random simplicial complexes.

Dominik Wojtczak

Friday, 10 May 2013, 14:30 to 15:30

I will survey the state of the art in the automated analysis of several classes of probabilistic infinite-state systems which naturally arise when studying probabilistic programs with recursive calls, queueing systems, population dynamics

Nikhil Srivastava

Monday, 6 May 2013, 16:30 to 17:30

We prove that there exist infinite families of bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.

Friday, 3 May 2013, 14:30 to Saturday, 4 May 2013, 17:15

In this day and a half event we start with a tutorial session on May 3 afternoon and conduct a workshop on May 4 where researchers from India working in diverse areas including economics, computer science, statistical physics and probabilistic mod

Deeparnab Chakrabarty

Thursday, 2 May 2013, 15:30 to 16:30

A Boolean function $f:\{0,1\}^n \to \{0,1\}$ is monotone if $f(x) \geq f(y)$ whenever $x > y$, that is, all coordinates of $x$ dominate those of $y$.

Abdul Sattar

Monday, 29 April 2013, 10:30 to 11:30

Since the emergence of Artificial Intelligence (AI) as a new field of modern science and engineering about 6 decades ago, concerted efforts have been made on designing and developing expressively adequate languages to represent knowledge about re

Simoni Shah

Friday, 26 April 2013, 14:30 to 16:00

The class of Unambiguous Star-free regular languages over words has been variously characterized in the past by logics such as the fragments $\Delta_2[<]$ and $FO^2[<]$ of first-order definable languages, Unary Temporal Logic $TL[F,P]$ as we

Speaker:

Gugan Thoppe, TIFR

Friday, 19 April 2013, 14:30 to 16:00

Given an m x n matrix A, we define the rank-k approximation of A as a matrix B of same size and of rank at most k such that A and B are close in the Frobenius norm.