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
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
17:00-18:30 Fast Forward Talks (4-5 min for each poster ) chair: Monika Heiner
Nataly Maimari, Calin-Rares Turliuc, Krysia Broda, Antonis Kakas, Rob Krams and Alessandra Russo. ARNI: Abductive inference of complex regulatory network structures.
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall and Paolo Ballarini. A Symbolic Approach Based on Model Checking and Constraint Solving Techniques for Reverse Engineering of Thomas Networks Parameters
Florian Martin, Alain Sewer, Marja Talika, Yang Xiang, Julia Hoeng and Manuel Peitsch. Quantification of biological network perturbations: Impact assessment and diagnostic using causal biological networks
Bo Zhou, Beat Christen, Eduardo Abeliuk, Harley McAdams and Lucy Shapiro. Deciphering the Transcriptional Landscape of Caulobacter crescentus
Eszter Lakatos, Domokos Meszena and Gabor Szederkenyi. Identifiablity analysis and improved parameter estimation of a human blood glucose control system model
Jesús Miró-Bueno. RNA interference in cancer and cell cycle networks: a case study of E2F proteins
Anke Ryll, Joachim Bucher, Jens Niklas and Steffen Klamt. A Fusion Approach Linking Signaling Logic and Metabolic Mass-Flow Kinetics in Hepatocytes
Marc Bruckskotten, Mario Looso and Thomas Braun. Next-Newtomics: The next generation repository for bioinformatical interpreted omics datasets from the newt Notophthalmus viridescens
Mario Herzog, Stefan Günther and Mario Looso. miRNA expression analysis during heart regeneration of N. viridescens
Bedrat Amina, Guédin Aurore, Amrane Samir, Renaud De La Faverie Amandine and Mergny Jean-Louis. Algorithm to predict G-quadruplex folding sequences through score computing
Melik Oksuz, Hasan Sadikoglu and Tunahan Cakir. Optimization based Inference of Metabolic Networks from Metabolome Data
Saliha Durmus Tekir, Tunahan Cakir, Emre Ardic, Ilknur Karadeniz, Arzucan Ozgur, F. Erdogan Sevilgen and Kutlu Ulgen. PHISTO: A NEW WEB PLATFORM FOR PATHOGEN-HUMAN INTERACTIONS
Stephan Neese and Mario Looso. Frameshift correction in de novo assembled transcriptome data using peptide data, Blast sequence alignments and hidden markov models
Carsten Künne. From Prokaryote Genome Sequencing to Pan-genomic Modeling
Jorge Julvez. A simulation approach to detect oscillating behaviour in stochastic population models
Leonie Amstein, Nadine Schöne, Simone Fulda and Ina Koch. Mathematical modelling of the function of ubiquitylation in TNFR1-mediated NF-κB signalling
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
Anastasis Georgoulas, Jane Hillston and Guido Sanguinetti. ABC-Fun: A Probabilistic Programming Language for Biology
12:30-13:30 Lunch Break
15:00-16:00 Invited talk chair: Calin Guet
Title: From High-throughput Approaches to Molecular Mechanism
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
12:30-14:00 Lunch Break
End of Conference