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
|
| |
* * * * * |
Thursday August 14 |
Thesis Proposal
Greg Hartman
, Ph.D. Student, Software Engineering
Characterizing and Improving the Attentiveness of Systems
, Abstract
1:30 p.m.- 4:30 p.m.
, 8220 Wean Hall
|
| |
* * * * * |
Sunday August 17 |
Pick Up the Pace for Pancreatic Cancer Walk for Pancreatic Research in honor of Randy Pausch
Abstract
10:00 a.m., North Park Boat House Allison Park, Other
Join a group from Carnegie Mellon.
All community members, their friends and families, are welcome to participate.
|
| |
* * * * * |
Tuesday August 19 |
Orientation Presentation: A Conversation with Herb Simon
Abstract
3:30 p.m., McConomy Auditorium University Center
Video Presentation
|
|
|
Thesis Defense
Jason Ernst
, PhD Candidate
Computational Methods for Analyzing and Modeling Gene Regulation
, Abstract
11:00 a.m., 5409 Wean Hall
|
| |
* * * * * |
Wednesday August 20 |
LTI Seminar
Xiaojin (Jerry) Zhu
, University of Wisconsin
Text-to-Picture Synthesis
, Abstract
3:30 p.m., 1305 Newell-Simon Hall
|
|
|
Thesis Oral
Yong Lu
A Computational Framework for the Analysis of Multi-Species Microarray Data
, Abstract
10:00 a.m., 4625 Wean Hall
|
| |
* * * * * |
Thursday August 21 |
Systems and Verification Seminar (SVC)
Akshay Rajhans
, Carnegie Mellon
Robustness of Temporal Logic Specifications for Testing of Signals
, Abstract
2:00 p.m., 1109 Newell-Simon Hall
|
| |
* * * * * |
Friday August 22 |
MSIT eBusiness Technology Practicum Fair
Abstract
1:00 p.m., 7500 Wean Hall
|
| |
* * * * * |
Monday August 25 |
Fall Term Begins: Welcome Back!
|
|
|
CS Immigration
|
|
|
VASC Seminar
Bryan Russell
, Ecole Normale Superieure, Paris
LabelMe...now in 3D!
, Abstract
3:30 p.m.- 4:30 p.m.
, 1507 Newell-Simon Hall
|
|
|
The Annual Living in Pittsburgh Talk
Scott Fahlman
Abstract
7:00 p.m., 3305 Newell-Simon Hall
Open to all of SCS!
|
| |
* * * * * |
Tuesday August 26 |
CS Immigration
Continues through Sept 5
|
| |
* * * * * |
Wednesday August 27 |
CS Immigration
Continues through Sept 5
|
|
|
“NextWorld” Series – Discovery Channel
Featuring Seth Goldstein and James Kuffner
, Episode: Future Intelligence
Abstract
8:00 p.m. |
|
|
Featuring Seth Goldstein and James Kuffner
, Episode: Extreme Tomorrow
Abstract
8:00 p.m., Discovery Channel
|
|
|
HCII Seminar Series
Rob Miller
, Associate Professor Dept. of Electrical Engineering and Computer Science MIT
Automating & Customizing the Web with Keyword Programming
, Abstract
4:00 p.m.- 5:00 p.m.
, 1305 Newell-Simon Hall
|
|
|
LTI PhD Thesis Defense
Kevyn Collins-Thompson
Robust Model Estimation Methods for Information Retrieval
, Abstract
2:30 p.m., 1507 Newell-Simon Hall
|
| |
* * * * * |
Thursday August 28 |
CS Immigration
Continues through Sept 5
|
|
|
Thesis Oral
Daniel R. Golovin
Uniquely Represented Data Structures with Applications to Privacy
, Abstract
2:00 p.m., 4625 Wean Hall
|
|
|
2nd Large Scale Lunch Seminar
Priya Narasimhan
, Associate Professor Dept. of ECE, Carnegie Mellon University
Automated Problem Diagnosis for Hadoop
, Abstract
12:00 p.m.- 1:00 p.m.
, Rangos 1 University Center
|
| |
* * * * * |
Friday August 29 |
CS Immigration
Continues through Sept 5
|
|
|
Thesis Oral
Bertram J. Unger
Psychophysics of Virtual Texture Perception
, Abstract
09:30 a.m., 4615A Wean Hall
|
|
|
Thesis Oral
Maria-Florina Balcan
New Theoretical Frameworks for Machine Learning
, Abstract
1:30 p.m., 4623 Wean Hall
|