CMSB 2015 - Sciencesconf.org

Gilles BERNOT

A genetically modified Hoare logic that identifies the parameters of a gene network

Inferring Executable Models from Formalized Experimental Evidence

Carolyn Talcott, Merrill Knapp, Vivek Nigam, Robin Donaldson and Tim McCarthy

Coffee break

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

Francy Camacho, Rodrigo Torres and Raúl Ramos

Structural simplification of chemical reaction networks preserving deterministic semantics

Guillaume Madelaine, Cedric Lhoussaine and Joachim Niehren

Lunch + POSTER SESSION

David HAREL

More Thoughts on the Whole Organism Challenge

Automating development of metabolic network models

Robert Rozanski, Oliver Ray, Ross King and Stefano Bragaglia

Reasoning about Reaction Networks with Partial Kinetic Information

Joachim Niehren, Mathias John, Cristian Versari, François Coutte and Philippe Jacques

Coffee break

Boolean Network Identification from Multiplex Time Series Data

Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel and Carito Guziolowski

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

Curtis Madsen, Fedor Shmarov and Paolo Zuliani

Derivation of dynamical qualitative models from biochemical networks

Wassim Abou-Jaoudé, Jérôme Feret and Denis Thieffry

Flash presentations

Gala Dinner