| Time | ||
|---|---|---|
| 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 |