WCB’11 @
Workshop on Constraint Based Methods for Bioinformatics
Workshop Organizers
Alessandro Dal Palù
Università degli Studi di Parma, Italy
Agostino Dovier
Università degli Studi di Udine, Italy
Andrea Formisano
Università degli Studi di Perugia, Italy
Programme Committee
Rolf Backofen (Germany)
Pedro Barahona (Portugal)
Alexander Bockmayr (Germany)
Mats Carlsson (Sweden)
Alessandro Dal Palù (Italy)
Simon de Givry (France)
Agostino Dovier (Italy)
Esra Erdem (Turkey)
François Fages (France)
Andrea Formisano (Italy)
Inês Lynce (Portugal)
Neil Moore (Scotland)
Enrico Pontelli (USA)
Sven Thiele (Germany)
Sebastian Will (Germany)
September 12, 2011
University of Perugia, Italy
09:00
09:55
10:25
10:55
11:25
11:55
12:35
14:00
14:30
15:00
15:40
16:10
Invited Talk
Alessandro Brozzi
Inferring Gene Pathways Controlling Clonal Outgrowth by High-throughput Insertional Mutagenesis Screens
Aljoscha Palinkas and Alexander Bockmayr.
Petri Nets for Integrated Models of Metabolic and Gene Regulatory Networks
Coffee Break
Jimmy Vandel and Simon De Givry.
A New Local Move Operator for Reconstructing Gene Regulatory networks
Steven Gay, Francois Fages, Thierry Martinez, and Sylvain Soliman.
A Constraint Program for Subgraph Epimorphisms
with Application to Identifying Model Reductions in Systems Biology
Thomas Eiter, Thomas Krennwallner, and Christoph Redl.
Declarative Merging of and Reasoning about Decision Diagrams
Lunch Break
Christian Theil Have.
Constraints and Global Optimization for Gene Prediction Overlap Resolution
Marco Correia, Fabio Madeira, Pedro Barahona, and Ludwig Krippahl.
Improving Multiple Sequence Alignments with Constraint Programming and Local Search
Michael Best, Kabi Bhattarai, Federico Campeotto, Alessandro Dal Palu', Hung Dang,
Agostino Dovier, Ferdinando Fioretto, Federico Fogolari, Trung Le, and Enrico Pontelli.
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints
Coffee Break
Panel & Discussion