WCB10 - Workshop on
Constraint Based Methods for Bioinformatics
July 21st, 2010 Edinburgh
colocated to ICLP 2010

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, and the special issue of the Constraints Journal on the same topics.

    Accepted Papers and Workshop Program

    Workshop proceedings

    Pictures and Slides of the Workshop

    Program Committee
    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
    Esra Erdem, Sabanci Univ., Turkey
    Alessandro Dal Palù Univ. of Parma, Italy (co-chair)
    Simon de Givry, INRA, Toulouse, France
    Agostino Dovier Udine Univ., Italy (co-chair)
    Francois Fages, INRIA Rocquencourt, France
    Inês Lynce, INESC-ID Lisboa, Portugal
    Neil Moore, Univ. of St Andrews, Scotland
    Enrico Pontelli, NMSU, USA
    Sebastian Will Freiburg Univ., Germany (co-chair)
    		Submitted papers can be
    • Extended Abstracts of new results or
    • Abstract of ongoing works
    • Systems presentations (with demos at the workshop)
    • Summaries of already accepted or recently published results
    in any topic concerning bioinformatics and constraints and close techniques. Submission style is the standard llncs style. Page limit is 6 pages. Submission is handled by Easy chair

    Submission Deadline: April 8th, 2010
    Notification to Authors: April 30th, 2010
    Camera-ready (including latex file) due: May 15th, 2010 (STRICT)
    Workshop: July 21st, 2010.

    Participation of at least one author is mandatory.