CMACS-NSF Meeting Agenda

March 4-5, 2010
Carnegie Mellon University , Gates-Hillman Center 6501

March 4
9:00 Ed Clarke (CMU)
Overview (ppt)
  Challenge Problem I Session: Automotive & Aerospace
9:30 Patrick Cousot (NYU)
Challenge Problems in Aerospace Software Verification (pdf)
10:15 Coffee Break
10:30 André Platzer (CMU)
Verification of Nonlinear Models and Compositional Models (pdf)
11:15 Klaus Havelund (JPL)
Static and Dynamic Analysis at JPL (ppt)
12:00 Lunch
1:00 Rance Cleaveland (U. Maryland - videoconference)
Requirements Extraction from Models of Automotive Software
1:45 Bruce Krogh (CMU)
Verification in the Model-Based Design Flow (pdf)
2:30 Coffee Break
2:45 Paolo Zuliani (CMU)
Bayesian Statistical Model Checking (pdf)
  Education and Outreach Session
3:30 Nancy Griffeth (Lehman)
Modeling Degradation of EGFR (pdf)
Workshops on Computational Modeling of Complex Systems (pdf)
  Networking Session
4:15 Rockwell Collins
Hybrid Control Systems Verification (pdf)
5:00 Discussion Session
6:00 Day 1 Ends
March 5
  Challenge Problem II Session: Pancreatic Cancer
8:45 Jim Faeder (Pitt)
Navigating the Subway Map of the Cell (pdf)
9:30 Haijun Gong (CMU)
Signaling Pathways and Model Checking in the Pancreatic Cancer Studies (pdf)
10:15 Coffee Break
10:30 Chris Langmead (CMU)
Graphic Models for Stochastic Verification and Synthesis (pdf)
11:15 Bud Mishra (NYU - videoconference)
Computational Biology of Cancer (pdf)
12:00 Lunch
  Challenge Problem III Session: Atrial Fibrillation
1:00 Flavio Fenton (Cornell) (pdf)
1:45 Radu Grosu (Stony Brook)
Modeling and Analysis of Atrial Fibrillation (ppt)
2:30 Coffee Break
2:45 NSF Caucus and feedback to research team
4:00 Day 2 ends

Content for class "clear" Goes Here
nsfSupported by an Expeditions in Computing award from the National Science Foundation