## Organisers:

## Time:

## Venue:

Abstract: In this talk, we will see some lower bound techniques for depth 2 circuits with threshold and mod gates.

Speaker:

Tulasi mohan Molli, TIFR

Thursday, 31 March 2016, 14:00 to 15:00

Abstract: In this talk, we will see some lower bound techniques for depth 2 circuits with threshold and mod gates.

Speaker:

Phani Raj Lolakapuri, TIFR

Monday, 8 February 2016, 16:00 to 17:00

Abstract: An atomic splittable routing game (ASRG) is a network congestion problem where each player has some finite amount of flow he wants to send in the network, while minimizing his cost.

Speaker:

Gowtham Raghunath Kurri, TIFR

Wednesday, 20 January 2016, 14:00 to 15:00

Abstract: The correlation of a quantum system *A *to an initially correlated system *E * generally decreases when *A *undergoes an evolution separated from *E*.

Speaker:

Aditya Nema, TIFR

Wednesday, 20 January 2016, 15:00 to 16:00

Abstract : Research in quantum information theory suggests that if a quantum channel is used to transmit classical information then the capacity (also referred to as classical capacity) of a quantum channel is super additive.

Speaker:

Suhail Sherif, TIFR

Friday, 8 January 2016, 11:00 to 12:00

Abstract: Epistemic logics are logics that attempt to model knowledge. In this talk, I will give an introduction to epistemic logic and focus on the logic S5, adding common knowledge and dynamic modalities.

Speaker:

Kshitij Gajjar, TIFR

Saturday, 9 January 2016, 10:00 to 11:00

Abstract: We consider undirected, connected graphs with nonnegative weights on the edges. Additionally, a special subset of vertices called terminals is provided as input.

Speaker:

Nikhil S Mande, TIFR

Wednesday, 18 March 2015, 16:15 to 17:15

Abstract: Boolean circuit classes inherently capture the power of parallel computation, and constant depth circuits are a class of great interest.

Speaker:

Abhishek Singh, TIFR

Friday, 20 February 2015, 11:00 to 12:30

**Abstract:** There seems to be a general consensus among mathematicians about the notion of a correct proof. Still, in mathematical literature, many invalid proofs remain accepted over a long period of time.

Speaker:

Kshitij Gajjar, TIFR

Tuesday, 20 January 2015, 16:00 to 17:30

Abstract: We consider undirected, connected graphs with nonnegative weights on the edges. Additionally, a special subset of vertices called terminals is provided as input.

Speaker:

Aditya Nema, TIFR

Monday, 8 December 2014, 11:00 to 12:00

Abstract: Study of super operators, norms on super operators (referred to as super operator norms) and the minimum output -Re'nyi entropy of a typical quantum channel.