====================================================================== CALL FOR PAPERS WCB11 Workshop on Constraint Based Methods for Bioinformatics http://www.dmi.unipg.it/WCB11/ September 12th, 2011, Perugia, Italy co-located with CP 2011 >>> Submission Deadline: June 24th 2011 <<< ====================================================================== OVERVIEW AND SCOPE 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 bio-polymer, given its sequence of monomers (in particular for proteins and RNA). 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. We welcome problem proposals that motivate further developments in the field, even if they are still far from having effective solutions. ====================================================================== SUBMISSION DETAILS Submitted papers can be * Extended Abstracts describing new results, or * Abstract reporting on ongoing works, or * Systems presentations (with demos at the workshop), or * Summaries of already accepted or recently published results, or * Well-motivated proposals of bioinformatics problems for constraint based methods Contributions are welcome in any topic concerning bioinformatics, constraints, and related techniques. Submission style is the standard llncs style. Page limit is 8 pages. Submission is handled by EasyChair through the link: https://www.easychair.org/conferences/?conf=wcb11 At least one author of each accepted contribution is expected to attend the workshop and present the topic. ====================================================================== IMPORTANT DATES Submission Deadline: June 24th 2011 Notification to Authors: July 17th, 2011 Camera-ready copy due: August 1th, 2011 Workshop: September 12th, 2011 ====================================================================== PROGRAM COMMITTEE 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 Palu', Univ. of Parma, Italy Simon de Givry, INRA, Toulouse, France Agostino Dovier, Univ. of Udine, Italy Esra Erdem, Sabanci Univ., Turkey Francois Fages, INRIA Rocquencourt, France Andrea Formisano, Univ. of Perugia, Italy Ines 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 ======================================================================