## Speaker:

## Organisers:

## Time:

## Venue:

Abstract: We shall discuss the logical interpretation of Topology and Topological interpretations of various Logics.

Prabhat Jha

Friday, 10 August 2018, 17:15 to 18:15

Abstract: We shall discuss the logical interpretation of Topology and Topological interpretations of various Logics.

Speaker:

Siddharth Bhandari, TIFR

Friday, 27 July 2018, 17:15 to 18:15

We will prove the following theorem which gives an alternate proof to the Erdős-Hanani conjecture.

Speaker:

Nikhil S Mande, TIFR

Friday, 20 July 2018, 17:15 to 18:15

Abstract:

We consider functions computable efficiently by "linear decision lists", which are decision lists where the queries are linear threshold functions.

Speaker:

Anand Deo, TIFR

Friday, 6 July 2018, 17:15 to 18:15

Consider a system with K arms, arm $i$ yielding a payoff $X_{i}$, according to the distribution $P_{i}$.

Speaker:

Aditya Nema, TIFR

Friday, 29 June 2018, 17:15 to 18:15

In this talk, we shall discuss the fully quantum Slepian Wolf theorem and it's proof (Winter et al).

Speaker:

Sayantan Chakraborty, TIFR

Friday, 22 June 2018, 17:15 to 18:15

We shall discuss classical rate distortion, i.e., message compression with a distortion criterion, in the one-shot setting with and without side information at the decoder. The rate distortion problem with side information at the decoder is also c

Speaker:

Kshitij Gajjar, TIFR

Friday, 15 June 2018, 17:15 to 18:15

Hansel's lemma (not Hensel's lemma) states that if the complete graph on $n$ vertices can be expressed as the union of $r$ bipartite graphs $B_1,B_2,\ldots,B_r$ such that $n_i$ is the number of non-isolated vertices in $B_i$, then $n_1+n_2+\cdots+

Speaker:

Anamay Tengse, TIFR

Friday, 25 May 2018, 17:15 to 18:15

Non-commutative algebraic circuits are those in which the variables do not commute under multiplication. Additionally, a circuit is called monotone if it does not use subtractions or negative constants.

Sagar Shrivastav

Friday, 18 May 2018, 17:15 to 18:15

Origami is the art of paper folding. It can also be described mathematically with a set of seven axioms, which are complete. In this talk, we will see the following.

Ashwin Deopurkar

Friday, 11 May 2018, 17:15 to 18:15

This would be an elementary and concrete introduction to classical projective geometry. We'd start with Euclidean geometry of points, lines and circles.