School of Computer Science, carnegie Mellon
Extended Menu Contact Info Directory About SCS Careers Giving to SCS SCS Dean's Advisory Board
 Next Week
(May 21 - Jun 27)

 Search for Events

 Submit an Event to the SCS Calendar

 CMU Calendar of Events

 Academic Calendar

CALENDAR

Events from Wednesday, 16, 2012 through Friday, 25, 2012

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