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

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