## Speaker:

## Time:

## Venue:

Algorithms working on large data(say of size n) should be both space and time efficient. Any algorithm has to see atleast the whole data once, so time required has to be atleast n(see sublinear time algorithms for exceptions).

Girish Varma
Tata Institute of Fundamental Research
School of Technology and Computer Science
Homi Bhabha Road
<br

Friday, 4 June 2010 (All day)

Algorithms working on large data(say of size n) should be both space and time efficient. Any algorithm has to see atleast the whole data once, so time required has to be atleast n(see sublinear time algorithms for exceptions).

Kamal Lodaya
Institute of Mathematical Sciences
CIT Campus
Tharamani
Chennai 600 113
http://www.imsc.res.

Friday, 28 May 2010 (All day)

Petri net theory has nice theorems which relate subclasses of Petri nets defined by structural conditions -- for example T-nets (also known as marked graphs) and free choice nets -- to their behavioural properties -- such as checking, given a net

Girish Varma
Tata Institute of Fundamental Research
School of Technology and Computer Science
Homi Bhabha Road
<br

Friday, 28 May 2010 (All day)

Computer scientists devise randomized algorithms when they cannot find good deterministic ones. Then they try to decrease the randomness used and still try to prove that the algorithm answers correctly with high probability.

Rahul Jain
University of Southern California
Viterbi School of Engineering, EEB-328
Los Angeles, CA 90089-256
<br/

Friday, 21 May 2010 (All day)

The scarcity of spectrum is becoming an impediment to the growth of more capable wireless networks.

Rajmohan Rajaraman
Northeastern University
College of Computer & Information Science
Boston, MA 02115
United

Thursday, 20 May 2010 (All day)

In a landmark paper, Papadimitriou introduced several syntactic subclasses of the search class TFNP (Total Function Nondeterministic Polynomial) based on proof styles that (unlike TFNP) admit complete problems.

Sumeet Sandhu
Intel Corporation
2200 Mission College Blvd.
Santa Clara
California 95054-1549
United Stat

Monday, 17 May 2010 (All day)

We will present a broad range of longer-term research at Intel Labs, ranging from sensing/perception to networking to exascale computing.

Kishor Barman
School of Technology and Computer Science
Tata Institute of Fundamental Research
Homi Bhabha Road
<b

Friday, 14 May 2010 (All day)

We will discuss a lower bound (due to Noga Alon) on the rank of any real matrix in which all the diagonal entries are significantly larger (in absolute value) than all the other entries.

Kishore Barman
Tata Institute of Fundamental Research
School of Technology and Computer Science
Homi Bhabha Road
<

Friday, 30 April 2010 (All day)

An under-determined system of linear equation has infinitely many solutions (if it has a solution).

Girish Varma
Tata Institute of Fundamental Research
School of Technology and Computer Science
Homi Bhabha Road
<br

Friday, 23 April 2010 (All day)

We will see the definition of Probably Approximately CORRECT Learning. Then we will prove that its easy to learn about Rectangles and Conjunctions but hard to learn about 3-Term Disjunctions.

Vinod Prabhakaran
University of Illinois at Urbana-Champaign
123 Coordinated Science Laboratory
Urbana, IL 61801

Tuesday, 20 April 2010 (All day)

In a short span in the 1940's Claude Shannon established the fields of information theory and modern cryptography which lie at the foundation of the digital era.