Wednesday
16 |
POP Seminar
Andre Platzer ,
Assistant Professor
Department of Computer Science
Carnegie Mellon
The Complete Proof Theory
of Hybrid Systems , Abstract
3:30 p.m.- 5:00 p.m.
, 9115 Gates and Hillman Centers
Poster
|
|
|
SCS Teaching Track Faculty Candidate Talk
Michael W. Bigrigg,
Project Scientist
Institute for Software Research
Memory Management to Aid Debugging, Abstract
2:00 p.m.- 3:30 p.m.
, Reddy Conference Room
4405 Gates and Hillman Centers
Poster
|
|
|
Ph.D. Thesis Proposal
José González,
Language Technologies Institute
Data-Driven Discovery of Cognitive Models:
Low-Dimensional Representation of Student
Performance Data Over Time, Abstract
10:00 a.m., Blelloch-Skees Conference Room
8115 Gates and Hillman Centers
|
|
|
Thesis Proposal
Yuandong Tian,
Robotics Institute
Modeling and Estimating Non-rigid
Image Deformation, Abstract
09:00 a.m., Mauldin Auditorium
1305 Newell-Simon Hall
|
|
|
ISR Seminar
Eric Bodden,
Head of Secure Software Engineering Group
EC SPRIDE
Analyzing Thousands of Programs in
One Shot Inter-procedural Static Analysis
of Software Product Lines, Abstract
11:00 a.m., 9115 Gates and Hillman Centers
Poster
|
|
|
Special VASC Seminar
Behzad Sajadi,
Department of Computer Science
University of California, Irvine
Part I: Immersive Multi-Projector Displays:
Past, Present and Future
Part II: Multi-modal Display and Camera
Designs for Smart Allocation of Resources, Abstract
1:00 p.m.- 2:00 p.m.
, Mauldin Auditorium
1305 Newell-Simon Hall
|
| |
* * * * * |
| |
|
Thursday
17 |
Alert!
Final Grades for Graduating Students
Due by 6:00 pm, Today!
|
|
|
CSD Black Friday
6115 Gates and Hillman Centers
9:30 am – AI / Theory
1:00 pm – Systems
|
|
|
Ph.D. Thesis Proposal
Gopala Anumanchipalli,
Language Technologies Institute
Intra-Lingual and Cross-Lingual Prosody
Transformation , Abstract
11:00 a.m., Reddy Conference Room
4405 Gates and Hillman Centers
|
|
|
SCS Faculty Candidate
Tao Xie,
Associate Professor
Department of Computer Science
North Carolina State University
Improving Software Dependability via
Cooperative Testing and Analysis, Abstract
1:00 p.m.- 2:30 p.m.
, 3305 Newell-Simon Hall
Poster
|
| |
* * * * * |
| |
|
Friday
18 |
CSD Black Friday
10:00 a.m., 6115 Gates and Hillman Centers
General Meeting
|
| |
* * * * * |
| |
|
Saturday
19 |
SCS Honors Ceremony
10:00 a.m., Rashid Auditorium
4401 Gates and Hillman Centers
|
| |
* * * * * |
| |
|
Sunday
20 |
Commencement 2012
|
|
|
Commencement 2012
11:00 a.m., Gesling Stadium University Center
Main Ceremony
|
|
|
Commencement 2012
1:00 p.m., 4400 Forbes Avenue Carnegie Music Hall
SCS Diploma Ceremony
|
| |
* * * * * |
| |
|
Monday
21 |
Speaking Skills Talks
Filipe Militão,
Computer Science Department
Rely-Guarantee View Typestate , Abstract
12:00 p.m., McWilliams Classroom
4303 Gates and Hillman Centers
Poster
|
|
|
Thesis Proposal
Nan Li,
Computer Science Department
Integrating Representation Learning and Skill
Learning in a Human-Like Intelligent
Agent, Abstract
3:00 p.m., 6115 Gates and Hillman Centers
Poster
|
| |
* * * * * |
| |
|
Tuesday
22 |
Alert!
Final Grades for Non-Graduating Students
Due by 4:00 pm, Today!
|
|
|
Robotics Professional Education Course
Abstract
Lawrenceville Facility National Robotics Engineering Center
Continues through May 24
|
|
|
Speaking Skills Talk
Rui Meireles,
Computer Science Department
Density-Aware Zone-based Forwarding
in Vehicular Networks, Abstract
11:00 a.m., McWilliams Classroom
4303 Gates & Hillman Centers
Poster
|
| |
* * * * * |
| |
|
Wednesday
23 |
Robotics Professional Education Course
Abstract
Lawrenceville Facility National Robotics Engineering Center
Continues through May 24
|
| |
* * * * * |
| |
|
Thursday
24 |
Robotics Professional Education Course
Abstract
Lawrenceville Facility National Robotics Engineering Center
|
|
|
Speaking Skills Talk
Bernardo Toninho,
Computer Science Department
A Logical Foundation for Proof-Carrying
Communicating Processes, Abstract
12:00 p.m., McWilliams Classroom
4303 Gates and Hillman Centers
Poster
|
|
|
Thesis Proposal
Jeffrey M. Barnes,
Software Engineering Ph.D. Program
Institute for Software Research
Software Architecture Evolution, Abstract
10:00 a.m., Traffic 21 Classroom
6501 Gates and Hillman Centers
Poster
|
cs.cmu.edu