WCB11 Home Page
WCB11 - Workshop on
Constraint Based Methods for Bioinformatics

September 12th, 2011 Perugia
colocated with CP 2011

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. For instance, Haplotype/Pedigree inference, Phylogenetic reconstruction, Motif localization, and Alignments
  • 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)
  • These (and other) problems can be naturally formalized using constraint programming.

    The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas, systems and solvers that rely on constraints, but also on Logic Programming, Answer Set Programming, Linear Programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still beyond current computing capabilities.

    See also the web pages/proceedings of the previous editions: WCB05, WCB06, WCB07, WCB08, WCB09, WCB10, and the special issue of the Constraints Journal on the same topics.

    Call for Papers (txt)

    Accepted Papers

    Workshop Program

    Workshop proceedings (pdf)

    Some photos

    Important Info and Dates

    Rolf Backofen, Freiburg Univ., Germany.
    Pedro Barahona, Univ. Nova de Lisboa, Portugal
    Alexander Bockmayr, Freie Univ. Berlin, Germany
    Mats Carlsson, SICS, Uppsala Sweden
    Alessandro Dal Palù, Univ. of Parma, Italy
    Simon de Givry, INRA, Toulouse, France
    Agostino Dovier, Univ. of Udine, Italy
    Esra Erdem, Sabanci Univ., Turkey
    François Fages, INRIA Rocquencourt, France
    Andrea Formisano, Univ. of Perugia, Italy
    Inês Lynce, INESC-ID Lisboa, Portugal
    Neil Moore, Univ. of St.Andrews, Scotland
    Enrico Pontelli, NMSU, USA
    Sven Thiele, Potsdam Univ., Germany
    Sebastian Will, Freiburg Univ., Germany

    Contacts: wcb11[at]dmi[dot]unipg[dot]it
    The topic of interest are all those concerning bioinformatics and constraints and related techniques. Submitted papers can be:
    • Extended Abstracts concerning original (unpublished) results.
    • Abstracts describing ongoing work.
    • System descriptions (with demos at the workshop).
    • Summaries of already accepted or recently published papers/results.
    • Well-motivated proposals of bioinformatics problems for constraint based methods.

    Submission Deadline: June 15th, 2011, June 24th, 2011
    Notification to Authors: July 17th, 2011
    Camera-ready (including latex file): August 1st, 2011
    Workshop: September 12th, 2011.

    Participation of at least one author of each accepted contribution is mandatory.