WCB11 Preliminary Program (September 12, Monday)

8:45 - 9:00 Welcome
9:00 - 9:55 Inferring Gene Pathways Controlling Clonal Outgrowth by High-throughput Insertional Mutagenesis Screens
Alessandro Brozzi (invited talk)
9:55 - 10:25 Petri Nets for Integrated Models of Metabolic and Gene Regulatory Networks
Aljoscha Palinkas and Alexander Bockmayr
10:25 - 10:55
Coffee break
11:00 - 11:30 A New Local Move Operator for Reconstructing Gene Regulatory networks
Jimmy Vandel and Simon De Givry
11:30 - 12:00 A Constraint Program for Subgraph Epimorphisms with Application to Identifying Model Reductions in Systems Biology
Steven Gay, François Fages, Thierry Martinez, and Sylvain Soliman
12:00 - 12:30 Declarative Merging of and Reasoning about Decision Diagrams
Thomas Eiter, Thomas Krennwallner, and Christoph Redl
12:35 - 14:00
Lunch break
14:00 - 14:30 Constraints and Global Optimization for Gene Prediction Overlap Resolution
Christian Theil Have
14:30 - 15:00 Improving Multiple Sequence Alignments with Constraint Programming and Local Search
Marco Correia, Fàbio Madeira, Pedro Barahona, and Ludwig Krippahl
15:00 - 15:30 Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints
Michael Best, Kabi Bhattarai, Federico Campeotto, Alessandro Dal Palù, Hung Dang, Agostino Dovier, Ferdinando Fioretto, Federico Fogolari, Trung Le, and Enrico Pontelli
15:40 - 16:10
Coffee break
16:10 -  ...     Panel & Discussion