VSL 2014: VIENNA SUMMER OF LOGIC 2014
HSB ON WEDNESDAY, JULY 23RD, 2014
Days:
next day
all days

View: session 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
SPEAKER: Calin Guet
09:45
FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference
SPEAKER: Donal Stewart

ABSTRACT. We present FM-Sim, a domain-specific simulator for defining and simulating fluorescence microscopy assays. Experimental protocols as performed in vitro may be defined in the simulator. The defined protocols then interact with a computational model of presynaptic behaviour in rodent central nervous system neurons, allowing simulation of fluorescent responses to varying stimuli. Rate parameters of the model may be obtained using Bayesian inference functions integrated into the simulator, given experimental fluorescence observations of the protocol performed in vitro as training data. These trained protocols allow for predictive in silico modelling of potential experimental outcomes prior to time-consuming and expensive in vitro studies.

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
11:30
Collaboration success stories: Modeling Iron Homeostasis in Mammalian Cells (with J.M. Moulis)
SPEAKER: Eric Fanchon
12:00
Collaboration success stories: Control of Gene Expression in E.coli (with Hans Geiselman)
SPEAKER: Hidde de Jong
12:30
Collaboration success stories: Membrane-bound Receptor Imaging, Data Analysis and Model Building (with J.S. Edwards)
SPEAKER: Adam Halasz
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
15:30
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
SPEAKER: unknown

ABSTRACT. We consider the problem of refining a parameter set to ensure that the behaviors of a dynamical system satisfy a given property. The dynamics are defined through parametric polynomial difference equations and their Bernstein representations are exploited to enclose reachable sets into parallelotopes. This allows us to achieve more accurate reachable set approximations with respect to previous works based on axis-aligned boxes. Moreover, we introduce a symbolical precomputation that leads to a significant improvement on time performances. Finally, we apply our framework to some epidemic models verifying the strength of the proposed method.

16:00-16:30Coffee Break