Facebook
TwitterCMACS 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 |
7:00 |
Dinner |
| 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 |
| 3:00 | End of Day 2 |
Supported by an Expeditions in Computing award from the