Tuesday
July 08 |
Special SDI/LCS Seminar
Soyeon Park
, Post-doc Researcher
Dept. of Computer Science
University of Illinois at Urbana-Champaign
Fighting with Software Bugs:
Memory Corruptions and Atomicity Violation Bugs , Abstract
3:30 p.m., 8220 (New Room!) Wean Hall
|
| |
* * * * * |
| |
|
Wednesday
July 09 |
Google Pittsburgh Seminar
Marta C. González
Understanding individual human
mobility patterns , Abstract
2:30 p.m., Lower Level Collaborative Innovation Center
Space is limited.
RSVP: http://tinyurl.com/5qxx6j
Open to the public.
|
| |
* * * * * |
| |
|
Thursday
July 10 |
Intel Research Pittsburgh Seminar
Darryl Veitch
, Principal Research Fellow
Dept. of Electrical and Electronic Engineering
University of Melbourne
Probing Convex Networks, Abstract
2:00 p.m.- 3:00 p.m.
,
Suite 410 Collaborative Innovation Center
|
|
|
SDI/LCS Seminar
Arvind Krishnamurthy
, University of Washington
Incentive Mechanisms for Peer-to-Peer Systems , Abstract
12:00 p.m.- 1:00 p.m.
, 2101 Collaborative Innovation Center
|
|
|
Thesis Proposal
Bilge Mutlu
, PhD Student
The Design of Gaze Behavior for Social Robots , Abstract
09:00 a.m., 1305 Newell-Simon Hall
|
|
|
The Works
debuting on The History Channel
Hosted by Daniel Wilson
,
Robotics and Machine Learning Alum!
Abstract
10:00 p.m. |
| |
* * * * * |
| |
|
Monday
July 14 |
Discovery Science Channel Series:
RoboCars
Abstract
10:00 p.m.Featuring The Tartan Racing Team!
|
|
|
Intel Research Pittsburgh Seminar
Broadcast
Thomas Karagiannis
, Microsoft Research, Cambridge (UK)
HomeMaestro:
Order from Chaos in Home Networks, Abstract
1:00 p.m. |
| |
* * * * * |
| |
|
Thursday
July 17 |
Thesis Oral
Philipp Michel
, Robotics Institute
Integrating Perception & Planning for
Humanoid Autonomy , Abstract
09:00 a.m., 1507 Newell-Simon Hall
|
|
|
History Channel Series:
The Works: Steel
10:00 PM ET/PT
Hosted by SCS Alum: Daniel Wilson
|
| |
* * * * * |
| |
|
Friday
July 18 |
Systems and Verification Seminar (SVC)
Alex Legay CANCELLED
, Visiting Post-Doc
from University of Liege, Belgium
Computing Convex Hull by Automata Iteration, Abstract
2:00 p.m., 4625 Wean Hall
|
|
|
LTI Seminar
Alice Oh
, MIT
Generating Multiple Perspectives in Baseball
Summaries by Content Reordering, Abstract
2:00 p.m., 1305 Newell-Simon Hall
|
|
|
Special Robotics Seminar
Iskander Umarov
, Technical Director
Behavior Capture Technology, Abstract
1:00 p.m., 4201 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Monday
July 21 |
History Channel Series:
The Works: Power Tools
10:00 PM ET/PT
Hosted by SCS Alum: Daniel Wilson
|
|
|
Thesis Oral
Robert W. Reeder
Expandable Grids: A user interface visualization technique
and a policy semantics to support fast,
accurate security and privacy policy authoring, Abstract
1:00 p.m., 3305 Newell-Simon Hall
|
|
|
Special SDI/LCS Seminar
John Wilkes
, HP Labs
Delegating Control to Automated Systems, Abstract
1:30 p.m.- 2:30 p.m.
, 2101 Collaborative Innovation Center
|
|
|
FCC Hearing on Broadband and The Digital Future
Abstract
4:00 p.m., McConomy Auditorium University Center
Open to the public
|
|
|
VASC Seminar
Umberto Castellani
, University of Verona
Some Activities at the VIPS Lab:
3D Shape Matching Using Hidden Markov
Models and Geo-located image Analysis , Abstract
3:30 p.m., 1507 Newell-Simon Hall
|
|
|
VASC Seminar (continued)
Raffay Hamid
, Georgia Institute of Technology
A Computational Framework for Unsupervised
Analysis of Everyday Activities, Abstract
4:00 p.m., 1507 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Tuesday
July 22 |
Special CERT/Cylab Seminar
Richard Power
, CyLab Distinguished Fellow
Cyber Security in the Three Times:
Past, Present, & Future, Abstract
12:00 p.m., Distributed Education Center
Lobby Level Collaborative Innovation Center
Series Commemorating CERT's 20th Year of Operation
|
|
|
Thesis Proposal
Stuart O. Anderson
Trajectory Libraries for Policy Generation
in Humanoid Robots, Abstract
4:00 p.m., 1305 Newell-Simon Hall
|
|
|
LTI PhD Thesis Defense
Vitor R. Carvalho
Modeling Intention in Email, Abstract
1:00 p.m., 1507 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Wednesday
July 23 |
Fourth Symposium on Usable Privacy and Security
SOUPS 2008
Abstract
Carnegie Mellon Campus
Continues through July 25
|
| |
* * * * * |
| |
|
Thursday
July 24 |
Fourth Symposium on Usable Privacy and Security
SOUPS 2008
Abstract
Carnegie Mellon Campus
Continues through July 25
|
|
|
CS4HS 2008
7:00 p.m.- 9:00 p.m.
, 1305 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Friday
July 25 |
Fourth Symposium on Usable Privacy and Security
SOUPS 2008
Abstract
Carnegie Mellon Campus
|
|
|
CS4HS 2008
09:00 a.m.- 9:00 p.m.
, Newell Simon Hall / Wean Hall
|
| |
* * * * * |
| |
|
Saturday
July 26 |
CS4HS 2008
09:00 a.m.- 9:00 p.m.
, Newell-Simon Hall / Wean Hall
|
| |
* * * * * |
| |
|
Sunday
July 27 |
CS4HS 2008
09:00 a.m., Newell-Simon Hall / Wean Hall
|
| |
* * * * * |
| |
|
Monday
July 28 |
History Channel Series:
The Works: Beer
10:00 PM ET/PT
Hosted by SCS Alum: Daniel Wilson
|
|
|
Thesis Oral
Virginia Panayotova Vassilevska
Efficient Algorithms for Path Problems in
Weighted Graphs, Abstract
10:00 a.m., 1507 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Tuesday
July 29 |
LTI Seminar
Gideon Borensztajn
Stefan Frank
,
Institute for Logic, Language and Computation
University of Amsterdam
Computational Tools for Cognitive Research
into Linguistic Phenomena, Abstract
11:00 a.m., 1305 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Wednesday
July 30 |
Thesis Oral
Kristen Stubbs
Robot-Proxy Grounding, Abstract
1:00 p.m., 1305 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Friday
August 01 |
Thesis Oral
David T. McWherter
, Computer Science Department
Sharing DBMS among Multiple Users
while Providing Performance, Abstract
2:00 p.m., 4625 Wean Hall
|
| |
* * * * * |
| |
|
Thursday
August 07 |
Thesis Oral
Himanshu Jain
, Computer Science Department
Verification using Satisfiability Checking,
Predicate Abstraction, and Craig Interpolation, Abstract
3:00 p.m., 5409 Wean Hall
|
|
|
Systems and Verification Seminar (SVC)
Aarti Gupta
, Department Head
NEC Labs America
Software verification without predicate abstraction
and refinement, Abstract
10:00 a.m. |
| |
* * * * * |
| |
|
Friday
August 08 |
Thesis Oral
Pratyusa K. Manadhata
An Attack Surface Metric , Abstract
2:00 p.m., 5409 Wean Hall
|
| |
* * * * * |
| |
|
Wednesday
August 13 |
Thesis Oral
Charlie Garrod
Putting the "Scalability" into Database
Scalability Services, Abstract
3:00 p.m., 4623 Wean Hall
|
See Webcams 
cs.cmu.edu