## Organisers:

## Time:

## Venue:

## Webpage:

Stochastic optimal control problems are usually solved by writing the dynamic programming equation and subsequent evaluation of the associated value function using various tools, depending on the context.

Speaker:

Karthyek Rajhaa A M, TIFR

Friday, 8 June 2012, 15:00 to 16:30

Stochastic optimal control problems are usually solved by writing the dynamic programming equation and subsequent evaluation of the associated value function using various tools, depending on the context.

Kamal Lodaya

Thursday, 14 June 2012, 16:30 to 17:30

The study of automata with probabilistic behaviour began with Rabin (1963).

Kamal Lodaya

Friday, 8 June 2012, 11:30 to 12:30

The study of automata with probabilistic behaviour began with Rabin (1963).

Speaker:

Girish Varma, TIFR

Friday, 1 June 2012, 15:00 to 16:30

Isolation lemma is a technique used in randomized algorithms to reduce the number of solutions of a problem to one, should a solution exis

Speaker:

Sagnik Mukhopadhyay, TIFR

Friday, 25 May 2012, 15:00 to 16:30

Suppose you are trying to build a circuit using limited number of AND, OR, NOT gates to compute some boolean function $f$ over inputs in $\{0,1\}^n$.

Speaker:

Tapan Shah, TIFR

Friday, 18 May 2012, 15:00 to 16:30

I will introduce the problem of mask design in a lithographic process from a systems perspective and show how it can be reduced to a non-linear optimization problem.

Speaker:

Ankush Agarwal, TIFR

Friday, 11 May 2012, 15:00 to 16:30

In this talk, we will see how to use variational inequalities to solve a particular optimal stopping problem under certain conditions on the underlying diffusion processes.

Speaker:

Santanu Dey, TIFR

Friday, 4 May 2012, 15:00 to 16:30

I will discuss some algorithms for simulating a flip of an unbiased coin by flipping a coin of unknown bias. We will discuss efficiency of several algorithms, where the expected number of flips is our measure of efficiency.

<p>SudarshanR. Gurjar<br />
School of Mathematics<br />
Tata Institute of Fundamental Research<br />
Homi Bhabha Road<br />
Mumbai 400005<br />
</p>

Tuesday, 24 January 2012, 17:00 to 18:00

I will explain the role played by infinitely differentiable functions with compact support on the real line.

Monday, 23 January 2012, 14:30 to 15:30

Church's Problem asks for the construction of a procedure which, given a logical specification f(I,O) between input strings I and output strings O, determines whether there exists an operator F that implements the specification in the sense that f