See Webcams
of the New
SCS Building
School of Computer Science, carnegie Mellon
Computer Science Department
Human-Computer Interaction Inst
Institute for Software Research
Language Technologies Institute
Machine Learning Department
Robotics Institute
Entertainment Technology Center
Home | Contact Info | Directory | About SCS | SCS New Buildings Info |   Giving to SCS   SCS Dean's Advisory Board

CALENDAR OF EVENTS

 

Next Day
August 8, 2008

Previous Day
August 6, 2008

Search for Events by Date
Events for August 07, 2008. Number of Match Returned = 2


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.


  Search for Events by Date