Computational Modeling and Analysis for Complex Systems

Fall 2012 CMACS PI Meeting

The Fall 2012 CMACS PI Meeting will take place at Stony Brook University in Stony Brook, NY, on Thu-Fri Oct. 18-19, 2012. The meeting location is Room 201 in the Carles B. Wang Asian- American Center.

Thursday, Oct 18, 2012
9:00	Opening Remarks Ed Clarke, CMU
9:15	A Differential Operator Approach to Equational Differential Invariants ANdre Platzer, CMU
9:45	Controller Design Using Verified Safety Envelopes Nikos Arechiga, CMU
10:15	Break
10:30	Generalized Synchronization Trees Rance Cleaveland, U. Maryland
11:00	The dReach Tool Sicun Gao, CMU
11:30	SpacEx Radu Grosu, Technical University of Vienna
12:00	Lunch
1:30	Time-Frequency Logic for Signal Processing Ezio Bartocci, Technical University of Vienna
2:00	Expressiveness of Timed Model-Mu Calculi Peter Fontana, U. Maryland
2:30	Reasoning about Nondeterminism in Programs Eric Koskinen, NYU
3:00	Break
3:30	Necessary Pre-Conditions Patrick Cousot, NYU
4:00	Round Table Discussion with Helen Gill, NSF
6:00	Dinner
Friday, Oct 19, 2012
9:30	2012 Workshop on Pancreatic Cancer Nancy Griffeth, Lehman College
10:00	Checking Alternans Properties of Cardiac Models Flavio Fenton, Georgia Tech and Elizabeth CHery, RIT
10:30	Break
11:00	Simulation of Migrating Cells Terri Grosso and Nacy Griffeth, Lehman College
11:30	Doubly Regularized Cox Regression for High-Dimensional Survival Data with Group Structures Tongtong Wu, U. Maryland
12:00	Lunch
1:15	Adaptive Coarse-Graining for Transient and Quasi-Equilibrium Analysis of Stochastic Gene Regulation Jose Tapia, U. Pittsburgh
1:45	Modeling and Analysis of Peripheral T Cell Differentiation James Faeder, U. Pittsburgh
2:15	Genomic Instability in the course of Cancer Progression Loews Loohuis, UCLA
2:45	Break
3:00	Pathway Models and their Abstractions for Reasoning about Cancer Phenotypes Ilya Korsunsky, NYU
3:30	The Role of Metabolomics in a Game-Theoretic Model of Cancer Progression Andrew Sundstrom, NYU
4:00	End of Meeting