CMSB2013 Program

Moblie friendly program   PDF

Note: 30 min for each regular paper presentation

Sunday, September 22, 2013
19:30-21:30Conference Reception
Monday, September 23, 2013
08:55-09:00 Welcome Address
09:00-10:00 Invited Talk chair: Thomas Henzinger
Title: Genome regulation in fission yeast
10:00-10:30 Coffee Break
10:30-12:30 Simulation and Model Checking chair: Jerome Feret
Tobias Helms, Martin Luboschik, Heidrun Schumann and Adelinde Uhrmacher. An Approximate Execution of Rule-based Multi-level Models
Frits Dannenberg, Ernst Moritz Hahn and Marta Kwiatkowska. Computing Cumulative Rewards using Fast Adaptive Uniformisation
Courtney Chancellor, Francisco Chinesta and Olivier Roux. Linking Discrete and Stochastic Models: the Chemical Master Equation as a bridge between Process Hitting and PGD
Michael Klann, Loic Pauleve, Petrov Tatjana and Heinz Koeppl. Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models
12:30-14:00 Lunch Break
14:00-15:00 Invited Talk chair: Adelinde Uhrmacher
Title: Complexity, Pattern Formation and Chaos in the heart; a combined high performance computation and experimental approach for the study and treatment of arrhythmias.
15:00-16:00 Modelling Cases chair: Adelinde Uhrmacher
Ovidiu Parvu, David Gilbert, Monika Heiner, Fei Liu and Nigel Saunders. Modelling and Analysis of Phase Variation in Bacterial Colony Growth
Lucian Bentea, Peter Olveczky and Eduard Bentea. Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Biological Conditions
16:00-16:30 Coffee Break
16:30-17:00 Modelling Cases chair: Monika Heiner
Srivathsan Adivarahan, Denis Menshykau, Odysse Michos and Dagmar Iber. Dynamic Image-Based Modelling of Kidney Branching Morphogenesis
17:00-18:30 Fast Forward Talks (4-5 min for each poster ) chair: Monika Heiner
18:30-19:00 Business Meeting ( includes announcement of best student paper )
Tuesday, September 24, 2013
09:00-10:00 Invited Talk chair: Flavio H Fenton
Title: Moment based estimation and control of cell populations
10:00-10:30 Coffee Break
10:30-12:30 Parameter Estimation and Synthesis chair: Verena Wolf
Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, and P. S. Thiagarajan. Statistical model checking based calibration and analysis of bio-pathway models
Ferdinando Fioretto and Enrico Pontelli. Constraint Programming in Community-based Gene Regulatory Network Inference (best student paper)
Anastasis Georgoulas, Jane Hillston and Guido Sanguinetti. ABC-Fun: A Probabilistic Programming Language for Biology
Ezio Bartocci, Luca Bortolussi and Laura Nenzi. A temporal logic approach to modular design of synthetic biological circuits
12:30-13:30 Lunch Break
13:30-15:00 Poster session (list of posters) chair: Ashutosh Gupta
15:00-16:00 Invited talk chair: Calin Guet
Title: From High-throughput Approaches to Molecular Mechanism
16:00-23:00 Social Event ( Visit to Dürnstein )
Wednesday, September 25, 2013
09:00-10:00 Invited Talk chair: François Fages
Title:Partial moment closures and rare event methods for stochastic reaction networks
10:00-10:30 Coffee Break
10:30-12:30 Modelling Frameworks chair: Carolyn Talcott
Yaron Goldstein and Alexander Bockmayr. A lattice-theoretic framework for metabolic pathway analysis
Katherine Chiang, François Fages, Jie-Hong Jiang and Sylvain Soliman. On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models
Attila Gábor, Katalin M. Hangos, Gábor Szederkényi and Julio R. Banga. On the Verification and Correction of Large-scale Kinetic Models in System Biology
Ferdinanda Camporesi, Jerome Feret and Jonathan Hayman. Context-sensitive flow analyses: a hierarchy of model reductions
12:30-14:00 Lunch Break
End of Conference