School of Technology and Computer Science

Events: Seminar

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

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