Programme

‹ Thursday, September 17, 2015 ›
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
›9:00 (1h)
Gilles BERNOT
A genetically modified Hoare logic that identifies the parameters of a gene network
›10:00 (30min)
Inferring Executable Models from Formalized Experimental Evidence
Carolyn Talcott, Merrill Knapp, Vivek Nigam, Robin Donaldson and Tim McCarthy
›10:30 (30min)
Coffee break
›11:00 (30min)
Symbolic dynamics of biochemical pathways as finite states machines
Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev and Andreas Weber
›11:30 (30min)
Feature Learning using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides
Francy Camacho, Rodrigo Torres and Raúl Ramos
›12:00 (30min)
Structural simplification of chemical reaction networks preserving deterministic semantics
Guillaume Madelaine, Cedric Lhoussaine and Joachim Niehren
›12:30 (1h30)
Lunch + POSTER SESSION
›14:00 (1h)
David HAREL
More Thoughts on the Whole Organism Challenge
›15:00 (30min)
Automating development of metabolic network models
Robert Rozanski, Oliver Ray, Ross King and Stefano Bragaglia
›15:30 (30min)
Reasoning about Reaction Networks with Partial Kinetic Information
Joachim Niehren, Mathias John, Cristian Versari, François Coutte and Philippe Jacques
›16:00 (30min)
Coffee break
›16:30 (30min)
Boolean Network Identification from Multiplex Time Series Data
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel and Carito Guziolowski
›17:00 (30min)
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models
Curtis Madsen, Fedor Shmarov and Paolo Zuliani
›17:30 (30min)
Derivation of dynamical qualitative models from biochemical networks
Wassim Abou-Jaoudé, Jérôme Feret and Denis Thieffry
›18:00 (30min)
Flash presentations
›19:00 (2h)
Gala Dinner
Session
Speech
Logistics
Break
Tour
e
Online user: 1 RSS Feed