Search: 
e-Seminar Schedule

Upcoming e-Seminars

Tuesday September 21, 2010, noon EST
Abhijit Chatterjee, Georgia Institute of Technology
Self-Aware Wireless Communication and Signal Processing Systems: Real-Time Adaptation for Error Resilience, Low Power and Performance


Future Events

Sept 28-30, 2010
GSRC Annual Review
(Joint with MuSyC)
San Jose, CA

Jul 12, 2010 -

Edmund Clarke Awarded the 2010 IEEE Logic in Computer Science Test-of-Time Award

Prof. Edmund Clarke (Carnegie Mellon University) awarded the 2010 IEEE Logic in Computer Science Test-of-Time Award for the paper 'Symbolic Model Checking: 10^20 States and Beyond'. More information can be found here.