CMACS PI Review Meeting

University of Maryland, April 28-29, 2011

Thursday April 28
Meeting location: Room 2460 (ECE Conference Room)
8:00 Breakfast Buffet
8:45 Opening Remarks, Rance Cleaveland (UMD)
9:00 "CMACS: An Overview"
Ed Clarke (CMU), Lead PI
9:45 "Recent Developments in Far-Field Defibrillation"
Flavio Fenton (Cornell)
10:15 "Automatic Parameter Estimation for Cardiac Cell Models"
Radu Grosu (Stony Brook University)
10:45 Coffee Break
11:00 "Towards Real-Time Simulation of 3D Cardiac Models Using GPUs"
Ezio Bartocci (Stony Brook University)
11:30 "The 2011 Undergraduate Intersession Workshop on Atrial Fibrillation"
Nancy Griffeth (Lehman College, CUNY) and Flavio Fenton (Cornell)
12:00 Lunch
1:00 "Models of Pancreatic Cancer"
Haijun Gong (CMU)
1:30 "A Model for T Cell Differentiation"
Natasa Miskov-Zivanov (Pitt)
  Student WIP Session:
2:00 "Inferring Temporal System Properties"
Sam Huang (UMD)
2:15 "Towards a Theory of Composition for Distributed Control"
James Ferlez and Peter Fontana (UMD)
2:30 "Towards Curvature-Based Prediction of Spiral Breakup in
Cardiac Tissue"

Abhishek Murthy (Stony Brook University)
2:45 Coffee Break
3:15 "Delta-Complete Reachability Analysis of Hybrid Systems"
Sicun Gao (CMU)
3:30 "Modeling Cell Motion in an Extracellular Matrix"
Terri Grosso (Lehman College, CUNY)
3:45 "Analyzing Data Structure Choices for On-the-Fly Real-Time
Model Checking"

Peter Fontana (UMD)
4:00 "A Multi-cellular Model of the Pancreatic Cancer Microenvironment"
Qinsi Wang (CMU)
4:15 "Progress with PDAC Progression Models"
Bud Mishra (NYU)
4:45 Year 3 Planning Panel Discussion (Ed Clarke, Panel Leader)
6:00 End of Day 1

Friday April 29
Meeting location: Room 2460 (ECE Conference Room)
8:00 Breakfast Buffet
9:00 "Unifying Logical and Algebraic Abstractions for Verification"
Patrick Cousot (NYU)
9:30 "Recent Developments in the SpaceX Verification Tool for
Hybrid Systems"

Colas Leguernic (NYU)
10:00 "Analysis of Complex Software"
Gerard Holzmann (JPL)
10:15 "A Scala API for Runtime Verification"
Klaus Havelund (JPL)
10:30 Coffee Break
11:00 "Logic and Compositional Verification of Stochastic Hybrid Systems"
Andre Platzer (CMU)
11:30 "Advances in Reachability Analysis with Applications to Safety
Verification of Vehicle Control Systems"

Matthias Althoff (CMU)
12:00 Lunch
1:00 "Statistical Model Checking and Rare Events"
Paolo Zuliani (CMU)
1:30 NSF Caucus and Feedback to Team

End of Day 2

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