Programme

Week Wed. 16 Thu. 17 Fri. 18 List

	Wed. 16	Thu. 17	Fri. 18
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00	Opening of the Conference 13:45 - 14:00 (15min) Opening of the Conference Marta KWIATKOWSKA 14:00 - 15:00 (1h) Marta KWIATKOWSKA Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices https://cmsb2015.sciencesconf.org/data/program/01_14h_marta_cmsb15.pdf SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems 15:00 - 15:30 (30min) SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke https://cmsb2015.sciencesconf.org/data/program/02_15h_cmsb2015_qinsiwang.pdf Experimental design for inference over the A. thaliana circadian clock network 15:30 - 16:00 (30min) Experimental design for inference over the A. thaliana circadian clock network Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar Coffee break 16:00 - 16:30 (30min) Coffee break Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 16:30 - 17:00 (30min) Efficient stochastic simulation of systems with multiple time scales via statistical abstraction Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti https://cmsb2015.sciencesconf.org/data/program/04_16h30_cmsb2015_milios.pdf Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics 17:00 - 17:30 (30min) Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer https://cmsb2015.sciencesconf.org/data/program/05_17h_CMSB2015_LoosNON.pdf Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation 17:30 - 18:00 (30min) Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation Luca Laurenti, Luca Cardelli and Marta Kwiatkowska https://cmsb2015.sciencesconf.org/data/program/06_17H30_CMSB2015_Laurenti.pdf Adaptive moment closure for parameter inference of biochemical reaction networks 18:00 - 18:30 (30min) Adaptive moment closure for parameter inference of biochemical reaction networks Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling https://cmsb2015.sciencesconf.org/data/program/07_18h_slides_schilling_webpage.pdf	Gilles BERNOT 9:00 - 10:00 (1h) Gilles BERNOT A genetically modified Hoare logic that identifies the parameters of a gene network https://cmsb2015.sciencesconf.org/data/program/01_09h_BERNOT.pdf Inferring Executable Models from Formalized Experimental Evidence 10:00 - 10:30 (30min) Inferring Executable Models from Formalized Experimental Evidence Carolyn Talcott, Merrill Knapp, Vivek Nigam, Robin Donaldson and Tim McCarthy https://cmsb2015.sciencesconf.org/data/program/02_10h_cmsb2015.key.pdf Coffee break 10:30 - 11:00 (30min) Coffee break Symbolic dynamics of biochemical pathways as finite states machines 11:00 - 11:30 (30min) Symbolic dynamics of biochemical pathways as finite states machines Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev and Andreas Weber Feature Learning using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides 11:30 - 12:00 (30min) Feature Learning using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides Francy Camacho, Rodrigo Torres and Raúl Ramos https://cmsb2015.sciencesconf.org/data/program/04_11h30_presentation_cmsb.pdf Structural simplification of chemical reaction networks preserving deterministic semantics 12:00 - 12:30 (30min) Structural simplification of chemical reaction networks preserving deterministic semantics Guillaume Madelaine, Cedric Lhoussaine and Joachim Niehren https://cmsb2015.sciencesconf.org/data/program/05_12h_cmsb2015_Madelaine_CMSB.pdf Lunch + POSTER SESSION 12:30 - 14:00 (1h30) Lunch + POSTER SESSION David HAREL 14:00 - 15:00 (1h) David HAREL More Thoughts on the Whole Organism Challenge https://cmsb2015.sciencesconf.org/data/program/David_HAREL.pdf Automating development of metabolic network models 15:00 - 15:30 (30min) Automating development of metabolic network models Robert Rozanski, Oliver Ray, Ross King and Stefano Bragaglia https://cmsb2015.sciencesconf.org/data/program/02_15H00_rozanski_robert.pdf Reasoning about Reaction Networks with Partial Kinetic Information 15:30 - 16:00 (30min) Reasoning about Reaction Networks with Partial Kinetic Information Joachim Niehren, Mathias John, Cristian Versari, François Coutte and Philippe Jacques https://cmsb2015.sciencesconf.org/data/program/03_15H30_predict.pdf Coffee break 16:00 - 16:30 (30min) Coffee break Boolean Network Identification from Multiplex Time Series Data 16:30 - 17:00 (30min) Boolean Network Identification from Multiplex Time Series Data Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel and Carito Guziolowski https://cmsb2015.sciencesconf.org/data/program/04_16H30_Loic_Pauleve.pdf BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models 17:00 - 17:30 (30min) BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models Curtis Madsen, Fedor Shmarov and Paolo Zuliani https://cmsb2015.sciencesconf.org/data/program/05_17H_Curtis_MADSEN.pdf Derivation of dynamical qualitative models from biochemical networks 17:30 - 18:00 (30min) Derivation of dynamical qualitative models from biochemical networks Wassim Abou-Jaoudé, Jérôme Feret and Denis Thieffry https://cmsb2015.sciencesconf.org/data/program/06_17H30_Wassim_AbouJaoude.pdf Flash presentations 18:00 - 18:30 (30min) Flash presentations https://cmsb2015.sciencesconf.org/data/program/07_08_18H_Flash.pdf Gala Dinner 19:00 - 21:00 (2h) Gala Dinner	David FELL 9:00 - 10:00 (1h) David FELL Perspectives on Genome Scale Modelling of Metabolism https://cmsb2015.sciencesconf.org/data/program/01_9H00_Fell.pdf Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock 10:00 - 10:30 (30min) Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock Pauline Traynard, François Fages and Sylvain Soliman https://cmsb2015.sciencesconf.org/data/program/02_10H_traynard.pdf Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic 10:30 - 11:00 (30min) Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic Chris Banks, Daniel Seaton and Ian Stark https://cmsb2015.sciencesconf.org/data/program/03_10H30_ChrisBanks.pdf Coffee break 11:00 - 11:30 (30min) Coffee break Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets 11:30 - 12:00 (30min) Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets Alexander Andreychenko, Morgan Magnin and Katsumi Inoue https://cmsb2015.sciencesconf.org/data/program/04_11H30_Alexander_Andreychenko.pdf Parameter Synthesis by Parallel Coloured CTL Model Checking 12:00 - 12:30 (30min) Parameter Synthesis by Parallel Coloured CTL Model Checking Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek https://cmsb2015.sciencesconf.org/data/program/05_12h_David_Safarank.pdf Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking 12:30 - 13:00 (30min) Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking Heike Siebert, Adam Streck and Kirsten Thobe https://cmsb2015.sciencesconf.org/data/program/06_12h30_Adam_Streck.pdf Lunch 13:00 - 14:30 (1h30) Lunch WORKSHOP 14:30 - 18:30 (4h) WORKSHOP SYSTEMIC SYMBOLIC BIOLOGY (BIOSS)

Online user: 1

RSS Feed