VSL 2014: VIENNA SUMMER OF LOGIC 2014
LSB PROGRAM
Sunday, July 13th, 2014

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

09:15-10:15 Session 24D
Location: FH, Seminarraum 134A
09:15
An algebraic approach for inferring and using symmetries in rule-based models (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 26Q
Location: FH, Seminarraum 134A
10:45
Using answer set programming to integrate large-scale heterogeneous information about the response of a biological system (abstract)
11:30
Attractor equivalence: An observational semantics for reaction networks (abstract)
12:15
A Logical Framework for Systems Biology (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31M
Location: FH, Seminarraum 134A
14:30
15:15
Model Checking the Evolution of Gene Regulatory Networks (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 34P
Location: FH, Seminarraum 134A
16:30
The role of domain specific languages in simulation studies - Analyzing the impact of membrane dynamics on the Wnt signaling pathway (abstract)