School of Technology and Computer Science

Past events

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:
Colloquium

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:
Seminar

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:
Seminar

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:
Student Seminar

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:
Project Seminar

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:
ASET Colloquium

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:
Seminar

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:
Seminar

High Throughput Network Analysis
Speaker:
Sumeet Agarwal University of Oxford Department of Physics Clarendon Laboratory Parks Road Oxford OX1 3PU
Date:
Thursday, 13 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Coloring, Embedding, Compression and Data Structure Problems on Uniform Hypergraphs
Speaker:
Saswata Shannigrahi Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha R
Date:
Tuesday, 11 Jan 2011 (all day)
Venue:
AG-69
Category:
Synopsis Seminar