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


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

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