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

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:

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:

Representation Discovery for High-Dimensional Data Mining and Control

Speaker:
Sridhar Mahadevan University of Massachusetts Department of Computer Science 140 Governor’s Drive Amherst
Date:
Monday, 10 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category: