WCB 12: Workshop on Constraint Based Methods for Bioinformatics

WCB12 - Workshop on
Constraint Based Methods for Bioinformatics
September, 8th, 2012,
Budapest, Hungary

Associated to ICLP 2012

CFP - Call for papers

The registration is still open, even workshop-only at ICLP Registration
Register until Aug, 17 with regular rate (USD 220).

Accepted Papers

Workshop Program

Workshop Proceedings

Topics. Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to:
Recognition, analysis, and organization of DNA sequences

Biological systems simulations (for metabolic or regulatory networks)

Prediction of the spatial conformation of a biological polymer, given its sequence of monomers (in particular for proteins and RNA)
All these problems can be naturally formalized using constraints over finite domains or intervals of reals. Biology is a source of extremely interesting and challenging problems that can be encoded exploiting the application of recent and more general techniques of constraint programming. In this framework, some problems that have been successfully tackled are:
The fundamental bioinformatics problem of sequence alignment can be solved by recent inference based constraint methods

Biological systems simulations can be easily designed using concurrent constraint programming, and

The constrained-based prediction of protein conformations promoted the development of new search strategies, new constraint solvers, and general symmetry breaking.
The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new constraint solvers, new prediction and simulation programs). On the other hand, to present new challenging problems formalized and/or solved with constraint based methods.
See also last year workshop details: WCB11.

Program Committee

Important Dates

Nicos Angelopoulos Netherlands Cancer Institute
Rolf Backofen (co-chair) Freiburg Univ., Germany
Pedro Barahona Univ. Nova de Lisbona, Portugal
Alexander Bockmayr Freie Universität Berlin, Germany
Alessandro Dal Palù Parma Univ., Italy
Agostino Dovier Udine Univ., Italy
Esra Erdem Sabanci Univ., Turkey
Francois Fages INRIA Rocquencourt, France
Andrea Formisano University of Perugia, Italy
Ines Lynce, INESC-ID Lisboa, Portugal
Enrico Pontelli NMSU, USA
Sven Thiele Univ. of Potsdam, Germany
Pascal Van Hentenryck Brown University, USA
Sebastian Will (co-chair) Freiburg Univ., Germany

Submission Deadline: June, 1st 2012

Notification to Authors: July, 2nd, 2012

Camera-ready (with latex source): July, 27th

Workshop: September, 8th

CFP - Call for papers The registration is still open, even workshop-only at ICLP Registration Register until Aug, 17 with regular rate (USD 220). Accepted Papers Workshop Program Workshop Proceedings
Topics. Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to: Recognition, analysis, and organization of DNA sequences Biological systems simulations (for metabolic or regulatory networks) Prediction of the spatial conformation of a biological polymer, given its sequence of monomers (in particular for proteins and RNA) All these problems can be naturally formalized using constraints over finite domains or intervals of reals. Biology is a source of extremely interesting and challenging problems that can be encoded exploiting the application of recent and more general techniques of constraint programming. In this framework, some problems that have been successfully tackled are: The fundamental bioinformatics problem of sequence alignment can be solved by recent inference based constraint methods Biological systems simulations can be easily designed using concurrent constraint programming, and The constrained-based prediction of protein conformations promoted the development of new search strategies, new constraint solvers, and general symmetry breaking. The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new constraint solvers, new prediction and simulation programs). On the other hand, to present new challenging problems formalized and/or solved with constraint based methods. See also last year workshop details: WCB11.