## Speaker:

## Organisers:

## Time:

## Venue:

## Webpage:

A deletion channel is communication medium that takes a string of symbols as input, deletes a fixed number of them and outputs the remaining symbols by aligning them without changing their order.

Ankur Kulkarni

Thursday, 6 June 2013, 11:00 to 12:00

A deletion channel is communication medium that takes a string of symbols as input, deletes a fixed number of them and outputs the remaining symbols by aligning them without changing their order.

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

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.

Speaker:

Sagnik Mukhopadhyay, TIFR

Wednesday, 17 April 2013, 09:30 to 11:30

We investigate the following question: If NP contains functions which are slightly hard to compute on average then does NP also contain function which is very hard to compute on average?

Xavier Viennot

Wednesday, 27 February 2013, 16:00 to 17:00

Computer scientists defined the Strahler number of a binary tree in relation with the minimum number of registers needed for the computation of an arithmetical expression.

Deepak Kapur

Tuesday, 8 January 2013, 11:00 to 12:00

Loop invariants play a central role in ensuring the reliability of software.

Rohit Parikh

Tuesday, 1 January 2013, 16:00 to 17:00

It is clear from examples from Shakespeare and others that knowledge and belief influence behavior.

Rohit Parikh

Monday, 31 December 2012, 11:00 to 12:00

It is clear from examples from Shakespeare and others that knowledge and belief influence behavior.

Nikhil Jayant Joshi

Thursday, 13 September 2012, 16:30 to 17:30

What is the relationship between the complexity and the fitness of evolved organisms, whether natural or artificial?