Past events

Paradoxes, Computers, and Reproduction

Speaker:
Manoj Gopalkrishnan Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha R
Date:
Thursday, 3 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Nearly Tight Bounds for Testing Function Isomorphism

Speaker:
Sourav Chakraborty Chennai Mathematical Institute Plot No. H1 SIPCOT IT Park Padur PO Siruseri - 603103
Date:
Wednesday, 2 Feb 2011 (all day)
Venue:
AG-69
Category:

Formal Definitions and Complexity Results for Trust Relations and Trust Domains

Speaker:
Simon Kramer University of Luxembourg Interdisciplinary Centre for Security and Trust Campus Kirchberg, F103
Date:
Tuesday, 1 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

A Unified Framework for Testing Linear-Invariant Properties

Speaker:
Arnab Bhattacharya Massachusetts Institute of Technology 32 Vassar St., Room G696 Cambridge, MA 02139 United
Date:
Monday, 31 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Specification and Verification of Timed and Communicating Systems

Speaker:
S. Akshay National University of Singapore Electrical and Computer Engineering Block E4, Level 8, Room 15 4 E
Date:
Monday, 31 Jan 2011 (all day)
Venue:
AG-80
Category:

The Small World Phenomenon

Speaker:
Gugan Thoppe Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road
Date:
Friday, 28 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Quantum Entanglement

Speaker:
Shishir Pandey Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road
Date:
Tuesday, 25 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

The Math in Wireless

Speaker:
Arogyaswami Paulraj Stanford University Information Systems Laboratory (ISL) 232 David Packard Electrical Engineer
Date:
Friday, 21 Jan 2011 (all day)
Venue:
AG-66
Category:

Information Flow in Wireless Networks: From Matroids to Cell Phones

Speaker:
Adnan Raja University of Illinois at Urbana-Champaign Coordinated Science Laboratory 1308 West Main Street Ur
Date:
Tuesday, 18 Jan 2011 (all day)
Venue:
AG-69
Category:

Simulation-based Computation of the Correlation Function in a Levy-driven Queue

Speaker:
Michel Mandjes University of Amsterdam Korteweg-de Vries Institute for Mathematics Science Park 904 1098 XH A
Date:
Tuesday, 18 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category: