## Speaker:

## Organisers:

## Time:

## Venue:

A two-player game is an important construct used in proving many hardness of approximation results.

Rakesh Venkat

Friday, 24 February 2017, 16:00 to 17:30

A two-player game is an important construct used in proving many hardness of approximation results.

Speaker:

Sayantan Chakraborty, TIFR

Friday, 17 February 2017, 16:00 to 17:30

The usual idea of compactness of a space is that if the space has an open cover then it has a finite subcover which is not very intuitive. In this talk we attempt to look at some equivalent characterisations of compact spaces.

Rakesh Venkat

Thursday, 23 February 2017, 14:30 to 15:30

Speaker:

Siddharth Bhandari, TIFR

Friday, 10 February 2017, 16:00 to 17:30

I will present a technique know as fast subset convolution for Exact Exponential Algorithms.

Nizar Touzi

Tuesday, 4 April 2017, 16:00 to 17:00

We provide a systematic method for solving general Principal-Agent problems.

Marc Vinyals

Tuesday, 14 February 2017, 16:00 to 17:00

Nowadays SAT solvers are able to solve problems with millions of variables, but some instances are still hard. While some formulas just require large time or memory to solve, other formulas allow to trade these resources.

Jakob Nordstrom

Tuesday, 21 February 2017, 16:00 to 17:00

We study the problem of certifying unsatisfiability of formulas in propositional logic.

Nikhil Karamchandani

Tuesday, 25 April 2017, 16:00 to 17:00

Caching of popular content during off-peak hours is a strategy to reduce the network load during peak hours. We consider a model where multiple caches store pre-fetched content and when users request files, they are matched to caches based on the

Speaker:

Rahul Vaze, TIFR

Tuesday, 7 February 2017, 16:00 to 17:00

In a breakthrough, we are able to give a simple description of 'capacity' of cellular wireless networks. Shannon capacity is intractable for most wireless networks, and a surrogate definition is used.

Speaker:

Piyush Srivastava, TIFR

Friday, 27 January 2017, 16:00 to 17:30

Consider a system consisting of a binary "stimulus" variable X, (e.g. whether an individual consumes tobacco), a binary "response" variable Y, (e.g.