VSL 2014: VIENNA SUMMER OF LOGIC 2014
HSB PROGRAM

Days: Wednesday, July 23rd Thursday, July 24th

Wednesday, July 23rd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 159C: Invited Talk (Guet); Contributed Talk (Stewart)
Location: FH, Seminarraum 101A
08:45
Synthetic Systems Biology (abstract)
09:45
FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 166H: Tutorial (Donze), Collaboration Success Stories (Fanchon, de Jong, Halasz)
Location: FH, Seminarraum 101A
10:45
Tutorial: Simulation-based Parameter Synthesis in Systems Biology (abstract)
11:30
Collaboration success stories: Modeling Iron Homeostasis in Mammalian Cells (with J.M. Moulis) (abstract)
12:00
Collaboration success stories: Control of Gene Expression in E.coli (with Hans Geiselman) (abstract)
12:30
Collaboration success stories: Membrane-bound Receptor Imaging, Data Analysis and Model Building (with J.S. Edwards) (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 172G: Tutorial (Antoniotti), Contributed Talk (Dreossi)
Location: FH, Seminarraum 101A
14:30
Tutorial: The Cellular Potts Model (abstract)
15:30
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models (abstract)
16:00-16:30Coffee Break
Thursday, July 24th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 181B: nvited Talk (Harel), Contributed Talk (Brazma)
Location: FH, Seminarraum 101A
08:45
The Whole Organism Challenge (abstract)
09:45
Modeling and analysis of qualitative behavior of gene regulatory networks (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 183E: Tutorial (Grosu), Contributed Talks (Sterratt, Kyriakopoulos, Rocca)
Location: FH, Seminarraum 101A
10:45
Tutorial: Challenges and opportunities in controlling the human heart (abstract)
11:30
Integration of rule-based models and compartmental models of neurons (abstract)
12:00
Optimal Observation Time Points in Stochastic Chemical Kinetics (abstract)
12:30
Exploiting the eigenstructures of linear systems to speed up reachability computation (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 185B: Contributed Talks (Angione, Sorokin), Concluding Remarks (Maler)
Location: FH, Seminarraum 101A
14:30
Bayesian Design for Whole Cell Synthetic Biology Models (abstract)
14:55
RKappa: Statistical sampling suite for Kappa models. (abstract)
15:20
Concluding remarks: Dynamic Systems Biology (abstract)
16:00-16:30Coffee Break